A Decidable Extension of SROIQ with Complex Role Chains and Unions

Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev

JAIR 2013 pp. 809-851

doi:10.1613/JAIR.4022 /jair/2013/mosurovic2013jair-decidable/

Abstract

We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination.

PDF JAIR Semantic Scholar

Cite

Text

Mosurovic et al. "A Decidable Extension of SROIQ with Complex Role Chains and Unions." Journal of Artificial Intelligence Research, 2013. doi:10.1613/JAIR.4022

Markdown

[Mosurovic et al. "A Decidable Extension of SROIQ with Complex Role Chains and Unions." Journal of Artificial Intelligence Research, 2013.](https://mlanthology.org/jair/2013/mosurovic2013jair-decidable/) doi:10.1613/JAIR.4022

BibTeX

@article{mosurovic2013jair-decidable,
  title     = {{A Decidable Extension of SROIQ with Complex Role Chains and Unions}},
  author    = {Mosurovic, Milenko and Krdzavac, Nenad and Graves, Henson and Zakharyaschev, Michael},
  journal   = {Journal of Artificial Intelligence Research},
  year      = {2013},
  pages     = {809-851},
  doi       = {10.1613/JAIR.4022},
  volume    = {47},
  url       = {https://mlanthology.org/jair/2013/mosurovic2013jair-decidable/}
}