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. Baumgartner, P., Furbach, U.: PROTEIN: A PROver with a theory extension INterface. In: Conference on Automated Deduction, pp. 769–773 (1994)
3. Lecture Notes in Computer Science;T. Benko,2002
4. Benkö, T., Lukácsy, G., Fokt, A., Szeredi, P., Kilián, I., Krauth, P.: Information integration through reasoning on meta-data. In: Proceedings of the Workshop “AI Moves to IA”, IJCAI 2003, Acapulco, Mexico, pp. 65–77 (2003)
5. Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of WWW 2003, pp. 48–57. ACM Press, New York (2003)