Armas Romero, A., M. Kaminski, B. Cuenca Grau, and I. Horrocks. “Ontology Module Extraction via Datalog Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 29, no. 1, Feb. 2015, doi:10.1609/aaai.v29i1.9418.