[논문 리뷰] A Formal Graph Model for RDF and Its Implementation

Vinh Nguyen, Jyoti Leeka외 2명|arXiv (Cornell University)|2016. 06. 01.

Semantic Web and Ontologies참고 문헌 15인용 수 8

한 줄 요약

이 논문은 LDM-3N 그래프 모델을 제안하며, 이는 술어를 노드로 간주하고 방향성 있는 간선으로 연결함으로써 전체 그래프 연결성을 확보하고 RDF(S) 의미론과 호환성을 가지는 공식적인 RDF 그래프 모델이다. 이 모델은 도달 가능성 및 최단 경로 쿼리에 대한 효율적인 탐색을 가능하게 하며, GraphKE와 RDF-3X에 구현된 결과 Yago2S-SP 데이터셋에서 뛰어난 성능을 보였다.

ABSTRACT

Formalizing an RDF abstract graph model to be compatible with the RDF formal semantics has remained one of the foundational problems in the Semantic Web. In this paper, we propose a new formal graph model for RDF datasets. This model allows us to express the current model-theoretic semantics in the form of a graph. We also propose the concepts of resource path and triple path as well as an algorithm for traversing the new graph. We demonstrate the feasibility of this graph model through two implementations: one is a new graph engine called GraphKE, and the other is extended from RDF-3X to show that existing systems can also benefit from this model. In order to evaluate the empirical aspect of our graph model, we choose the shortest path algorithm and implement it in the GraphKE and the RDF-3X. Our experiments on both engines for finding the shortest paths in the YAGO2S-SP dataset give decent performance in terms of execution time. The empirical results show that our graph model with well-defined semantics can be effectively implemented.

연구 동기 및 목표

• W3C에서 권장하는 NLAN 모델의 근본적 한계를 해결하라. 이 모델은 술어가 주어진 또는 목적어로 재사용될 경우 하위 그래프를 분리시킨다.
• 술어가 주어진 또는 목적어로 사용될 때, 스키마 트리플과 싱글턴 성질 트리플 간의 그래프 탐색을 가능하게 하라.
• RDF(S) 모델 이론적 의미론과 RDFS 함의 규칙과 호환되는 공식적인 그래프 모델을 개발하라.
• 새로운 그래프 엔진(GraphKE)과 RDF-3X의 확장이라는 두 가지 구현을 통해 실용적 타당성을 입증하라.
• Yago2S-SP와 같은 대규모 RDF 데이터셋에서 도달 가능성 및 최단 경로 쿼리의 효율적 실행을 지원하라.

제안 방법

• 각 RDF 트리플을 술어로 간주하는 LDM-3N 모델을 제안하며, 이는 주어진 노드와 목적어 노드에 각각 방향성 간선(초기 간선 및 종료 간선)을 통해 연결된다.
• 자원 경로와 트리플 경로를 정의하여 LDM-3N 그래프 내에서 노드 간 탐색을 위한 메커니즘을 제공함으로써 연결된 트리플 간 경로 탐색을 가능하게 한다.
• 자원 경로와 트리플 경로를 사용한 LDM-3N 그래프 탐색 알고리즘을 설계하여 도달 가능성 및 최단 경로 쿼리 지원 기능을 제공한다.
• GraphKE라는 새로운 그래프 엔진을 구축하여 LDM-3N 모델을 직접적으로 구현한다.
• 기존의 RDF-3X 트리플 스토어를 확장하여 LDM-3N 모델을 지원함으로써 후행 및 전행 호환성을 입증한다.
• Yago2S-SP 데이터셋(2억 6천만 개 트리플)에서 Dijkstra의 알고리즘을 사용하여 최단 경로를 계산한다.

실험 결과

연구 질문

• RQ1 RDF(S) 모델 이론적 의미론을 완전히 지원하면서도 술어가 주어진 또는 목적어로 사용될 경우에도 그래프 탐색이 가능한 공식적인 그래프 모델을 구축할 수 있는가?
• RQ2 LDM-3N 모델은 어떻게 스키마 트리플과 싱글턴 성질 트리플을 연결된 하위그래프로 표현하여 NLAN 모델의 분리 문제를 해결하는가?
• RQ3 LDM-3N 모델은 신규 및 기존의 RDF 시스템에 얼마나 효율적으로 구현될 수 있는가?
• RQ4 LDM-3N 모델을 사용하여 대규모 RDF 데이터셋에서 최단 경로 쿼리를 실행할 경우 기대할 수 있는 성능는 어떠한가?
• RQ5 표준 그래프 알고리즘이 LDM-3N 모델에 직접 적용될 수 있으며, RDF(S) 의미론을 유지할 수 있는가?

주요 결과

• LDM-3N 모델은 술어가 주어진 또는 목적어로 재사용될 경우 NLAN 모델의 분리 문제를 해결하면서도, 어떤 RDF 데이터셋도 완전히 연결된 그래프로 정확히 표현할 수 있다.
• Dijkstra의 알고리즘이 LDM-3N 그래프에 성공적으로 적용된 것으로 나타나, 도달 가능성 및 최단 경로 쿼리에 대한 효과적인 탐색이 가능하다.
• GraphKE에서의 구현은 Yago2S-SP 데이터셋에서 최단 경로 쿼리의 효율적 실행을 달성하였으며, 2억 6천만 개 트리플의 실세계 데이터셋에 대해 실행 시간이 합리적인 수준으로 평가되었다.
• RDF-3X를 LDM-3N 모델을 지원하도록 확장한 사례는 기존 시스템이 완전한 재작성 없이도 이 모델의 이점을 얻을 수 있음을 보여준다.
• 실증적 평가 결과 LDM-3N 모델은 실용적으로 타당하고 확장 가능하며, 대규모 RDF 지식 기반에서 효율적인 쿼리 실행을 지원함을 확인하였다.
• LDM-3N 모델에서 Andrew Card에서 Jacob Lew로의 최단 경로는 15단계의 점프로 계산되었으며, 이는 모델이 복잡한 실세계 그래프 쿼리를 처리할 수 있음을 검증한다.