Ontology module extraction via datalog reasoning - Romero, AA; Kaminski, M; Grau, BC; Horrocks, I (Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence and the Twenty-Seventh Innovative Applications of Artificial Intelligence Conference, January 25–30, 2015, Austin, Texas, USA, 2015)