태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 김제민 | - |
dc.contributor.author | 박영택 | - |
dc.date.available | 2018-05-10T05:37:09Z | - |
dc.date.created | 2018-04-17 | - |
dc.date.issued | 2012-02 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/12696 | - |
dc.description.abstract | 실제 시스템에 적용되는 온톨로지가 점점 복잡해짐에 따라, 구축 과정에 많은 인력과 비용이 투입되고 있다. 따라서 온톨로지를 구축하는 과정에서 온톨로지 설계자들은 많은 논리적인 오류를 범할 수 있으며 이러한 논리적 오류를 찾아내어 수정하는 작업은 매우 중요한 과정이 되었다. 또한 온톨로지를 구성하는 개념간의 숨겨진 관계를 자동으로 추론하는 것 역시 매우 중요하다. 본 연구의 목표는 온톨로지를 구축하는 과정에서 발생되는 비논리적인 개념을 탐지하고, 논리적 오류에 대한 원인을 찾아주며, 개념 간의 포함 관계를 추론하는 엔진을 구축하는 것이다. 본 논문에서 제안하는 HAL은 OWL로 작성한 온톨로지 중 논리적 오류를 갖는 개념들을 탐지하고 오류를 일으키는 원인이 되는 공리를 찾아줌으로서 온톨로지 개발자들이 효과적으로 온톨로지를 구축하는 것을 돕고, 개념간의 포함 관계를 추론해 줌으로써 온톨로지 기반의 서비스 어플리케이션 구축에 도움을 준다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.relation.isPartOf | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.subject | 태블로 알고리즘 | - |
dc.subject | 온톨로지 추론 | - |
dc.subject | 서술 논리 | - |
dc.subject | 온톨로지 디버깅 | - |
dc.subject | Tableau Algorithm | - |
dc.subject | Ontology Reasoning | - |
dc.subject | Description Logic | - |
dc.subject | Ontology Debugging | - |
dc.title | 태블로 알고리즘 기반 온톨로지 T-Box 추론 및 논리적 오류 원인 탐지 시스템 | - |
dc.title.alternative | Tableau Algorithm based Ontology T-Box Reasoning and Culprit Axioms Detection System | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | 정보과학회논문지 : 소프트웨어 및 응용, v.39, no.2, pp.99 - 108 | - |
dc.identifier.kciid | ART001632403 | - |
dc.description.journalClass | 2 | - |
dc.citation.endPage | 108 | - |
dc.citation.number | 2 | - |
dc.citation.startPage | 99 | - |
dc.citation.title | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.citation.volume | 39 | - |
dc.contributor.affiliatedAuthor | 김제민 | - |
dc.contributor.affiliatedAuthor | 박영택 | - |
dc.identifier.url | https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART001632403 | - |
dc.description.isOpenAccess | N | - |
dc.subject.keywordAuthor | 태블로 알고리즘 | - |
dc.subject.keywordAuthor | 온톨로지 추론 | - |
dc.subject.keywordAuthor | 서술 논리 | - |
dc.subject.keywordAuthor | 온톨로지 디버깅 | - |
dc.subject.keywordAuthor | Tableau Algorithm | - |
dc.subject.keywordAuthor | Ontology Reasoning | - |
dc.subject.keywordAuthor | Description Logic | - |
dc.subject.keywordAuthor | Ontology Debugging | - |
dc.description.journalRegisteredClass | kci | - |
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.