论文标题
公理精确点
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.
