1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Lecture Notes in Artificial Intelligence;I. Horrocks,2005
3. Lecture Notes in Computer Science;P. Bouquet,2003
4. Lecture Notes in Computer Science;B.C. Grau,2004
5. Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: E-connections of abstract description systems. Artificial Intelligence 156(1), 1–73 (2004)