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)
G. Flouris, D. Plexousakis, und G. Antoniou. In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Corfu, Greece, (Mai 2005)
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)