1. Lecture Notes in Computer Science;MF Arif,2016
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;F Baader,2007
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Chen,2015
5. Chen, J., Ludwig, M., Walther, D.: On computing minimal EL-subsumption modules. In: Proceedings of WOMoCoE 2016 (2016)