1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): Description Logic Handbook. Cambridge University Press, Cambridge (2002)
2. Lecture Notes in Artificial Intelligence;P. Baumgartner,2004
3. Baumgartner, P., Fröhlich, P., Furbach, U., Nejdl, W.: Semantically Guided Theorem Proving for Diagnosis Applications. In: 15th Int. Joint Conf. on Artificial Intelligence (IJCAI 1997), Nagoya, pp. 460–465. Morgan Kaufmann, San Francisco (1997)
4. Baumgartner, P., Furbach, U., Gross-Hardt, M., Kleemann, T.: Optimizing the Evaluation of XPath using Description Logics. In: Proc. INAP 2004, 15th Int. Conf. on Applications of Declarative Programming and Knowledge Management, Potsdam (2004)
5. LNAI;P. Baumgartner,2003