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]

Authors

Ana Armas Romero

This author has not been identified. Look up 'Ana Armas Romero' in Google

Mark Kaminski

This author has not been identified. Look up 'Mark Kaminski' in Google

Bernardo Cuenca Grau

This author has not been identified. Look up 'Bernardo Cuenca Grau' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google