TY - RPRT TI - Ontology Module Extraction via Datalog Reasoning AU - Ana Armas Romero AU - Mark Kaminski AU - Bernardo Cuenca Grau AU - Ian Horrocks PY - 2014 UR - https://arxiv.org/abs/1411.5313 ID - 1411.5313 ER -