Ian Horrocks, Ulrike Sattler. Decidability of SHIQ with Complex Role Inclusion Axioms. In Georg Gottlob, Toby Walsh, editors, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. pages 343-348, Morgan Kaufmann, 2003.
@inproceedings{HorrocksS03, title = {Decidability of SHIQ with Complex Role Inclusion Axioms}, author = {Ian Horrocks and Ulrike Sattler}, year = {2003}, researchr = {https://researchr.org/publication/HorrocksS03}, cites = {0}, citedby = {0}, pages = {343-348}, booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003}, editor = {Georg Gottlob and Toby Walsh}, publisher = {Morgan Kaufmann}, }