SHACL值验证：基于约束类允许值的属性值校验问题

问题背景 #

现有如下RDF三元组，描述了属性及对应的约束类，约束类定义了该属性的允许值集合：

TestAttribute rdf:type :Attribute ;
               :hasConstraint :TestNomConstraint ,
               :hasAttributeValue "green" .

:TestNomConstraint rdf:type :NominalScaledConstraint ;
                   :hasAllowedValue "blue" ,
                                    "red" ,
                                    "yellow" .

需求是创建SHACL形状，验证:hasAttributeValue的值是否属于对应:NominalScaledConstraint实例的:hasAllowedValue集合。尝试的SHACL代码如下：

:NominalScaledConstraintShape
    a sh:PropertyShape ;
    sh:targetClass :NominalScaledConstraint ;
    sh:property [
        sh:path ([sh:inversePath :hasConstraint] :hasAttributeValue);
        sh:in (sh:path :hasRequiredValueNominal);
        #sh:in ("red")
    ] ;
.

直接使用sh:in("red")这类固定值写法时形状可正常工作，但尝试用sh:path动态读取对应约束的允许值时，验证无法正确执行。

提出两个问题：

1. 是否无法在sh:in中使用sh:path？
2. 若不可行，该用例有哪些可行的替代方案？

回答 #

问题1：能否在sh:in中使用sh:path？ #

不行。根据SHACL规范，sh:in的取值只能是具体的节点列表（如字面量、IRI）或者引用sh:NodeList实例，不支持通过sh:path动态引用其他属性的值。你尝试的写法不符合SHACL语法规则，因此无法被验证器正确解析。

问题2：可行替代方案 #

以下是两种适配该场景的方案：

方案1：调整数据模型，使用sh:datatype配合sh:enum

如果允许修改现有数据结构，可以将:hasAllowedValue替换为sh:enum，让约束类关联自定义数据类型，再通过路径引用该类型的枚举值：

# 定义带枚举的自定义数据类型
:NominalColor a rdfs:Datatype ;
    sh:enum ("blue" "red" "yellow") .

:TestNomConstraint rdf:type :NominalScaledConstraint ;
    :hasDatatype :NominalColor .

# SHACL验证形状
:AttributeShape
    a sh:PropertyShape ;
    sh:targetClass :Attribute ;
    sh:path :hasAttributeValue ;
    sh:datatype [ sh:inversePath :hasConstraint / :hasDatatype ] ;
.

该方案利用sh:datatype支持路径引用的特性，间接实现动态枚举验证。

方案2：使用sh:sparql约束（无需修改现有数据模型）

编写SPARQL查询直接验证属性值是否在对应约束的允许值集合中，这是最灵活的方案，完全适配现有数据结构：

:AttributeNominalConstraintShape
    a sh:NodeShape ;
    sh:targetClass :Attribute ;
    sh:sparql [
        sh:message "属性值不在约束允许的集合中" ;
        sh:select """
            SELECT $this
            WHERE {
                $this :hasConstraint ?constraint .
                ?constraint a :NominalScaledConstraint .
                $this :hasAttributeValue ?value .
                FILTER NOT EXISTS {
                    ?constraint :hasAllowedValue ?value .
                }
            }
        """ ;
    ] ;
.

这个查询会找出所有:Attribute实例中，:hasAttributeValue不在关联:NominalScaledConstraint的:hasAllowedValue集合里的情况，触发验证错误。

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