1. Baader, F., Borgwardt, S., Morawska, B.: Extending unification in
$$\cal{EL}$$
towards general TBoxes. In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp. 568–572. AAAI Press (2012)
2. Baader, F., Brandt, S., Lutz, C.: Pushing the
$$\cal{EL}$$
envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, pp. 364–369. Morgan-Kaufmann Publishers, Edinburgh (2005)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York (2003)
4. Baader, F., Knechtel, M., Peñaloza, R.: Context-dependent views to axioms and consequences of semantic web ontologies. J. Web Semant. 12, 22–40 (2012)
5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2019