Efficient Rule-Based Inferencing for OWL EL

From International Center for Computational Logic

Toggle side column

Efficient Rule-Based Inferencing for OWL EL

Markus KrötzschMarkus Krötzsch
Efficient Rule-Based Inferencing for OWL EL


Markus Krötzsch
Efficient Rule-Based Inferencing for OWL EL
Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), 2668-2673, July 2011. AAAI Press
  • KurzfassungAbstract
    We review recent results on inferencing for SROEL(×), a description logic that subsumes the main features of the W3C recommendation OWL EL. Rule-based deduction systems are developed for various reasoning tasks and logical sublanguages. Certain feature combinations lead to increased space upper bounds for materialisation, suggesting that efficient implementations are easier to obtain for suitable fragments of OWL EL.
  • Bemerkung: Note: This is an extended summary of the paper Efficient Inferencing for OWL EL that has been invited for the IJCAI 2011 Best Paper Track. It focusses on readability and has a new related work section. The technical details can be found in the extended technical report.
  • Weitere Informationen unter:Further Information: Link
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{K2011,
  author    = {Markus Kr{\"{o}}tzsch},
  title     = {Efficient Rule-Based Inferencing for {OWL} {EL}},
  booktitle = {Proc. 22nd International Joint Conference on Artificial
               Intelligence (IJCAI'11)},
  publisher = {AAAI Press},
  year      = {2011},
  month     = {July},
  pages     = {2668-2673},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-444}
}