Skip to Content

A Decidable Extension of SROIQ with Complex Role Chains and Unions

  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
TitleA Decidable Extension of SROIQ with Complex Role Chains and Unions
Publication TypeJournal Article
Year of Publication2013
AuthorsMosurovic, M., Krdzavac N., Graves H., and Zakharyaschev M.
JournalJournal of Arti cial Intelligence Research
Volume47
Start Page809-851
Date Published08/2013
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 satis ability with respect to SR+OIQ ontologies
and prove its soundness, completeness and termination.

URLhttp://jair.org/papers/paper4022.html
DOIdoi:10.1613/jair.4022