Apr, 2014

针对 RDF 的形状模式的语义和验证

TL;DR本文介绍了一个用于描述 RDF 图的词汇和结构,并限制节点的允许属性和值的表达式语言 Shape Expressions Language 2.0 中的 shapes schemas,定义了其语法和语义,并证明了允许负数和递归调用的模式符合合理的语法限制。作者展示了两个算法用于 RDF 图的验证,并提出了一些实现指南。