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具有: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. 您在SHACL中声明time前缀，但不在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 )) }""" ; 

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