Armas Romero, A.; Kaminski, M.; Cuenca Grau, B.; Horrocks, I. Ontology Module Extraction via Datalog Reasoning. AAAI 2015, 29.