B. Grosof, I. Horrocks, R. Volz, und S. Decker. WWW '03: Proceedings of the 12th international conference on World
Wide Web, Seite 48-57. New York, NY, USA, ACM, (2003)
B. Grosof, I. Horrocks, R. Volz, und S. Decker. WWW '03: Proceedings of the 12th International World Wide Web Conference, Budapest, Hungary, Seite 48-57. (2003)
F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228--248. Springer, (2005)
F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228-248. Springer, (2005)
H. Pérez-Urbina, I. Horrocks, und B. Motik. International Semantic Web Conference, Volume 5823 von Lecture Notes in Computer Science, Seite 489-504. Springer, (2009)