L. Li, and I. Horrocks. WWW '03: Proceedings of the 12th international conference on World
Wide Web, page 331--339. New York, NY, USA, ACM Press, (2003)
I. Horrocks. Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), page 636--649. San Francisco, Morgan Kaufmann Publishers, (June 1998)
D. Tsarkov, and I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), volume 4130 of Lecture Notes in Artificial Intelligence, page 292--297. Springer, (2006)
B. Grau, I. Horrocks, Y. Kazakov, and U. Sattler. WWW '07: Proceedings of the 16th international conference on World Wide Web, page 717--726. New York, NY, USA, ACM, (2007)
I. Horrocks, U. Sattler, and S. Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1705, page 161--180. Springer-Verlag, (1999)