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)
B. Grosof, I. Horrocks, R. Volz, and S. Decker. WWW '03: Proceedings of the 12th international conference on World
Wide Web, page 48-57. New York, NY, USA, ACM, (2003)
B. Grossof, I. Horrocks, R. Volz, and S. Decker. Proceedings of the 12th International World Wide Web Conference (WWW 2003), Budapest, Hungary, (May 2003)
F. Baader, I. Horrocks, and U. Sattler. Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228--248. Springer, (2005)