1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)
3. Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artificial Intelligence 82(1–2), 353–367 (1996)
4. Buntine, W.: Generalized subsumption and its application to induction and redundancy. Artificial Intelligence 36(2), 149–176 (1988)
5. Calvanese, D., Lenzerini, M., Rosati, R., Vetere, G.: Dl-lite: Practical reasoning for rich dls. In: Haarslev, V., Möller, R. (eds.) Proceedings of the 2004 International Workshop on Description Logics (DL 2004), CEUR Workshop Proceedings, vol. 104. CEUR-WS.org (2004)