Efficient Inferencing for the Description Logic Underlying OWL EL

Markus KrötzschMarkus Krötzsch

Markus Krötzsch
Efficient Inferencing for the Description Logic Underlying OWL EL
Technical Report, Institut AIFB, KIT, May 2010

Details
Bibtex

KurzfassungAbstract
The recent OWL 2 W3C recommendation includes the lightweight ontology language OWL EL which is semantically based on an extension of the SROEL(⊓,×) description logic (DL). It is widely assumed that inferencing in OWL EL is possible in polynomial time, but it is not obvious how to extend existing reasoning procedures for EL++ accordingly. We set out to close this gap by developing inferencing methods for SROEL(⊓,×) – a DL that subsumes the main features of OWL EL. We present a framework for studying materialisation calculi based on datalog, and we use it to investigate the resource requirements for inferencing. 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: Active, ExpresST, ReaSem
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@techreport{K2010,
  author      = {Markus Kr{\"{o}}tzsch},
  title       = {Efficient Inferencing for the Description Logic Underlying
                 {OWL} {EL}},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2010},
  month       = {May}
}

This work has been published in the Jelia'2010 paper Efficient Inferencing for OWL EL.