I. Horrocks, and P. Patel-Schneider. WWW '03: Proceedings of the 12th international conference on World Wide Web, page 39--47. New York, NY, USA, ACM Press, (2003)
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)
B. Motik, I. Horrocks, and U. Sattler. Third International Wworkshop on OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, (June 2007)
F. Baader, I. Horrocks, and U. Sattler. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228--248. Springer, (2005)
J. Pan, and I. Horrocks. Proc.\ of the 2003 Description Logic Workshop (DL~2003), volume 81 of CEUR, page 95--102. (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/PaHo03c.pdf.
I. Horrocks. Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixth International Conference (KR'98), page 636--647. Morgan Kaufmann Publishers, San Francisco, California, (June 1998)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/1998/kr98.ps.gz.
I. Horrocks, and P. Patel-Schneider. Proc.\ of the Thirteenth International World Wide Web Conference
(WWW 2004), page 723--731. ACM, (2004)\\ http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04a.pdf.
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, (September 1999)
I. Horrocks, and U. Sattler. Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence
(IJCAI~2001), page 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.
I. Horrocks, and P. Patel-Schneider. Proc.\ of the Twelfth International World Wide Web Conference (WWW2003), page 39--47. Budapest, Hungary, ACM, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/p50-horrocks.pdf.
I. Horrocks, U. Sattler, and S. Tobies. Journal of the IGPL, 8 (3):
239--263(2000)\\ http://www3.oup.co.uk/igpl/Volume_08/Issue_03/ \\ ps/horrocks1.ps.gz.
J. Pan, and I. Horrocks. Proc.\ of the 2003 International Semantic Web Conference (ISWC2003), 2870, page 30--46. Springer, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/HoPa03b.pdf.
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, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), AAAI Press, (2006)
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. Proceedings of the 13th International Conference on Conceptual Structures (ICCS 2005), volume 3596 of Lecture Notes in Computer Science, page 78-90. Springer, (2005)
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, 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)