태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System
- Other Titles
- Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System
- Authors
- 김제민; 박영택
- Issue Date
- Feb-2012
- Publisher
- 한국정보과학회
- Keywords
- 태블로 알고리즘; 온톨로지 추론; 서술 논리; 온톨로지 디버깅; Tableau Algorithm; Ontology Reasoning; Description Logic; Ontology Debugging
- Citation
- 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.2, pp.99 - 108
- Journal Title
- 정보과학회논문지 : 소프트웨어 및 응용
- Volume
- 39
- Number
- 2
- Start Page
- 99
- End Page
- 108
- URI
- http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/12696
- ISSN
- 1229-6848
- Abstract
- 실제 시스템에 적용되는 온톨로지가 점점 복잡해짐에 따라, 구축 과정에 많은 인력과 비용이 투입되고 있다. 따라서 온톨로지를 구축하는 과정에서 온톨로지 설계자들은 많은 논리적인 오류를 범할 수 있으며 이러한 논리적 오류를 찾아내어 수정하는 작업은 매우 중요한 과정이 되었다. 또한 온톨로지를 구성하는 개념간의 숨겨진 관계를 자동으로 추론하는 것 역시 매우 중요하다. 본 연구의 목표는 온톨로지를 구축하는 과정에서 발생되는 비논리적인 개념을 탐지하고, 논리적 오류에 대한 원인을 찾아주며, 개념 간의 포함 관계를 추론하는 엔진을 구축하는 것이다. 본 논문에서 제안하는 HAL은 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 탐지하고 오류를 일으키는 원인이 되는 공리를 찾아줌으로서 온톨로지 개발자들이 효과적으로 온톨로지를 구축하는 것을 돕고, 개념간의 포함 관계를 추론해 줌으로써 온톨로지 기반의 서비스 어플리케이션 구축에 도움을 준다.
- Files in This Item
-
Go to Link
- Appears in
Collections - College of Information Technology > School of Computer Science and Engineering > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.