[논문 리뷰] Validating RDF with Shape Expressions.

Iovka Boneva, José Emilio Labra Gayo외 4명|arXiv (Cornell University)|2014. 04. 04.

Semantic Web and Ontologies참고 문헌 34인용 수 23

한 줄 요약

이 논문은 정규 다중집합 표현식(RBEs)을 사용하여 노드 이웃 구조를 제약하는 RDF 그래프 검증을 위한 스키마 형식인 Shape Expression(ShEx)을 소개한다. 다중형식 검증은 단일 발생 RBE(SORBE)를 사용하는 결정론적 스키마에서 다항식 시간 내에 수행 가능하며, 단일형식 검증은 여전히 비결정론적이지만, 결정론적 SORBE 기반 스키마에서는 효율적인 단일 패assing 검증이 가능하다.

ABSTRACT

We propose shape expression schema (ShEx), a novel schema formalism for describing the topology of an RDF graph that uses regular bag expressions (RBEs) to define con-straints on the admissible neighborhood for the nodes of a given type. We provide two alternative semantics, multi- and single-type, depending on whether or not a node may have more than one type. We study the expressive power of ShEx and study the complexity of the validation problem. We show that the single-type semantics is strictly more ex-pressive than the multi-type semantics, single-type validation is generally intractable and multi-type validation is feasible for a small class of RBEs. To further curb the high com-putational complexity of validation, we propose a natural notion of determinism and show that multi-type validation for the class of deterministic schemas using single-occurrence regular bag expressions (SORBEs) is tractable. Finally, we consider the problem of val-idating only a fragment of a graph with preassigned types for some of its nodes, and argue that for deterministic ShEx using SORBEs, multi-type validation can be performed efficiently and single-type validation can be performed with a single pass over the graph. 1

연구 동기 및 목표

• RDF 그래프의 구조적 토폴로지, 특히 정밀한 이웃 제약 조건을 기술할 수 있는 스키마 언어의 필요성을 해결하기 위해.
• RDF 스키마 검증을 위한 두 가지 의미론—다중형식과 단일형식—을 정의하고 비교하여, 노드가 다수의 형식을 가질 수 있는지 여부를 포괄한다.
• 이러한 의미론 하에서 RDF 검증의 계산 복잡도를 분석하고, 다항식 시간 내에 수행 가능한 하위 클래스를 규명한다.
• 검증 복잡도를 감소시키기 위해 결정론성과 단일 발생 정규 다중집합 표현식(SORBE)을 도입한다.
• 특히 결정론적 ShEx 스키마 하에서 사전에 노드 형식이 할당된 그래프 조각에 대해 효율적인 검증을 가능하게 한다.

제안 방법

• 정규 다중집합 표현식(RBEs)을 사용하여 특정 형식의 노드 이웃에 대한 제약 조건을 정의하는 스키마 형식인 Shape Expression(ShEx)을 제안한다.
• 두 가지 의미론을 정의한다: 다중형식(노드는 다수의 형식을 가질 수 있음)과 단일형식(노드는 정확히 한 개의 형식을 가짐), 각각 다른 검증 행동을 보인다.
• ShEx의 표현력을 분석하여, 단일형식 의미론이 다중형식 의미론보다 엄밀히 더 강력한 표현력을 가짐을 보여준다.
• 의미 모호성이 제한되는 경로 패턴을 줄이기 위해 ShEx 스키마에서 결정론성을 도입한다.
• RBE의 하위 클래스인 단일 발생 정규 다중집합 표현식(SORBE)에 집중한다. 이는 효율적인 검증을 가능하게 한다.
• 다중형식 검증은 결정론적 스키마에 SORBE를 적용할 경우 다항식 시간 내에 수행 가능하며, 단일형식 검증은 그래프를 한 번만 스캔하는 방식으로 수행 가능하다.

실험 결과

연구 질문

• RQ1 ShEx에서 단일형식 의미론은 다중형식 의미론에 비해 표현력이 어떻게 다른가?
• RQ2 다중형식과 단일형식 ShEx 의미론 하에서 RDF 그래프 검증의 계산 복잡도는 어떻게 되는가?
• RQ3 ShEx 스키마에서 결정론성이 검증 복잡도를 감소시킬 수 있으며, 만약 그렇다면 어떤 조건에서 가능한가?
• RQ4 노드 형식이 사전 할당된 그래프 조각만 검증할 경우 효율적인 검증이 가능한가?
• RQ5 단일형식 의미론 하에서 결정론적 ShEx 스키마에 SORBE를 적용할 경우 단일 패assing 검증이 가능할 수 있는가?

주요 결과

• 단일형식 의미론은 더 세밀한 구조적 제약 조건을 허용하므로, 다중형식 의미론보다 엄밀히 더 강력한 표현력을 가진다.
• 다중 형식 할당에 대한 추론의 높은 계산 복잡도로 인해 단일형식 검증은 일반적으로 비결정론적이다.
• 다중형식 검증은 RBE의 작은 클래스에 대해서만 가능하지만, 결정론성과 SORBE가 적용되면 다항식 시간 내에 수행 가능해진다.
• 결정론적 ShEx 스키마에 SORBE를 사용할 경우, 다중형식 검증은 다항식 시간 내에 수행 가능하며, 그래프 조각에 대해서도 효율적으로 수행할 수 있다.
• 결정론적 SORBE 기반 스키마에 대해 단일형식 검증은 그래프를 한 번만 스캔하는 방식으로 수행 가능하므로 효율적인 처리가 가능하다.
• 결정론성과 SORBE의 도입은 검증의 계산 복잡도를 효과적으로 낮춰, ShEx를 실제 RDF 데이터에 적용 가능한 실용적인 도구로 만든다.