The Irresistible SRIQ.
Ian Horrocks, Oliver Kutz, and Ulrike Sattler
Motivated primarily by medical terminology applications, the
prominent DL SHIQ has already been extended to a DL with complex role inclusion axioms of the form $R\circ S\dsubs R$ or $S\circ R\dsubs R$, called RIQ, and the SHIQ tableau algorithm has been extended to handle such inclusions.
This paper further extends RIQ and its tableau algorithm with
important expressive means that are frequently requested in ontology
applications, namely with reflexive, symmetric, transitive, and
irreflexive roles, disjoint roles, and the construct $\exists R.
\Self$, allowing, for instance, the definition of concepts such as a
``narcist''. Furthermore, we extend the algorithm to cover Abox
reasoning extended with negated role assertions. The resulting logic
is called SRIQ.