F. Baader, B. Ganter, B.Sertkaya, und U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), Seite 230--235. (2007)
D. Calvanese, G. Giacomo, und M. Lenzerini. Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 41--60. Springer Berlin / Heidelberg, (2002)