온톨로지의 비논리적 개념을 유발하는 공리 탐지 기법

초록

논리적으로 결함이 있는 온톨로지를 효과적으로 디버깅하기 위해서는 비논리적인 개념을 유도하는 공리를 정확하게 모두 식별해야한다. 이와 관련하여 가장 최근에 알려진 기법은 특정 비논리적 개념의 원인이 되는 공리 중 먼저 발견된 공리 집합에서 임의의 공리 하나를 삭제하고 다른 집합을 찾는 방식을 사용한다. 이러한 방식은 태블로 알고리즘 기반의 추론 엔진이 온톨로지 디버깅에 사용되는 경우 비논리적 개념을 유발하는 공리간의 종속 관계가 존재한다면 비논리적인 개념을 유도하는 모든 공리를 찾아 내지 못한다. 본 논문에서는 가정 기반 사실 관리 시스템(Assumption-based Truth Maintenance System - ATMS)을 적용한 새로운 방법을 제안한다. 본 논문에서 제안하는 방법은 추론 엔진의 모든 추론 과정을 효율적으로 기록함으로서 추론 결과의 논리적 오류에 대한 다중 원인을 관리한다. 본 논문에서는 SHI 수준의 OWL 온톨로지에 비논리적 개념이 존재할 경우, 원인이 되는 모든 공리를 효과적으로 관리하는 ATMS 프로토콜과 알고리즘에 대해 기술하였다.

키워드