1. Artale, A., Franconi, E.: A temporal description logic for reasoning about actions and plans. J. Artif. Intell. Res. 9, 463–506 (1998)
2. Baader, F.: A formal definition for the expressive power of knowledge representation languages. In: Proceedings of the ECAI, pp. 53–58 (1990)
3. Baader, F.: A formal definition for the expressive power of terminological knowledge representation languages. J. Log. Comput. 6(1), 33–54 (1996)
4. Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: IJCAI 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, 30 July–5 August 2005, pp. 364–369 (2005)
5. Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2003)