為什么這個 SHACL 驗證沒有按預期工作？

Question

這是我的 shacl.ttl：

@prefix ex: <http://datashapes.org/sh/tests/core/path/path-sequence-003.test#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

ex:paintNodeShape
  rdf:type sh:NodeShape ;
  sh:property ex:ColorProperty ;
  sh:targetNode ex:John .

ex:ColorProperty
  rdf:type sh:PropertyShape ;
  sh:qualifiedValueShape [  
      sh:path (ex:paint  ex:ballColor ) ;
      sh:hasValue "Red" ;
     ] ;
  sh:qualifiedMinCount 2 .

這是 data.ttl：

@prefix ex: <http://datashapes.org/sh/tests/core/path/path-sequence-003.test#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .

ex:John
  ex:paint [ ex:ballColor "Red"] ;
  ex:paint [ ex:ballColor "Red"] ;
  ex:paint [ ex:ballColor "Blue"] .

我想驗證約翰至少把兩個球塗成紅色，給出的數據應該符合要求。 但我收到一條錯誤消息：“小於 2 個值的形狀為 _:22728aa9248d56603d8c20009b9d6742”。 我的序列路徑有問題嗎？ 非常感謝你的幫助！

Answer 1

您的形狀定義與sh:qualifiedValueShape的 SHACL 示例的方式略有不同。 我相信屬性形狀可能需要sh:path ex:paint才能真正匹配屬性，如下所示：

ex:ColorProperty
  rdf:type sh:PropertyShape ;
  sh:path ex:paint ;
  sh:qualifiedValueShape [  
      sh:path ex:ballColor ;
      sh:hasValue "Red" ;
     ] ;
  sh:qualifiedMinCount 2 .

這應該代表ex:paint屬性值的形狀。