Explaining Axiom Pinpointing

Abstract

Axiom pinpointing refers to the task of finding the specific axioms in an ontology which are responsible for a consequence to follow. This task has been studied, under different names, in many research areas, leading to a reformulation and reinvention of techniques. In this work, we present a general overview to axiom pinpointing, providing the basic notions, different approaches for solving it, and some variations and applications which have been considered in the literature. This should serve as a starting point for researchers interested in related problems, with an ample bibliography for delving deeper into the details.

Using Non-Monotonic Logics to Create a Dynamic Framework for a Behavior Support Agent

“…An alternative approach, especially used for determining the cause of a conflict, is axiom pinpointing or finding a minimal theory. This consists of an iterative method which is used to find a minimal set of axioms or statements that entails the undesired consequence, which can provide a helpful starting point to resolving the conflict [33], [34], [35].…”

Ontologies and Data Management: A Brief Survey

“…The task of computing such a justification is also known as axiom pinpointing and has received significant attention in the literature [39,206,222,351]. We refer the reader to [324] for a dedicated survey.…”