D. Tsarkov, und I. Horrocks. Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Volume 4130 von Lecture Notes in Artificial Intelligence, Seite 292--297. Springer, (2006)
I. Horrocks. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), Seite 636--647. Morgan Kaufmann Publishers, San Francisco, California, (Juni 1998)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/1998/kr98.ps.gz.
G. Flouris, D. Plexousakis, und G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (Mai 2005)
G. Flouris, D. Plexousakis, und G. Antoniou. In Proc. of the 10th International Workshop on Non-Monotonic Reasoning 2004 (NMR-04), Seite 171-179. Westin Whistler Resort and Spa, Whistler BC, Canada, (Juni 2004)
V. Haarslev, R. Möller, und A. Turhan. IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, Seite 61--75. London, UK, Springer-Verlag, (2001)
B. Parsia, E. Sirin, und A. Kalyanpur. WWW '05: Proceedings of the 14th international conference on World Wide Web, Seite 633--640. New York, NY, USA, ACM Press, (2005)
F. Baader, I. Horrocks, und U. Sattler. Mechanizing Mathematical Reasoning, Volume 2605 von Lecture Notes in Computer Science, Seite 228--248. Springer, (2005)