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 the 19th International Joint Conference on Artificial Intelligence, pp. 364–369. Morgan Kaufmann Publishers, Edinburgh (2005)
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
4. Baader, F., Sattler, U.: An overview of tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)
5. Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, pp. 325–330. Morgan Kaufmann Publishers, Acapulco (2003)