15、RDF形状模式的语义与验证详解

RDF形状模式的语义与验证详解

1. 形状模式基础

形状模式（Shapes Schema）用于定义一组命名形状。形状描述了从特定节点开始访问的图结构，它可以涉及节点自身的值及其邻域。形状可以使用其他形状的布尔组合，并且可以是递归的。

形式上，一个形状模式 (S) 是一个对 ((L, def))，其中 (L) 是用作形状名称的形状标签集合，(def) 是一个将每个形状标签与一个形状表达式关联起来的函数。在示例中，我们用 (L →S) 作为 (def(L) = S) 的简写。

形状表达式

形状表达式（ShExpr）由两个原子组件（值描述和邻域描述）的布尔组合构成。
- 值描述（ValueDescr）：是一个集合，声明了节点的可接受值，该集合可以包含IRI、文字值和特殊常量 (b) 来表示节点可以是空白节点。
- 邻域描述（NeigDescr）：定义了节点的预期邻域，由三元组表达式（TExpr）给出。

形状表达式的语法如下：

ShExpr ::= ValueDescr | NeigDescr
         | ShapeAnd | ShapeOr
         | ShapeNot
ValueDescr ::= a subset of IRI ∪Lit ∪{ b}
NeigDescr ::= TExpr
ShapeAnd ::= ShExpr ‘AND’ ShExpr
ShapeOr ::= ShExpr ‘OR’ ShExpr
ShapeNot ::= ‘NOT’ ShExpr

三元组表