Efficient Inferencing for OWL EL

Markus Krötzsch
Efficient Inferencing for OWL EL
In Tomi Janhunen, Ilkka Niemelä, eds., Proceedings of the 12th European Confernce on Logics in Artificial Intelligence (JELIA'10), LNAI, to appear, 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(⊓,×).
Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Wissensmanagement„Wissensmanagement“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Wissensmanagement

The final publication is available at Springer.

@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 Confernce on Logics in
               Artificial Intelligence (JELIA'10)},
  series    = {LNAI},
  publisher = {Springer},
  year      = {2010},
  pages     = {to appear}
}

The extended technical report about this work is called Efficient Inferencing for the Description Logic Underlying OWL EL.

Efficient Inferencing for OWL EL

Efficient Inferencing for OWL EL

Markus KrötzschMarkus Krötzsch