Efficient Inferencing for OWL EL
Efficient Inferencing for OWL EL
Abstract. We develop inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of the W3C recommendation OWL EL –, and present a framework for studying materialisation calculi based on datalog. The latter is used to investigate the resource requirements for inferencing, and we can show that certain SROEL(⊓,×) feature combinations must lead to increased space upper bounds in any materialisation calculus, suggesting that efficient implementations are easier to obtain for suitably chosen fragments of SROEL(⊓,×).
Published at Jelia2010, selected as a Best Paper (Conference paper)
Download PDF (last update: September 24 2010)
Citation details
- Markus Krötzsch. Efficient Inferencing for OWL EL. In Tomi Janhunen, Ilkka Niemelä, eds.: Proceedings of the 12th European Conference on Logics in Artificial Intelligence, pp. 234–246. SpringerProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2010.
author = {Markus Kr{\"o}tzsch},
title = {Efficient Inferencing for {OWL EL}},
crossref = {jelia10},
pages = {234--246},
}
@proceedings{jelia10,
editor = {Tomi Janhunen and Ilkka Niemel\"{a}},
title = {Proceedings of the 12th European Conference on
Logics in Artificial Intelligence (JELIA'10)},
booktitle = {Proceedings of the 12th European Conference on
Logics in Artificial Intelligence (JELIA'10)},
publisher = {Springer},
series = {LNAI},
volume = {6341},
year = {2010}
}
Remarks
This paper was selected as a Best Paper at the conference. A revised and extended summary of this work is given in the paper Efficient Rule-Based Inferencing for OWL EL (invited paper at IJCAI 2011).
Further details and proofs are found in an extended technical report.
See also the slides of the talk given at Jelia. Another set of more extensive slides that is relevant to the topic has been used for the invited talk Adventures of Two Little OWLs in Rule Land.
