ML Anthology

Efficient Rule-Based Inferencing for OWL EL

Markus Krötzsch
IJCAI 2011 pp. 2668-2673
doi:10.5591/978-1-57735-516-8/IJCAI11-444 /ijcai/2011/krotzsch2011ijcai-efficient/

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.

PDF IJCAI Semantic Scholar

Cite

Text

Krötzsch. "Efficient Rule-Based Inferencing for OWL EL." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-444

Markdown

[Krötzsch. "Efficient Rule-Based Inferencing for OWL EL." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/krotzsch2011ijcai-efficient/) doi:10.5591/978-1-57735-516-8/IJCAI11-444

BibTeX

@inproceedings{krotzsch2011ijcai-efficient,
  title     = {{Efficient Rule-Based Inferencing for OWL EL}},
  author    = {Krötzsch, Markus},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {2668-2673},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-444},
  url       = {https://mlanthology.org/ijcai/2011/krotzsch2011ijcai-efficient/}
}