NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법
- Authors
- 김제민; 박영택
- Issue Date
- 2009
- Publisher
- 한국정보과학회
- Keywords
- 온톨로지; 추론 엔진; 최적화 기법; 종속 부호 기반 백트랙킹; 가정 기반 진리 유지 시스템; Ontology; Ontology Reasoner; Optimized Method; Dependancy Directed Backtracking; Assumption based Truth Maintenance System
- Citation
- 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.5, pp.401 - 410
- Journal Title
- 정보과학회논문지 : 소프트웨어 및 응용
- Volume
- 36
- Number
- 5
- Start Page
- 401
- End Page
- 410
- URI
- http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/16298
- ISSN
- 1229-6848
- Abstract
- 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 발표된 온톨로지 추론 엔진의 대부분은 태블로 알고리즘을 기반으로 구축되었다. 그러나 대부분의 추론 엔진들은 논리적 오류를 일으키는 원인은 밝히지 않고, 논리적 오류를 갖는 개념만을 탐지한다. 본 논문의 목적은 태블로 알고리즘 전개 과정 중에 발생하는 non-deterministic 상황을 최적화 하는 동시에 논리적 오류를 일으키는 원인을 탐지하기 위한 방법을 연구하는 것이다. 따라서 본 논문에서는 논리적 부정 가정 기반 진리 유지 시스템(NATMS)을 사용하여 non-deterministic 문제를 해결하고 논리적 오류 원인을 탐지하는 기법을 제안한다. 본 논문에서는 기존에 발표되었던 종속 부호 기반 백트랙킹 기법과 Swoop 프로젝트에 적용된 논리적 오류 원인을 탐지하는 기법을 소개하고, 제안하고자 하는 기법을 설명한다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - College of Information Technology > School of Computer Science and Engineering > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/16298)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.