SHACL для сравнения значений на двух разных узлах?

Я пытаюсь написать ограничение SHACL для сравнения дат, где дата начала должна быть меньше или равна дате окончания. Когда даты присоединяются к одному и тому же узлу с помощью предикатов :beginDate и :endDate, ограничение является прямым:

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

Модель реального мира более сложна. На прилагаемой диаграмме обратите внимание на то, как :AnimalSubjecthasReferenceInterval. IRI ReferenceInterval имеют :ReferenceBegin и :ReferenceEnd, которым, в свою очередь, присваивается значение даты с использованием предиката time:inXSDDate. Как я могу применить ограничение в этом случае, чтобы гарантировать, что значение ReferenceBegin равно или меньше значения ReferenceEnd? Это случай использования SHACL-SPARQL или sequencePath? Я не смог найти хороших примеров ни того, ни другого. Ваше здоровье! SHACL для сравнения значений на двух разных узлах?

Я проверил следующий 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 могут быть только простыми свойствами, а не путями.

Holger Knublauch 25.07.2019 01:51

Согласен, Хольгер. Я попробовал этот SHACL-SPARQL, но он не обнаруживает нарушения в записи, где я установил ReferenceBegin «2017-12-07» ​​и ReferenceEnd «2017-12-06». Я обновлю свой пост с SHACL-SPARQL.

Tim 25.07.2019 17:11
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
4
2
456
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 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 ))
        }""" ;
    

    Добавив это ограничение, я смог увидеть нарушение.

Другие вопросы по теме