如何确保GraphDB中SHACL的sh:minCount约束生效？

场景说明 #

本问题已解决，文末会说明对SHACL验证实际问题的最终理解。下方代码未做修改，包含emiliyan指出的语法错误。

原使用场景：基于RDF4J 5.1.4-jakarta的GraphDB 11.1.1，仓库已配置SHACL验证引擎。

预期结果 #

当数据缺失必填属性时，SHACL验证应失败，阻止该数据插入仓库。

问题现象 #

尽管仓库配置看似正确，但出现不符合预期的情况：

• 提交符合要求的有效数据，验证正常通过（符合预期）；
• 提交属性值类型错误的数据，验证失败（符合预期）；
• 提交缺失必填属性的数据，验证却意外通过（不符合预期）。

配置与测试代码 #

以下是仓库配置TTL、SHACL形状定义及测试用RDF数据（注意SHACL形状定义中存在sh:minCount: 1的语法错误）：

仓库配置（repo.ttl） #

# repo.ttl
#
# RDF4J configuration template for a GraphDB repository with SHACL
#
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rep: <http://www.openrdf.org/config/repository#>.
@prefix sr: <http://www.openrdf.org/config/repository/sail#>.
@prefix sail: <http://www.openrdf.org/config/sail#>.
@prefix graphdb: <http://www.ontotext.com/config/graphdb#>.
@prefix shacl: <http://rdf4j.org/config/sail/shacl#>.


[] a rep:Repository ;
    rep:repositoryID "foo" ;
    rdfs:label "" ;
    rep:repositoryImpl [
        rep:repositoryType "graphdb:SailRepository" ;
        sr:sailImpl [
            sail:sailType "rdf4j:ShaclSail";

            sail:delegate [
                sail:sailType "graphdb:Sail" ;

                graphdb:read-only "false" ;

                # Inference and Validation
                graphdb:ruleset "rdfsplus-optimized" ;
                graphdb:disable-sameAs "true" ;
                graphdb:check-for-inconsistencies "false" ;

                # Indexing
                graphdb:entity-id-size "32" ;
                graphdb:enable-context-index "false" ;
                graphdb:enablePredicateList "true" ;
                graphdb:enable-fts-index "false" ;
                graphdb:fts-indexes ("default" "iri") ;
                graphdb:fts-string-literals-index "default" ;
                graphdb:fts-iris-index "none" ;

                # Queries and Updates
                graphdb:query-timeout "0" ;
                graphdb:throw-QueryEvaluationException-on-timeout "false" ;
                graphdb:query-limit-results "0" ;

                # Settable in the file but otherwise hidden in the UI and in the RDF4J console
                graphdb:base-URL "http://example.org/owlim#" ;
                graphdb:defaultNS "" ;
                graphdb:imports "" ;
                graphdb:repository-type "file-repository" ;
                graphdb:storage-folder "storage" ;
                graphdb:entity-index-size "10000000" ;
                graphdb:in-memory-literal-properties "true" ;
                graphdb:enable-literal-index "true" ;
            ] ;


            # Settable in the UI and in the RDF4J console
            shacl:cacheSelectNodes "true" ;
            shacl:dashDataShapes "true" ;
            shacl:logValidationPlans "true" ;
            shacl:logValidationViolations "true" ;
            shacl:parallelValidation "true" ;
            shacl:globalLogValidationExecution "true" ;
            shacl:performanceLogging "true" ;
            shacl:eclipseRdf4jShaclExtensions "true" ;
            shacl:validationResultsLimitTotal "1000000" ;
            shacl:validationResultsLimitPerConstraint "1000" ;
            shacl:shapesGraph <http://rdf4j.org/schema/rdf4j#SHACLShapeGraph> ;

            # Settable in the file but otherwise hidden in the UI and in the RDF4J console
            shacl:validationEnabled "true" ;
            shacl:rdfsSubClassReasoning "true" ;
            shacl:transactionalValidationLimit "500000" ;
        ]
    ].

SHACL形状定义 #

prefix ex: <http://example.com/ns#>
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:age ;
        sh:minCount: 1 ;
        sh:datatype xsd:integer ;
] .

测试用RDF数据 #

有效数据（验证通过）

# 有效数据，验证通过
prefix ex: <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

ex:Alice
  rdf:type ex:Person ;
  ex:age 12 ;
.

错误值数据（验证失败）

# 错误值数据，验证失败
prefix ex: <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

ex:Bob
  rdf:type ex:Person ;
  ex:age "old" ;
.

缺失必填属性数据（预期失败但实际通过）

# 缺失必填属性，预期失败但实际通过
prefix ex: <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

ex:FooBar
  rdf:type ex:Person ;
.

最终理解 #

最初测试时犯了一个错误：先插入了包含合法属性的ex:Alice数据，后续再次插入仅声明类型的ex:Alice数据时，由于该URI在仓库中已有完整的合法数据，SHACL验证针对整个资源状态进行检查，因此验证通过。

正确的测试方式是使用唯一标识（例如包含UUID的URI）来测试新数据的约束是否生效，示例如下：

prefix id: <http://example.com/id/> .
prefix ex: <http://example.com/ns#>
prefix xsd: <http://www.w3.org/2001/XMLSchema#>

id:person/3ac1a8f6-2a2e-4a41-8a2a-8a2b6f9a9e2b 
  a ex:Person ;
  ex:age 12 ;
.

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