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.

中文翻译：

---

公理精确定位

公理精确定位是指在本体中找到特定公理的任务，这些公理负责遵循的结果。这项任务已在许多研究领域以不同的名称进行了研究，从而导致了技术的重新制定和再发明。在这项工作中，我们对公理精确定位进行了总体概述，提供了基本概念、解决它的不同方法以及文献中已经考虑过的一些变体和应用。这应该作为对相关问题感兴趣的研究人员的起点，并提供充足的参考书目来深入研究细节。