Ontology Module Extraction via Datalog Reasoning

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau +1

Module extraction - the task of computing a (preferably small) fragment M of an ontology T that preserves entailments over a signature S - has found many applications in recent yea…