SROIQ

The description logic underlying the OWL 1.1 submission. The original paper The Even More Irresistible SROIQ.

Abstract

We describe an extension of the description logic underlying OWL-DL, SHOIN , with a number of expressive means that we believe will make it more useful in practice. Roughly speaking, we extend SHOIN with all expressive means that were suggested to us by ontology developers as useful additions to OWL-DL, and which, additionally, do not affect its decidability and practicability. We consider complex role inclusion axioms of the form R ◦ S < R or S ◦ R < R to express propagation of one property along another one, which have proven useful in medical terminologies. Furthermore, we extend SHOIN with reflexive, antisymmetric, and irrelexive roles, disjoint roles, a universal role, and constructs ∃R.Self , allowing, for instance, the definition of concepts such as a “narcist”. Finally, we consider negated role assertions in Aboxes and qualified number restrictions. The resulting logic is called SROIQ.