Shape Expressions 模式
数据库
2015-11-17 v2
摘要
我们提出 Shape Expressions (ShEx)，一种为 RDF 设计的富有表现力的模式语言，旨在提供高级、用户友好的语法与直观的语义。ShEx 允许描述 RDF 图的词汇和结构，并约束节点属性的允许值。它包括代数分组算子、选择算子、属性允许出现次数的基数约束以及否定。我们定义该语言的语义并用示例加以说明。然后我们提出一种验证算法，给定 RDF 图中的节点和 ShEx 模式定义的约束，可检查该节点是否满足该约束。该算法输出一个证明，其中包含可平凡验证的节点与它们满足的约束的关联。该结构可用于复杂的后处理任务，例如将 RDF 图转换为其他图或树结构、验证更复杂的约束或（相对于模式）调试。我们还展示了 ShEx 错误识别的固有难度。
引用
@article{arxiv.1510.05555,
title = {Shape Expressions Schemas},
author = {Iovka Boneva and Jose E. Labra Gayo and Eric G. Prud'hommeaux and Sławek Staworko},
journal= {arXiv preprint arXiv:1510.05555},
year = {2015}
}