1. Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 319–324 (2003)
2. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 325–330 (2003)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), Edinburgh (UK), pp. 364–369 (2005)
4. Baader, F., Distel, F.: A finite basis for the set of
$\mathcal{EL}$
-implications holding in a finite model. LTCS-Report 07-02, Theoretical Computer Science, TU Dresden, Germany (2007),
http://lat.inf.tu-dresden.de/research/reports.html
5. Lecture Notes in Artificial Intelligence;F. Baader,2006