1. Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proceedings of IJCAI 1999, Stockholm, Sweden, Morgan Kaufmann, San Francisco (1999)
2. Lecture Notes in Artificial Intelligence;F. Baader,2002
3. Lecture Notes in Artificial Intelligence;S. Bechhofer,2001
4. Bechhofer, S., Möller, R., Crowther, P.: The DIG description logic interface. In: Proceedings of DL 2003, Rome, Italy, CEUR-WS (2003)
5. Brandt, S., Küsters, R., Turhan, A.-Y.: Approximating ALCN-concept descriptions. In: Proceedings of DL 2002, nr. 53 in CEUR-WS. RWTH Aachen (2002)