1. Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI’91), pp. 452–457, Sydney, 26 August 1991
2. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log. 69(1), 5–40 (2001)
3. 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)
4. Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell. 168(1–2), 70–118 (2005)
5. Borgida, A., Brachman, R.J.: Conceptual modeling with description logics. In: Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation and Applications, chap 10, pp. 349–372. Cambridge University Press, Cambridge (2003)