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, MA (2003)
2. Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI’91), pp. 452–457 (1991)
3. Baader, F., Hollunder, B.: A terminological knowledge representation system with complete inference algorithms. In: Proceedings of the First International Workshop on Processing Declarative Knowledge. Lecture Notes in Computer Science, vol. 572, pp. 67–85. Springer, Berlin Heidelberg New York (1991)
4. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Stud. Log. 69(1), 5–40 (2001)
5. Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL Web ontology language reference. W3C Recommendation. Available at http://www.w3.org/TR/owl-ref/ (2004)