$\mathcal{EL}$ -ifying Ontologies

DOI10.1007/978-3-319-08587-6_36zbMath1423.68487OpenAlexW2205732261WikidataQ56988549 ScholiaQ56988549MaRDI QIDQ3192212

Ian Horrocks, Cristina Feier, Bernardo Cuenca Grau, Pascal Hitzler, David Carral

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_36

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (6)

Tractable approximate deduction for OWL ⋮ Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux ⋮ A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Restricted Chase Termination: A Hierarchical Approach and Experimentation ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation

This page was built for publication: $\mathcal{EL}$ -ifying Ontologies