대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 서은석 | - |
dc.contributor.author | 최용준 | - |
dc.contributor.author | 박영택 | - |
dc.date.available | 2018-05-10T16:55:45Z | - |
dc.date.created | 2018-04-17 | - |
dc.date.issued | 2007-06 | - |
dc.identifier.issn | 1229-6848 | - |
dc.identifier.uri | http://scholarworks.bwise.kr/ssu/handle/2018.sw.ssu/18287 | - |
dc.description.abstract | 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다.본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.relation.isPartOf | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.subject | Ontology | - |
dc.subject | Rule | - |
dc.subject | datalog | - |
dc.subject | SHIQ(D) | - |
dc.subject | Datatype | - |
dc.subject | Reasoning | - |
dc.subject | 온톨로지 | - |
dc.subject | 규칙 | - |
dc.subject | 데이타 로그 | - |
dc.subject | OWL | - |
dc.subject | Datatype | - |
dc.subject | 추론 | - |
dc.title | 대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법 | - |
dc.title.alternative | A Method for Supporting Description Logic SHIQ(D) Reasoning over Large Aboxes | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | 정보과학회논문지 : 소프트웨어 및 응용, v.34, no.6, pp.530 - 538 | - |
dc.identifier.kciid | ART001065104 | - |
dc.description.journalClass | 2 | - |
dc.citation.endPage | 538 | - |
dc.citation.number | 6 | - |
dc.citation.startPage | 530 | - |
dc.citation.title | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.citation.volume | 34 | - |
dc.contributor.affiliatedAuthor | 박영택 | - |
dc.identifier.url | https://www.kci.go.kr/kciportal/ci/sereArticleSearch/ciSereArtiView.kci?sereArticleSearchBean.artiId=ART001065104 | - |
dc.description.isOpenAccess | N | - |
dc.subject.keywordAuthor | Ontology | - |
dc.subject.keywordAuthor | Rule | - |
dc.subject.keywordAuthor | datalog | - |
dc.subject.keywordAuthor | SHIQ(D) | - |
dc.subject.keywordAuthor | Datatype | - |
dc.subject.keywordAuthor | Reasoning | - |
dc.subject.keywordAuthor | 온톨로지 | - |
dc.subject.keywordAuthor | 규칙 | - |
dc.subject.keywordAuthor | 데이타 로그 | - |
dc.subject.keywordAuthor | OWL | - |
dc.subject.keywordAuthor | Datatype | - |
dc.subject.keywordAuthor | 추론 | - |
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.