Decidability of SHIQ with Complex Role Inclusion Axioms.

Ian Horrocks, Ulrike Sattler

Browse the full IJCAI paper archive.