M. Mosurovic, N. Krdzavac, H. Graves and M. Zakharyaschev (2013) "A Decidable Extension of SROIQ with Complex Role Chains and Unions", Volume 47, pages 809-851

PDF | PostScript | doi:10.1613/jair.4022

We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. 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.

Click here to return to Volume 47 contents list