如何使用SHACL约束验证rdf:Seq(rdf:Container)容器成员数据

核心逻辑 #

所有rdf:_1、rdf:_2……这类Seq容器成员谓词，在RDF规范中明确定义属于rdfs:ContainerMembershipProperty类型，无需通过正则匹配谓词URI、也无需提前预知Seq元素总数，直接基于RDF语义即可匹配所有合法成员谓词，实现“仅校验容器成员属性对应值、忽略其他谓词”的逻辑。 #

方案1：纯SHACL核心实现（依赖RDFS推理） #

RDF语义规定所有容器成员属性都是rdfs:member的子属性，只要SHACL校验引擎开启RDFS子属性推理，直接将成员路径指定为rdfs:member即可覆盖任意序号的Seq成员，形状示例如下：

@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix schema: <http://schema.org/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ex: <http://example.org/ns#> .

ex:IncomingNodeShape a sh:NodeShape ;
  sh:targetNode <incoming node> ;
  sh:property [
    sh:path schema:colors ;
    sh:node ex:ColorSeqShape ;
  ] .

ex:ColorSeqShape a sh:NodeShape ;
  sh:class rdf:Seq ;
  sh:property [
    sh:path rdfs:member ;
    sh:in ("Red" "Blue" "Green") ;
  ] .

注意：该方案必须开启RDFS推理才能生效，未开启推理时引擎无法自动将rdf:_n谓词关联到rdfs:member。

方案2：通用兼容实现（无推理依赖，支持绝大多数SHACL引擎） #

如果无法开启RDFS推理，可通过SHACL标准支持的SPARQL路径直接匹配所有rdfs:ContainerMembershipProperty类型的谓词，无需枚举序号、无需正则匹配，兼容pySHACL、Apache Jena SHACL、TopBraid SHACL等主流实现，形状示例如下：

@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix schema: <http://schema.org/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ex: <http://example.org/ns#> .

ex:IncomingNodeShape a sh:NodeShape ;
  sh:targetNode <incoming node> ;
  sh:property [
    sh:path schema:colors ;
    sh:node ex:ColorSeqShape ;
  ] .

ex:ColorSeqShape a sh:NodeShape ;
  sh:class rdf:Seq ;
  sh:property [
    sh:path [
      sh:sparqlPath """
        PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
        SELECT ?val WHERE {
          $this ?pred ?val .
          ?pred a rdfs:ContainerMembershipProperty .
        }
      """
    ] ;
    sh:in ("Red" "Blue" "Green") ;
  ] .

该方案完全匹配需求：

• 自动覆盖任意序号的rdf:_n成员谓词，不受Seq元素总数限制
• 仅对容器成员属性的取值做校验，其他非成员谓词直接跳过
• 针对给出的示例数据，会准确检出rdf:_3对应值"Yello"不在合法值集合内的错误

注意事项 #

• 不建议使用正则匹配谓词URI的非标准扩展：部分引擎支持通过sh:pattern匹配谓词，但不属于SHACL标准规范，跨引擎兼容性差，也违背RDF语义建模的基本原则
• 如果需要追加校验Seq序号连续性、元素总数量等规则，可基于上述SPARQL路径扩展对应约束即可

内容的提问来源于stack exchange，提问作者Shri