1. Arif, M.F., Mencía, C., Ignatiev, A., Manthey, N., Peñaloza, R., Marques-Silva, J.: BEACON: An efficient SAT-based tool for debugging EL+ ontologies. In: SAT, pp. 521–530 (2016)
2. Romero, A.A.: Ontology module extraction and applications to ontology classification. Ph.D. thesis, University of Oxford, UK (2015)
3. Romero, A.A., Kaminski, M., Grau, B.C., Horrocks, I.: Ontology module extraction via datalog reasoning. In: AAAI, pp. 1410–1416 (2015)
4. Romero, A.A., Kaminski, M., Cuenca Grau, B., Horrocks, I.: Module extraction in expressive ontology languages via datalog reasoning. JAIR 55, 499–564 (2016)
5. Baader, F., Brandt, S., Lutz, C.: Pushing the $$\cal{E\!L}$$ envelope. In: IJCAI, pp. 364–369 (2005)