F. Baader, B. Ganter, B.Sertkaya, and U. Sattler. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), page 230--235. (2007)
D. Calvanese, G. Giacomo, and M. Lenzerini. Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 41--60. Springer Berlin / Heidelberg, (2002)
S. Grimm, B. Motik, and C. Preist. Proc. of the 3rd European Semantic Web Conference (ESWC 2006), volume 4011 of LNCS, page 575--589. Budva, Montenegro, Springer, (June 2006)
V. Haarslev, and R. Möller. Automated Reasoning: First International Joint
Conference (IJCAR) 2001, volume 2083 of Lecture Notes in Computer Science, page 701. Siena, Italy, Springer-Verlag, (June 2001)
S. Dasiopoulou, I. Kompatsiaris, and M. Strintzis. Semantic Multimedia, Third International Conference on Semantic and Digital Media Technologies, SAMT 2008, Koblenz, Germany, page 31-46. (2008)
N. Fanizzi, and C. d'Amato. Foundations of Intelligent Systems, 16th International Symposium,, volume 4203 of Lecture Notes in Computer Science, page 322-331. Springer, Berlin--Heidelberg, Germany, (2006)