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)
I. Horrocks, and S. Tessaris. The Semantic Web - ISWC 2002, First International
Semantic Web Conference, Sardinia, Italy, June 9-12,
2002, Proceedings, volume 2342 of Lecture Notes in Computer Science, page 177-191. Springer, (2002)
I. Horrocks. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 78-90. Springer, (2005)
C. Golbreich, M. Horridge, I. Horrocks, B. Motik, and R. Shearer. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, volume 4825 of LNCS, page 169--182. Berlin, Heidelberg, Springer Verlag, (November 2007)
I. Horrocks, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), AAAI Press, (2006)
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)