1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
2. Baader, F., Nutt, W.: Basic description logics. The Description Logic Handbook: Therory, Implementation, and Applications
3. Baader, F., Buchheit, M., Hollunder, B.: Cardinality restrictions on concepts. Artif. Intell. 88(1-2), 195–213 (1996)
4. Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149–180 (1995)
5. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.-J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems or “making KRIS get a move on”. In: International Conference on the Principles of Knowledge Representation and Reasoning, San Mateo, pp. 270–281. Morgan Kaufmann, San Francisco (1992)