Efficient Rule-Based Inferencing for OWL EL

Krötzsch, Markus

doi:10.5591/978-1-57735-516-8/IJCAI11-444

Efficient Rule-Based Inferencing for OWL EL

Markus Krötzsch

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 2668-2672.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-444

Abstract

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.

Markus Krötzsch. 2011. Efficient Rule-Based Inferencing for OWL EL. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 2668–2672. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-444

@inproceedings{ijcai2011p444,
  title     = {Efficient Rule-Based Inferencing for OWL EL},
  author    = {Krötzsch, Markus},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {2668--2672},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-444},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-444},
}

TY  - CPAPER
TI  - Efficient Rule-Based Inferencing for OWL EL
AU  - Krötzsch, Markus
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 2668
EP  - 2672
DO  - 10.5591/978-1-57735-516-8/IJCAI11-444
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-444
ER  -