Efficient Inferencing for OWL EL

From korrekt.org

Markus Krötzsch

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.


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.


Description logics, Rule languages