Efficient Inferencing for OWL EL

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
  • 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.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
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}
}