Decidability of SHIQ with Complex Role Inclusion Axioms
Ian Horrocks and Ulrike Sattler
Book Title
Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003)
ISBN
0−92705−663−7
Pages
343–348
Publisher
Morgan Kaufmann‚ Los Altos
Year
2003