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)
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)