[논문 리뷰] Reconciliation of RDF* and Property Graphs

Olaf Hartig|arXiv (Cornell University)|2014. 09. 11.

Graph Theory and Algorithms참고 문헌 1인용 수 33

한 줄 요약

이 논문은 Property Graph와 RDF*를 공식적으로 통합하기 위해, 두 모델 간의 이중 방향, 손실 없는 변환을 가능하게 하는 엄밀하고 시스템에 종속되지 않는 변환 프레임워크를 정의한다. 주요 기여는 사용자가 지정한 식별자, 레이블, 키 매핑을 사용하여 Property Graph를 공식화하고, 이를 통해 SPARQL와 Gremlin과 같은 표준 쿼리 언어를 통해 그래프 데이터베이스와 RDF 시스템 간의 원활한 상호운용성을 실현하는 것이다.

ABSTRACT

Both the notion of Property Graphs (PG) and the Resource Description Framework (RDF) are commonly used models for representing graph-shaped data. While there exist some system-specific solutions to convert data from one model to the other, these solutions are not entirely compatible with one another and none of them appears to be based on a formal foundation. In fact, for the PG model, there does not even exist a commonly agreed-upon formal definition. The aim of this document is to reconcile both models formally. To this end, the document proposes a formalization of the PG model and introduces well-defined transformations between PGs and RDF. As a result, the document provides a basis for the following two innovations: On one hand, by implementing the RDF-to-PG transformations defined in this document, PG-based systems can enable their users to load RDF data and make it accessible in a compatible, system-independent manner using, e.g., the graph traversal language Gremlin or the declarative graph query language Cypher. On the other hand, the PG-to-RDF transformation in this document enables RDF data management systems to support compatible, system-independent queries over the content of Property Graphs by using the standard RDF query language SPARQL. Additionally, this document represents a foundation for systematic research on relationships between the two models and between their query languages.

연구 동기 및 목표

• 현재 보편적으로 인정된 정의가 없이도 Property Graph에 대한 공식적이고 표준화된 기반을 마련하기 위해.
• Property Graph 기반 시스템(예: Neo4j)과 RDF 시스템(예: Virtuoso, Bigdata) 간의 시스템 독립적 데이터 교환을 가능하게 하기 위해.
• RDF에 대해서는 SPARQL, Property Graph에 대해서는 Gremlin/Cypher와 같은 표준 쿼리 언어를 사용하여 변환된 모델 간의 데이터에 대해 쿼리할 수 있도록 하기 위해.
• 두 모델 간의 관계와 그 쿼리 언어에 대한 체계적인 연구를 위한 공식적 기반을 제공하기 위해.
• 사용자 우아한 방식으로 문장 수준 메타데이터(예: 신뢰도)를 표현할 수 있도록 하는 RDF* 확장 기능을 통해 RDF의 한계를 보완하기 위해.

제안 방법

• 정점(V), 간선(E), 출발점(src), 도착점(tgt), 레이블(lbl), 그리고 정점과 간선에 속성을 할당하는 부분 함수(P)로 구성된 튜플 (V, E, src, tgt, lbl, P)로 구성된 Property Graph의 공식 모델을 제안한다.
• 내부 식별자들을 IRIs 또는 빈 노드로 매핑하기 위한 사용자 지정 매핑 세 가지를 도입한다: 정점 식별자 매핑(id), 간선 레이블 매핑(lm), 속성 키 매핑(km).
• Property Graph의 RDF* 표현을 위해 세 개의 상호 배타적인 집합을 정의한다: 정점 속성(G_vp*), 간선 속성(G_ep*), 간선 삼중항(G_en*)으로, 삼중항은 간선를 주어진 것으로 표현하기 위해 RDF*를 사용한다.
• 임의의 값을 RDF 리터럴로 변환하기 위해 값에서 리터럴로의 매핑(vm)을 사용하여 유형 안정성과 표준화를 보장한다.
• 속성 유일성과 간선 유일성 조건을 만족하는 Property Graph에서 RDF* 그래프로의 공식적이고 단사적인 변환을 수립하여 모든 구조적 및 의미적 정보를 유지한다.
• 동일한 공식적 조건 하에 RDF*에서 Property Graph로의 역변환을 제공하여 이중 방향, 손실 없는 변환을 보장한다.

실험 결과

연구 질문

• RQ1 Property Graph 모델에 대한 공식적이고 모호하지 않은 정의를 어떻게 설정할 수 있을까? 이는 현재 표준화되지 않은 상태에서 발생하는 혼란을 해결하기 위함이다.
• RQ2 구조와 의미를 유지하면서 Property Graph를 RDF* 그래프로 손실 없이 변환하기 위해 필요한 공식적 매핑은 무엇인가?
• RQ3 변환된 결과로 생성된 RDF* 그래프는 어떻게 표준 SPARQL로 쿼리할 수 있으며, 원래의 Property Graph는 어떻게 이를 기반으로 재구성할 수 있는가?
• RQ4 동일한 데이터에 대해 변환 후 적용된 Property Graph 쿼리 언어(Cypher, Gremlin 등)와 SPARQL 간의 공식적 관계는 무엇인가?
• RQ5 Property Graph에서의 문장 수준 메타데이터(예: 신뢰도, 기원 등)는 어떻게 공식적으로 표현하고 RDF*에서 쿼리할 수 있는가?

주요 결과

• 논문은 Property Graph 모델을 공식화하여, 이전에 다양한 시스템 간에서 애매하게 사용되던 정의를 명확히 하고 정확하고 모호하지 않은 정의를 제공한다.
• 속성 유일성과 간선 유일성 조건 하에서 Property Graph에서 RDF* 그래프로의 변환은 손실 없고 일대일 대응이 보장되어 전체 데이터 무결성을 유지한다.
• 이 변환은 완전한 상호운용성을 가능하게 하며, RDF 데이터는 Property Graph 시스템에 로드되어 Gremlin 또는 Cypher로 쿼리 가능하고, Property Graph 데이터도 변환 후 SPARQL로 쿼리 가능하다.
• RDF*의 사용은 문장 수준 메타데이터(예: 간선의 신뢰도)를 의미적으로 풍부하고 쿼리 가능한 방식으로 자연스럽게 표현할 수 있게 하여, 기존 표준 RDF의 주요 한계를 극복한다.
• 공식적 프레임워크는 두 모델과 그 쿼리 언어 간의 등가성, 표현력, 쿼리 의미론에 대한 체계적 연구를 지원한다.
• 이 접근법은 확장 가능하고 재사용 가능하며, 사용자 정의 매핑(id, lm, km)을 통해 이질적인 데이터 소스 간의 의미적 일치를 가능하게 한다.