논리적으로 결함이 있는 온톨로지를 효과적으로 디버깅하기 위해서는 비논리적인 개념을 유도하는 공리를 정확하게 모두 식별해야한다. 이와 관련하여 가장 최근에 알려진 기법은 특정 비논리적 개념의 원인이 되는 공리 중 먼저 발견된 공리 집합에서 임의의 공리 하나를 삭제하고 다른 집합을 찾는 방식을 사용한다. 이러한 방식은 태블로 알고리즘 기반의 추론 엔진이 온톨로지 디버깅에 사용되는 경우 비논리적 개념을 유발하는 공리간의 종속 관계가 존재한다면 비논리적인 개념을 유도하는 모든 공리를 찾아 내지 못한다. 본 논문에서는 가정 기반 사실 관리 시스템(Assumption-based Truth Maintenance System - ATMS)을 적용한 새로운 방법을 제안한다. 본 논문에서 제안하는 방법은 추론 엔진의 모든 추론 과정을 효율적으로 기록함으로서 추론 결과의 논리적 오류에 대한 다중 원인을 관리한다. 본 논문에서는 SHI 수준의 OWL 온톨로지에 비논리적 개념이 존재할 경우, 원인이 되는 모든 공리를 효과적으로 관리하는 ATMS 프로토콜과 알고리즘에 대해 기술하였다.
In order to debug inconsistent ontology, all axioms responsible for unsatisfiable concepts should be accurately identified. A recent, well-known axiom-pinpointing method for ontology debugging employs an approach that individually eliminates each previous found culprit axiom to find other axioms responsible for the same unsatisfiable concept. If the use of a tableau algorithm based reasoner results in dependency relations between axioms responsible for an unsatisfiable concept, the approach cannot be used to find all culprit axioms. In this paper, we propose a new ATMS-based approach for axiom pinpointing. The proposed approach records the inference steps of a reasoner and manages the multiple causes of a logical error in the inference results. Therefore, the proposed approach can be used to find all axioms that are responsible for an unsatisfiable concept.
