온톨로지 추론 모델에 독립적인 SPARQL 추론 질의 처리를 위한 재작성 알고리즘 = A Rewriting Algorithm for Inferrable SPARQL Query Processing Independent of Ontology Inference Models

다국어 초록 (Multilingual Abstract)

This paper proposes a rewriting algorithm of OWL-DL ontology query in SPARQL. Currently, to obtain inference results of given SPARQL queries, Web ontology repositories construct inference ontology models and match the SPARQL queries with the models. However, an inference model requires much larger space than its original base model, and reusability of the model is not available for other inferrable SPARQL queries. Therefore, the aforementioned approach is not suitable for large scale SPARQL query processing. To resolve this issue, this paper proposes a novel SPARQL query rewriting algorithm that can obtain results by rewriting SPARQL queries and accomplishing query operations against the base ontology model. To achieve this goal, we first define OWL-DL inference rules and apply them on rewriting graph pattern in queries. The paper categorizes the inference rules and discusses on how these rules affect the query rewriting. To show the advantages of our proposal, a prototype system based on Jena is implemented. For comparative evaluation, we conduct an experiment with a set of test queries and compare of our proposal with the previous approach. The evaluation result showed the proposed algorithm supports an improved performance in efficiency of the inferrable SPARQL query processing without loss of completeness and soundness.

국문 초록 (Abstract)

이 논문에서는 SPARQL로 작성된 OWL-DL 온톨로지 질의에 대한 재작성 알고리즘을 제안한다. 현재 웹 온톨로지 저장소는 주어진 SPARQL 질의의 추론 결과를 얻기 위해 추론 온톨로지 모델을생성하고 SPARQL 질의와 생성된 추론 온톨로지 모델과의 일치성을 비교한다. 추론 모델은 베이스 온톨로지 모델에 비해 보다 큰 공간을 필요로 하고 다른 추론 질의를 위해 재사용될 수 없기 때문에 앞서 언급한 접근 방법은 보다 방대한 크기의 SPARQL 질의 처리에 부적합하다. 이러한 문제점을 해결하기 위해 이 논문에서는 SPARQL 질의를 재작성하고 이를 기본 베이스 온톨로지 모델에 대해 질의 연산을 수행하여 결과를 획득할 수 있는 SPARQL 재작성 알고리즘을 제안한다. 이러한 목적을 이루기 위해, 먼저 OWL-DL 추론 규칙을 정의하고 이를 질의 그래프 패턴 재작성에 적용한다. 또한 추론 규칙들을 분류하고 이러한 규칙들이 질의 재작성에 미치는 영향에 대하여 기술한다. 제안 알고리즘의 장점을 보이기 위해, Jena 기반의 프로토타입 시스템을 구현한다. 비교 평가를 위해 테스트 질의를 이용하여 실험을 수행하고 제안 방법과 기존 접근 방법을 비교한다. 실험 결과에서, 제안 알고리즘이 완전성 및 정확성의 손실없이 메모리 공간 및 온톨로지 로딩 측면에서 향상된 성능을 보였다.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 사전 정의
• 3. 그래프 패턴 재작성 접근 방법
• 4. 온톨로지 추론 규칙
• 5. 트리플 패턴 재작성
• 6. 실험 및 평가
• 7. 결론 및 향후 연구
• 참고문헌

참고문헌 (Reference)

1 Broekstra, J., "Sesame:A Generic Architecture for Storing and Querying RDF and RDF Schema" 2342 : 54-68, 2002

2 Perez, J., "Semantics and Complexity of SPARQL" 30-43, 2006

3 Prud’hommeaux, E., "SPARQL Query Language for RDF"

4 Klyne, G., "Resource Description Framework (RDF): Concepts and Abstract Syntax"

5 Seaborne, A., "RDQL - A query language for RDF"

6 Hayes, P., "RDF Semantics"

7 Volker, H., "Querying the Semantic Web with Racer + nRQL" 2004

8 Vidal, M.E., "Query Rewriting in the Semantic Web" 2006

9 Noy, N.F., "Ontology Evolution:Not the Same as Schema Evolution" 428-440, 2004

10 Pinto, H.S., "Ontologies:How can They be Built?" 441-464, 2004

11 Zhang, C., "On Supporting Containment Queries in Relational Database Management Systems" 2001

12 Fikes, R., "OWL-QL-A Language for Deductive Query Answering on the Semantic Web" 2003

13 Patel-Schneider, P.F., "OWL Web Ontology Language Semantics and Abstract Syntax"

14 Guo, Y., "LUBM:A Benchmark for OWL Knowledge Base Systems" 3 (3): 158-182, 2005

15 Kotis, K., "Human-centered ontology engineering:The HCOME methodology" 1 (1): 109-131, 2006

16 Fuxman, A., "First-Order Query Rewriting for Inconsistent Databases" 337-351, 2005

17 Broekstra, J., "Exploring a naive practical approach" 2003

18 Halevy A.Y., "Answering Queries Using Views:A survey" 10 (10): 270-294, 2001

19 Horrocks, I., "A Tableaux Decision Procedure for SHOIQ" 448-453, 2005

20 Jena, "A Semantic Web Framework for Java"