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.
G. Stoilos, G. Stamou, V. Tzouvaras, J. Pan, and I. Horrocks. ISWC Workshop on Uncertainty Reasoning for the Semantic Web, volume 173 of CEUR Workshop Proceedings, page 67--76. Galway, Ireland, (November 2005)http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-173/paper7.pdf.
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)