상세 보기
태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템
Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System
- 김제민;
- 박영택
초록
실제 시스템에 적용되는 온톨로지가 점점 복잡해짐에 따라, 구축 과정에 많은 인력과 비용이 투입되고 있다. 따라서 온톨로지를 구축하는 과정에서 온톨로지 설계자들은 많은 논리적인 오류를 범할 수 있으며 이러한 논리적 오류를 찾아내어 수정하는 작업은 매우 중요한 과정이 되었다. 또한 온톨로지를 구성하는 개념간의 숨겨진 관계를 자동으로 추론하는 것 역시 매우 중요하다. 본 연구의 목표는 온톨로지를 구축하는 과정에서 발생되는 비논리적인 개념을 탐지하고, 논리적 오류에 대한 원인을 찾아주며, 개념 간의 포함 관계를 추론하는 엔진을 구축하는 것이다. 본 논문에서 제안하는 HAL은 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 탐지하고 오류를 일으키는 원인이 되는 공리를 찾아줌으로서 온톨로지 개발자들이 효과적으로 온톨로지를 구축하는 것을 돕고, 개념간의 포함 관계를 추론해 줌으로써 온톨로지 기반의 서비스 어플리케이션 구축에 도움을 준다.
키워드
태블로 알고리즘; 온톨로지 추론; 서술 논리; 온톨로지 디버깅; Tableau Algorithm; Ontology Reasoning; Description Logic; Ontology Debugging
- 제목
- 태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템
- 제목 (타언어)
- Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System
- 저자
- 김제민; 박영택
- 발행일
- 2012-02
- 저널명
- 정보과학회논문지 : 소프트웨어 및 응용
- 권
- 39
- 호
- 2
- 페이지
- 99 ~ 108
- 언어
- KOR
- 출판사
- 한국정보과학회
- 발행국가
- 대한민국
- 분량
- 10 페이지
- ISSN
- P 1229-6848