[论文解读] RDF Validation Requirements - Evaluation and Logical Underpinning

Thomas Bosch, Andreas Nölle+2 more|arXiv (Cornell University)|Jan 16, 2015

Semantic Web and Ontologies参考文献 2被引用 8

一句话总结

本文针对74项RDF验证需求，评估了五种主流RDF约束语言——DSP、OWL 2、ReSh、ShEx和SPIN——的表现，表明大多数约束可被逻辑映射至描述逻辑（DL）以获得形式化基础。本文提出了RDF约束本体（RDF-CO），一种通用框架，支持在不同语言间无损转换约束，并实现语义等价约束的统一验证。

ABSTRACT

There are many case studies for which the formulation of RDF constraints and the validation of RDF data conforming to these constraint is very important. As a part of the collaboration with the W3C and the DCMI working groups on RDF validation, we identified major RDF validation requirements and initiated an RDF validation requirements database which is available to contribute at http://purl.org/net/rdf-validation. The purpose of this database is to collaboratively collect case studies, use cases, requirements, and solutions regarding RDF validation. Although, there are multiple constraint languages which can be used to formulate RDF constraints (associated with these requirements), there is no standard way to formulate them. This paper serves to evaluate to which extend each requirement is satisfied by each of these constraint languages. We take reasoning into account as an important pre-validation step and therefore map constraints to DL in order to show that each constraint can be mapped to an ontology describing RDF constraints generically.

研究动机与目标

• 从真实世界用例中识别并系统分类RDF验证需求。
• 评估五种主流RDF约束语言（DSP、OWL 2、ReSh、ShEx、SPIN）在这些需求上的表达能力。
• 开发一种通用且具有逻辑基础的本体（RDF-CO），用于无信息损失地表达任意RDF约束。
• 证明可表达于描述逻辑（DL）的约束可被正式映射至本体，而不可表达于DL的约束仍可在RDF-CO中表示。
• 通过通用本体实现不同约束语言间语义等价约束的统一验证。

提出的方法

• 从普遍性、复杂性、上下文和DL表达能力四个维度对74项RDF验证需求进行分类。
• 将每项需求映射至一种RDF约束类型，并评估其在五种约束语言中的可表达性。
• 区分OWL 2 QL与OWL 2 DL的表达能力，以评估逻辑严谨性与推理支持。
• 设计RDF约束本体（RDF-CO），包含三个类、三个对象属性和三个数据属性，以通用方式表示任意RDF约束。
• 当约束可表达于DL时，将其映射至DL（以获得逻辑基础）；否则映射至RDF-CO，确保全面覆盖。
• 使用SPARQL查询与形式逻辑验证映射的正确性与完备性。

实验结果

研究问题

• RQ1 五种最主流的RDF约束语言（DSP、OWL 2、ReSh、ShEx、SPIN）在在多大程度上能够表达74项已识别的RDF验证需求？
• RQ2 哪些约束可表达于描述逻辑（DL），哪些不可？如何对两者进行统一表示？
• RQ3 通用本体（RDF-CO）能否作为不同RDF约束语言之间无损转换的抽象层？
• RQ4 通过DL进行推理与预验证如何提升RDF约束验证的可靠性与一致性？
• RQ5 上下文相关约束（如语言标签、字符串操作、集合）在验证流程中扮演何种角色？

主要发现

• 74项RDF验证需求中的大多数可表达于描述逻辑（DL），从而支持形式化推理与逻辑基础化。
• 无法表达于DL的约束（如IRI模式匹配、字符串操作、基于SPARQL的验证）仍可在RDF-CO中无信息损失地表示。
• RDF约束本体（RDF-CO）成功泛化了所有约束类型，支持在不同具体约束语言间无语义损失地转换。
• 以RDF-CO通用形式表达的约束，其验证结果在所有源约束语言中保持一致。
• 评估结果表明，OWL 2 QL足以满足多数需求，但涉及全称量化与复杂角色层次的复杂约束仍需OWL 2 DL。
• 该框架实现了语义等价约束在不同语言间的开箱即用验证，减少了冗余并提升了互操作性。