RDF 形状模式的形式语义与验证
数据库
2017-09-20 v3
摘要
我们提出了形状模式 (shapes schemas) 的形式语义和健全性证明，这是一种用于 RDF 图的表达性模式语言，也是 Shape Expressions Language 2.0 的基础。它可用于描述 RDF 图的词汇和结构，并约束图中节点允许的属性和值。该语言定义了一种称为“形状”(shapes) 的类型检查机制，可用于检查图的节点。它包括代数分组运算符、选择运算符以及针对属性允许出现次数的基数约束。形状可以使用布尔运算符组合，并可以使用对其他形状的潜在递归引用。我们描述了该语言的语法并定义了其语义。证明表明，对于满足合理语法限制（即分层的否定和递归使用）的模式，其语义是良定义的。我们提出了两种针对形状模式验证 RDF 图的算法。第一种算法是语义的直接实现，而第二种则是非平凡的改进。我们还简要给出了实现指南。
引用
@article{arxiv.1404.1270,
title = {Semantics and Validation of Shapes Schemas for RDF},
author = {Iovka Boneva and Jose Emilio Labra Gayo and Eric G. Prud'hommeau},
journal= {arXiv preprint arXiv:1404.1270},
year = {2017}
}