Module Extraction in Expressive Ontology Languages via Datalog Reasoning

Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks. Module Extraction in Expressive Ontology Languages via Datalog Reasoning. J. Artif. Intell. Res. (JAIR), 55:499-564, 2016. [doi]

Abstract

Abstract is missing.