1. Arif, M.F., Marques-Silva, J.: Towards efficient axiom pinpointing of $${\cal EL}^+$$ ontologies. CoRR, abs/1503.08454 (2015). http://arxiv.org/abs/1503.08454
2. Ashburner, M., Ball, C.A., Blake, J.A., Botstein, D., Heather Butler, J., Cherry, M., Davis, A.P., Dolinski, K., Dwight, S.S., Eppig, J.T., et al.: Gene ontology: tool for the unification of biology. Nature Genetics 25(1), 25–29 (2000)
3. Baader, F., Brandt, S., Lutz, C.: Pushing the $${\cal EL}$$ envelope. In: IJCAI, pp. 364–369 (2005)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);F Baader,2006
5. Baader, F., Peñaloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $${\cal EL}$$ . In: DL (2007)