1. Armas Romero, A., Kaminski, M., Cuenca Grau, B., Horrocks, I.: Module extraction in expressive ontology languages via Datalog reasoning. J. Artif. Intell. Res. 55, 499–564 (2016)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope. In: Proceedings of IJCAI 2005 (2005)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{EL}$$ envelope further. In: Proceedings of OWLED 2008 (2008)
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)
5. Baader, F., Hollunder, B., Nebel, B., Profitlich, H.J., Franconi, E.: An empirical analysis of optimization techniques for terminological representation systems. Appl. Intell. 4(2), 109–132 (1994). https://doi.org/10.1007/BF00872105