I. Horrocks. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), стр. 636--647. Morgan Kaufmann Publishers, San Francisco, California, (июня 1998)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/1998/kr98.ps.gz.
I. Horrocks, и P. Patel-Schneider. WWW '03: Proceedings of the 12th international conference on World Wide Web, стр. 39--47. New York, NY, USA, ACM Press, (2003)
B. Grau, I. Horrocks, Y. Kazakov, и U. Sattler. WWW '07: Proceedings of the 16th international conference on World Wide Web, стр. 717--726. New York, NY, USA, ACM, (2007)
B. Motik, I. Horrocks, и U. Sattler. Third International Wworkshop on OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, (июня 2007)
F. Baader, I. Horrocks, и U. Sattler. Mechanizing Mathematical Reasoning, том 2605 из Lecture Notes in Computer Science, стр. 228--248. Springer, (2005)
J. Pan, и I. Horrocks. Proc.\ of the 2003 Description Logic Workshop (DL~2003), том 81 из CEUR, стр. 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), стр. 636--647. Morgan Kaufmann Publishers, San Francisco, California, (июня 1998)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/1998/kr98.ps.gz.
I. Horrocks, и P. Patel-Schneider. Proc.\ of the Thirteenth International World Wide Web Conference
(WWW 2004), стр. 723--731. ACM, (2004)\\ http://www.cs.man.ac.uk/~horrocks/Publications/download/2004/HoPa04a.pdf.
I. Horrocks, U. Sattler, и S. Tobies. Proceedings of the 6th International Conference on Logic for Programming
and Automated Reasoning (LPAR'99), 1705, стр. 161--180. Springer-Verlag, (сентября 1999)
I. Horrocks, и U. Sattler. Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence
(IJCAI~2001), стр. 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.
I. Horrocks, и P. Patel-Schneider. Proc.\ of the Twelfth International World Wide Web Conference (WWW2003), стр. 39--47. Budapest, Hungary, ACM, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/p50-horrocks.pdf.
I. Horrocks, U. Sattler, и 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, и I. Horrocks. Proc.\ of the 2003 International Semantic Web Conference (ISWC2003), 2870, стр. 30--46. Springer, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2003/HoPa03b.pdf.
I. Horrocks, U. Sattler, и S. Tobies. Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99), 1705, стр. 161--180. Springer-Verlag, (1999)
C. Golbreich, M. Horridge, I. Horrocks, B. Motik, и R. Shearer. Proceedings of the 6th International Semantic Web Conference and 2nd Asian Semantic Web Conference (ISWC/ASWC2007), Busan, South Korea, том 4825 из LNCS, стр. 169--182. Berlin, Heidelberg, Springer Verlag, (ноября 2007)