[논문 리뷰] SPARQL for a Web of Linked Data: Semantics and Computability (Extended Version)

Olaf Hartig|arXiv (Cornell University)|2012. 03. 07.

Semantic Web and Ontologies참고 문헌 16인용 수 3

한 줄 요약

이 논문은 SPARQL이 연결된 데이터 웹을 쿼리하는 데 적합한가를 공식적으로 조사하기 위해 두 가지 새로운 의미론을 도입한다: 전체 웹 의미론과 가용성 기반 의미론. 데이터 및 계산 모델을 통해 이론적 기초를 구축하여, 일정한 가용성 기준 하에서 SPARQL 쿼리가 무한히 큰 연결된 데이터 웹 환경에서도 계산 가능하고 유한한 결과를 도출함을 증명한다.

ABSTRACT

The World Wide Web currently evolves into a Web of Linked Data where content providers publish and link data as they have done with hypertext for the last 20 years. While the declarative query language SPARQL is the de facto for querying a-priory defined sets of data from the Web, no language exists for querying the Web of Linked Data itself. However, it seems natural to ask whether SPARQL is also suitable for such a purpose. In this paper we formally investigate the applicability of SPARQL as a query language for Linked Data on the Web. In particular, we study two query models: 1) a full-Web semantics where the scope of a query is the complete set of Linked Data on the Web and 2) a family of reachability-based semantics which restrict the scope to data that is reachable by traversing certain data links. For both models we discuss properties such as monotonicity and computability as well as the implications of querying a Web that is infinitely large due to data generating servers.

연구 동기 및 목표

• 연결된 데이터 웹을 SPARQL로 쿼리하는 데 필요한 이론적 기초의 부족을 해결하기 위해.
• 연결된 데이터 웹의 무한하고 상호 연결된 성격을 포괄하는 공식적인 데이터 모델을 정의하기 위해.
• 제한된 웹 데이터 액세스 능력을 반영하는 튜링 기계 기반의 계산 모델을 제안하기 위해.
• SPARQL을 동적이고 분산된 데이터에서 사용하기 위한 두 가지 쿼리 의미론인 전체 웹 의미론과 가용성 기반 의미론을 제안하고 분석하기 위해.
• 이러한 의미론 하에서 만족 가능성, 단조성, 계산 가능성과 같은 핵심 성질을 조사하기 위해.

제안 방법

• 연결된 데이터 웹을 상호 연결된 RDF 문서 네트워크로 표현하는 무한한 데이터 모델을 기반으로 한 이론적 프레임워크를 제안한다.
• 웹 쿼리 중 데이터 액세스를 제한하는 데 사용되는 특정 유형의 튜링 기계를 사용한 계산 모델을 도입한다.
• 전체 웹 의미론을 정의하여, SPARQL 쿼리가 웹에서 이용 가능한 전체 연결된 데이터 세트를 기반으로 평가되도록 한다.
• 정의된 데이터 링크를 통해 도달 가능한 데이터에 국한된 쿼리 범위를 제한하는 가용성 기반 의미론의 가족을 도입한다.
• URI 집합과 RDF 삼중항 집합을 기반으로 네 가지 유형의 일정한 가용성 기준을 정의한다: U-일정, T-일정, (U∧T)-일정, 및 (U∨T)-일정.
• 형식적 정의와 증명을 사용하여 각 의미론 하에서 단조성, 만족 가능성, 계산 가능성과 같은 성질을 분석한다.

실험 결과

연구 질문

• RQ1 동적이고 잠재적으로 무한한 성격을 지닌 전체 웹의 연결된 데이터 웹을 위한 SPARQL의 공식적 적합성은 어떠한가?
• RQ2 전체 웹 의미론과 가용성 기반 의미론 하에서 SPARQL 쿼리의 이론적 성질—만족 가능성, 단조성 등—은 무엇인가?
• RQ3 연결된 데이터 웹이 무한히 클 경우 SPARQL 쿼리의 계산 가능성을 보장할 수 있는가?
• RQ4 다양한 가용성 기준(U-일정, T-일정 등)은 쿼리 결과의 유한성과 처리 가능성에 어떤 영향을 미치는가?
• RQ5 제약 수준과 계산 가능성 측면에서 서로 다른 가용성 기준 간의 관계는 어떠한가?

주요 결과

• 전체 웹 의미론은 SPARQL 쿼리가 웹에서 이용 가능한 전체 연결된 데이터를 고려할 수 있도록 하지만, 잠재적인 무한성으로 인해 계산 가능성 문제를 야기한다.
• 가용성 기반 의미론은 정의된 기준을 통해 도달 가능한 데이터에 쿼리 범위를 제한하여, 결과적으로 유한하고 계산 가능한 쿼리 결과를 가능하게 한다.
• 모든 일정한 가용성 기준—U-일정, T-일정, (U∧T)-일정, (U∨T)-일정—은 유한한 도달 가능한 데이터를 보장하며, URI 및 삼중항 집합의 유계성에 의해 증명된다.
• (U∨T)-일정 기준은 가장 제약이 적은 반면, (U∧T)-일정 기준은 가장 제약이 강한데, 이 계층 내에서 단조성 성질이 유지된다.
• 이 논문은 어떤 일정한 가용성 기준 하에서도 연결된 데이터 웹이 무한히 클 경우에도 SPARQL 쿼리가 계산 가능하다는 것을 증명한다.
• 이론적 프레임워크는 동적이고 분산된 연결된 데이터 환경에서 쿼리 의미론, 계산 가능성, 정확성에 대한 추론을 위한 견고한 기초를 제공한다.