1. Baader, F.: Description logic terminology. In: [5], pp. 485–495. Cambridge University Press (2003)
2. Lecture Notes in Computer Science;F. Baader,2009
3. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005). Morgan-Kaufmann Publishers, Edinburgh (2005)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of the OWLED Workshop (2008)
5. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)