Axiom Pinpointing
Logic in Computer Science
2020-03-20 v1 Artificial Intelligence
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.
Cite
@article{arxiv.2003.08298,
title = {Axiom Pinpointing},
author = {Rafael Peñaloza},
journal= {arXiv preprint arXiv:2003.08298},
year = {2020}
}