1. Lecture Notes in Computer Science;MF Arif,2016
2. Baader, F., Brandt, S., Lutz, C.: Pushing the $${\cal{E} L}$$ envelope. In: IJCAI 2005: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 364–369 (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, Cambridge (2003)
4. Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: IJCAI 2007: Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 230–235 (2007)
5. Baader, F., Kriegel, F., Nuradiansyah, A., Peñaloza, R.: Making repairs in description logics more gentle. In: KR 2018: 16th International Conference on Principles of Knowledge Representation and Reasoning, pp. 319–328 (2018)