Efficient Inferencing for OWL EL

DOI10.1007/978-3-642-15675-5_21zbMath1306.68194DBLPconf/jelia/Krotzsch10OpenAlexW1606714895WikidataQ56989118 ScholiaQ56989118MaRDI QIDQ4930768

Markus Krötzsch

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15675-5_21

zbMATH Keywords

description logiclightweight ontology language

Mathematics Subject Classification ID

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

Related Items (10)

An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases ⋮ Reasoning on with Defeasibility in ASP ⋮ ASP for minimal entailment in a rational extension of SROEL ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ Local closed world reasoning with description logics under the well-founded semantics ⋮ A polynomial time subsumption algorithm for nominal safe \(\mathcal{ELO}_\bot\) under rational closure ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ Enhancing context knowledge repositories with justifiable exceptions ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

This page was built for publication: Efficient Inferencing for OWL EL