如何通过SHACL实现数据属性值的唯一性约束

你当前的ex:PersonShape仅约束了单个Person实例的ssn属性最多有1个值、格式符合要求，但并未检查全局范围内的唯一性——也就是不同Person不能共享同一ssn。要实现这个需求，有两种常见方案：

方案1：使用标准SHACL SPARQL约束（通用兼容） #

在现有Shape中添加一个sh:sparql约束，通过SPARQL查询排查所有重复的ssn值：

@prefix dash: <http://datashapes.org/dash#> .
@prefix ex: <http://example.com/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ex:PersonShape
    a sh:NodeShape ;
    sh:targetClass ex:Person ; 
    sh:property
        [
            sh:path ex:ssn ; 
            sh:maxCount 1 ;
            sh:datatype xsd:string ;
            sh:pattern "^\\d{3}-\\d{2}-\\d{4}$" ;
        ] ;
    # 全局SSN唯一性约束
    sh:sparql [
        sh:message "SSN必须唯一，不允许多个Person共享同一SSN" ;
        sh:select """
            SELECT $this ?ssn ?otherPerson
            WHERE {
                $this ex:ssn ?ssn .
                ?otherPerson ex:ssn ?ssn .
                FILTER ($this != ?otherPerson)
            }
        """ ;
    ] .

这个查询会找出所有拥有相同ssn的不同Person实例，只要存在这类情况，SHACL验证器就会抛出违例。

方案2：使用Data Shapes扩展的dash:uniqueValue（简洁但需工具支持） #

如果你的SHACL处理器支持Data Shapes Vocabulary（比如TopBraid工具链），可以用dash:uniqueValue属性直接实现，写法更简洁：

@prefix dash: <http://datashapes.org/dash#> .
@prefix ex: <http://example.com/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ex:PersonShape
    a sh:NodeShape ;
    sh:targetClass ex:Person ; 
    sh:property
        [
            sh:path ex:ssn ; 
            sh:maxCount 1 ;
            sh:datatype xsd:string ;
            sh:pattern "^\\d{3}-\\d{2}-\\d{4}$" ;
            dash:uniqueValue true ; # 开启全局唯一性检查
        ] .

注意：dash:uniqueValue不属于W3C标准SHACL规范，是扩展属性，使用前需确认工具兼容性。

添加上述任意一种约束后，你示例中Alice和Bob共享SSN的情况会被正确判定为无效。

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