B. Motik, I. Horrocks, and U. Sattler. Third International Wworkshop on OWL: Experiences and Directions 2007 (OWLED 2007), Innsbruck, Austria, (June 2007)
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)
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.
B. Grosof, I. Horrocks, R. Volz, and S. Decker. 12th International Conference on the World Wide Web (WWW-2003), page 48--57. ACM Press, (2003)\\ http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-grosof.pdf.
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, 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.