태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템

실제 시스템에 적용되는 온톨로지가 점점 복잡해짐에 따라, 구축 과정에 많은 인력과 비용이 투입되고 있다. 따라서 온톨로지를 구축하는 과정에서 온톨로지 설계자들은 많은 논리적인 오류를 범할 수 있으며 이러한 논리적 오류를 찾아내어 수정하는 작업은 매우 중요한 과정이 되었다. 또한 온톨로지를 구성하는 개념간의 숨겨진 관계를 자동으로 추론하는 것 역시 매우 중요하다. 본 연구의 목표는 온톨로지를 구축하는 과정에서 발생되는 비논리적인 개념을 탐지하고, 논리적 오류에 대한 원인을 찾아주며, 개념 간의 포함 관계를 추론하는 엔진을 구축하는 것이다. 본 논문에서 제안하는 HAL은 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 탐지하고 오류를 일으키는 원인이 되는 공리를 찾아줌으로서 온톨로지 개발자들이 효과적으로 온톨로지를 구축하는 것을 돕고, 개념간의 포함 관계를 추론해 줌으로써 온톨로지 기반의 서비스 어플리케이션 구축에 도움을 준다.