지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2012.1
- 수록면
- 187 - 199 (13page)
이용수
초록· 키워드
오류제보하기
OWL 온톨로지의 대규모 추론을 위한 대부분의 방식은 Jena처럼 특수한 트리플 구조에 저장된 사실과 공리에 논리 규칙을 적용하고 있다. 논리 규칙의 적용을 위해서는 일반적으로 Description Logic Program (DLP)규칙을 적용하여 ABox 추론을 수행하고 있다. 본 논문에서는 사실과 공리를 관계 데이터베이스의 데이블 스키마에 저장하여 DLP 사용하는 새로운 대규모 ABox 추론방식을 제시한다. 이 방식의 목적은 대규모 논리 규칙을 사용한 연역 추론이다. 제시된 방법은 특정 클래스에 속한 개체로 구성되는 개체의 묵시적 개체 관계를 추론할 수 있고, 필요시에는 새로운 개체를 생성하여 명시적 관계를 표현할 수 있다. 또한, 본 본문은 논리적 추론 방식을 관계 데이터베이스의 추론으로 전환하고, 카디널리티 제한을 만족하는 추론 방법을 보였다. 구현된 추론기의 벤치마크 평가를 통하여 추론 능력이 향상됨을 보였다.
목차
Abstract
요약
I. Introduction
II. Related Work
III. Large ABox Reasoning with Relational Database Schema
IV. Implementation
V. Evaluation
VI. Conclusion and Future Works
References
참고문헌 (27)
참고문헌 신청
1. [단행본] - Bechhofer, S / 2004 / OWL Web Ontology Language Reference / W3C Recommendation
2. [단행본] - Baader,F / 2003 / The Description Logic Handbook, In Theory, Implementation, and Applications / Cambridge University Press
3. [학술대회논문] - Haarslev, V / 2001 / RACER System Description, Automated Reasoning / First International Joint Conference, IJCAR 2001
4. [기타자료] - Sirin, E / 2004 / An OWL DL Reasoner
5. [학술대회논문] - Motik, B / 2005 / KAON2 - A Scalable Reasoning Tool for the Semantic Web / Proceedings of the 2nd European Semantic Web Conference (ESWC'05)
2. [단행본] - Baader,F / 2003 / The Description Logic Handbook, In Theory, Implementation, and Applications / Cambridge University Press
3. [학술대회논문] - Haarslev, V / 2001 / RACER System Description, Automated Reasoning / First International Joint Conference, IJCAR 2001
4. [기타자료] - Sirin, E / 2004 / An OWL DL Reasoner
5. [학술대회논문] - Motik, B / 2005 / KAON2 - A Scalable Reasoning Tool for the Semantic Web / Proceedings of the 2nd European Semantic Web Conference (ESWC'05)
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-566-001251818