complex role chain
A Decidable Extension of SROIQ with Complex Role Chains and Unions
Mosurovic, M., Krdzavac, N., Graves, H., Zakharyaschev, M.
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.
doi: 10.1613/jair.4022
10832
Country:
- Europe > Montenegro (0.04)
- North America > United States > Texas > Tarrant County > Fort Worth (0.04)
- North America > United States > Maryland > Montgomery County > Gaithersburg (0.04)
- (2 more...)
Technology: Information Technology > Artificial Intelligence > Representation & Reasoning > Ontologies (1.00)