NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 김제민 | - |
dc.contributor.author | 박영택 | - |
dc.date.available | 2018-05-10T15:37:23Z | - |
dc.date.created | 2018-04-17 | - |
dc.date.issued | 2009 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/16298 | - |
dc.description.abstract | 온톨로지의 논리적 오류와 개념들 간의 포함 관계를 탐지하는 추론 엔진들이 소개되고 있다. 발표된 온톨로지 추론 엔진의 대부분은 태블로 알고리즘을 기반으로 구축되었다. 그러나 대부분의 추론 엔진들은 논리적 오류를 일으키는 원인은 밝히지 않고, 논리적 오류를 갖는 개념만을 탐지한다. 본 논문의 목적은 태블로 알고리즘 전개 과정 중에 발생하는 non-deterministic 상황을 최적화 하는 동시에 논리적 오류를 일으키는 원인을 탐지하기 위한 방법을 연구하는 것이다. 따라서 본 논문에서는 논리적 부정 가정 기반 진리 유지 시스템(NATMS)을 사용하여 non-deterministic 문제를 해결하고 논리적 오류 원인을 탐지하는 기법을 제안한다. 본 논문에서는 기존에 발표되었던 종속 부호 기반 백트랙킹 기법과 Swoop 프로젝트에 적용된 논리적 오류 원인을 탐지하는 기법을 소개하고, 제안하고자 하는 기법을 설명한다. | - |
dc.publisher | 한국정보과학회 | - |
dc.relation.isPartOf | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.subject | 온톨로지 | - |
dc.subject | 추론 엔진 | - |
dc.subject | 최적화 기법 | - |
dc.subject | 종속 부호 기반 백트랙킹 | - |
dc.subject | 가정 기반 진리 유지 시스템 | - |
dc.subject | Ontology | - |
dc.subject | Ontology Reasoner | - |
dc.subject | Optimized Method | - |
dc.subject | Dependancy Directed Backtracking | - |
dc.subject | Assumption based Truth Maintenance System | - |
dc.title | NATMS를 이용한 온톨로지 추론의 non-deterministic 문제 해결 및 일관성 오류 탐지 기법 | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | 정보과학회논문지 : 소프트웨어 및 응용, v.36, no.5, pp.401 - 410 | - |
dc.identifier.kciid | ART001343044 | - |
dc.description.journalClass | 2 | - |
dc.citation.endPage | 410 | - |
dc.citation.number | 5 | - |
dc.citation.startPage | 401 | - |
dc.citation.title | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.citation.volume | 36 | - |
dc.contributor.affiliatedAuthor | 김제민 | - |
dc.contributor.affiliatedAuthor | 박영택 | - |
dc.subject.keywordAuthor | 온톨로지 | - |
dc.subject.keywordAuthor | 추론 엔진 | - |
dc.subject.keywordAuthor | 최적화 기법 | - |
dc.subject.keywordAuthor | 종속 부호 기반 백트랙킹 | - |
dc.subject.keywordAuthor | 가정 기반 진리 유지 시스템 | - |
dc.subject.keywordAuthor | Ontology | - |
dc.subject.keywordAuthor | Ontology Reasoner | - |
dc.subject.keywordAuthor | Optimized Method | - |
dc.subject.keywordAuthor | Dependancy Directed Backtracking | - |
dc.subject.keywordAuthor | Assumption based Truth Maintenance System | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
Soongsil University Library 369 Sangdo-Ro, Dongjak-Gu, Seoul, Korea (06978)02-820-0733
COPYRIGHT ⓒ SOONGSIL UNIVERSITY, ALL RIGHTS RESERVED.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.