SHACL 比较两个不同节点上的值？

Question

我正在尝试为日期比较编写 SHACL 约束，其中开始日期必须小于或等于结束日期。:beginDate当使用和谓词将日期附加到同一节点时:endDate，约束是直接的：

:StartEndRuleShape a :PropertyShape  ;
  sh:path              :beginDate ;
  sh:lessThanOrEquals  :endDate ;
  sh:message "Begin Date is after End Date." .

现实世界的模型更为复杂。在附图中，请注意:AnimalSubject hasReferenceInterval. ReferenceInterval IRI 具有 a:ReferenceBegin和 a :ReferenceEnd，它们依次使用time:inXSDDate谓词分配日期值。在这种情况下，如何应用约束以确保 ReferenceBegin 值等于或小于 ReferenceEnd 值？这是使用 SHACL-SPARQL 或 sequencePath 的情况吗？我一直找不到任何一个好的例子。干杯!

我对违反约束的数据测试了以下 SHACL-SPARQL：ReferenceBegin = "2016-12-07", ReferenceEnd = "2016-12-06"，但验证报告未检测到违规。如果我单独运行 SPARQL，它会挑选出观察结果。有什么想法吗？我正在使用 Stardog/Stardog Studio，并且还在他们的用户支持平台上发布了信息。

@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh:  <http://www.w3.org/ns/shacl#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix :     <http://foo.bar.org/> .

:IntervalShape a sh:NodeShape ;
 sh:targetClass :ReferenceInterval ;
 sh:sparql [
  a sh:SPARQLConstraint ;
  sh:message "End Date must be greater than or equal to Begin Date";
  sh:prefixes [
    sh:declare [
      sh:prefix "time" ;
      sh:namespace "http://www.w3.org/2006/time#"^^xsd:anyURI ;
    ] 
  ] ;
 sh:select
  """SELECT $this (?beginDate AS ?intervalStart) (?endDate AS ?intervalEnd)
    WHERE {
      $this     :hasReferenceInterval ?interval .
      ?interval :ReferenceBegin       ?beginIRI ;
                :ReferenceEnd         ?endIRI .
      ?beginIRI time:inXSDDate        ?beginDate .
      ?endIRI   time:inXSDDate        ?endDate .
      FILTER  (! (?endDate >= ?beginDate ))
    }""" ;
] .

Answer 1

看来您的约束有两个问题：

1. 您time在 SHACL 中声明了前缀，但没有base声明前缀。你要：

   sh:prefixes [
       sh:declare [
         sh:prefix "time" ;
         sh:namespace "http://www.w3.org/2006/time#"^^xsd:anyURI ;
       ], [
         sh:prefix "" ;
         sh:namespace "http://foo.bar.org/"^^xsd:anyURI ;
       ]
     ] ;
   

2. 您的焦点节点是:ReferenceInterval，但是您的查询的编写方式$this将仅绑定到 的实体:hasReferenceInterval [a :ReferenceInterval]。我重写了查询，?interval现在$this如下：

   sh:select
     """SELECT $this (?beginDate AS ?intervalStart) (?endDate AS ?intervalEnd)
       WHERE {
         $this     :ReferenceBegin       ?beginIRI ;
                   :ReferenceEnd         ?endIRI .
         ?beginIRI time:inXSDDate        ?beginDate .
         ?endIRI   time:inXSDDate        ?endDate .
         FILTER  (! (?endDate >= ?beginDate ))
       }""" ;
   

   添加此约束后，我能够看到违规行为。