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

【问题标题】：SHACL to compare values on two different nodes?SHACL 比较两个不同节点上的值？
【发布时间】：2019-07-23 17:13:17
【问题描述】：

我正在尝试为开始日期必须小于或等于结束日期的日期比较编写 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 和一个: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 ))
    }""" ;
] .

【问题讨论】：

不是一个完整的回应，但这对我来说听起来像 SHACL-SPARQL。即使值可以通过路径表达式达到，sh:lessThanOrEquals 的值也只能是简单属性，不能是路径。
我同意，霍尔格。我尝试了这个 SHACL-SPARQL，但它没有在我设置“2017-12-07”的 ReferenceBegin 和“2017-12-06”的 ReferenceEnd 的记录中检测到违规。我将使用 SHACL-SPARQL 更新我的帖子。

标签： rdf shacl

【解决方案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 ;
    ]
  ] ;

您的焦点节点是: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 ))
    }""" ;

添加这个约束，我可以看到违规。

【讨论】：