Efficient Inferencing for OWL EL

Markus KrötzschMarkus Krötzsch

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 (JELIA'10), volume 6341 of LNAI, 234-246, 2010. Springer

Details
Bibtex

KurzfassungAbstract
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(⊓,×).

The extended technical report about this work is called Efficient Inferencing for the Description Logic Underlying OWL EL. A reworked version has later appeared at IJCAI 2011.
Bemerkung: Note: Ths paper won the Best Paper Award of JELIA 2010!
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15675-5_21.

@inproceedings{K2010,
  author    = {Markus Kr{\"{o}}tzsch},
  title     = {Efficient Inferencing for {OWL} {EL}},
  editor    = {Tomi Janhunen and Ilkka Niemel{\"{a}}},
  booktitle = {Proceedings of the 12th European Conference on Logics in
               Artificial Intelligence (JELIA'10)},
  series    = {LNAI},
  volume    = {6341},
  publisher = {Springer},
  year      = {2010},
  pages     = {234-246},
  doi       = {10.1007/978-3-642-15675-5_21}
}