2 research outputs found
Axiom Pinpointing
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