Pinpointing Axioms in Ontologies via ASP

Abstract

Axiom pinpointing is the task of identifying the axiomatic causes for a consequence to follow from an ontology. Different approaches have been proposed in the literature for finding one or all the subsetminimal subontologies that preserve a description logic consequence. We propose an approach that leverages the capabilities of answer set programming for transparent axiom pinpointing. We show how other associated tasks can be modelled without much additional effort.