1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1–2), 70–118 (2005)
3. Borgida, A., Lenzerini, M., Rosati, R.: Description logics for data bases. In: Baader et al., ch. 16, pp. 462–484 [1]
4. Calvanese, D.: Finite model reasoning in description logics. In: Proc. of KR 1996, pp. 292–303 (1996)
5. Calvanese, D.: Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dip. di Inf. e Sist., Univ. di Roma “La Sapienza” (1996)