Summary

  • Рабочая группа Data Shapes опубликовала 17 сентября 2026 года первый публичный проект SHACL 1.2 Inference Rules. Похожий первый проект SHACL 1.2 Rules вышел ещё в декабре 2025 года.
  • Спецификация различает базовый граф и граф вывода. Свойство sh:sourceRule может указать правило, создавшее триплет, но движок не обязан формировать такую запись во всех случаях.
  • Статус первого публичного проекта не означает одобрения W3C или его участников. Даже прохождение всего набора тестов не доказывает полное соответствие спецификации.

Один и тот же RDF-триплет может пройти две разные биографии. Сначала он мог быть внесён по документированному источнику. Или появился после применения правила к данным, которые завтра обновятся. Если обе записи попадают в одну витрину, последующий пользователь получает одинаковый синтаксис и легко теряет существенное различие в основании утверждения.

Именно для второго пути W3C 17 сентября выпустил документ с названием SHACL 1.2 Inference Rules. Он описывает вывод новых триплетов из существующих, отдельно от задач проверки данных, на которых сосредоточено ядро SHACL. Но история началась раньше: первый публичный проект SHACL 1.2 Rules был объявлен 9 декабря 2025 года. Нынешняя публикация — новая стадия названного документа, а не рождение самого механизма.

В модели исполнения исходные данные составляют базовый граф, а созданные правилами записи — граф вывода. Объединённый оценочный граф доступен при работе правил. Правила могут исполняться по слоям и в заданном порядке, повторяться, а временные триплеты — помогать промежуточному расчёту и удаляться после него. Финальный файл поэтому не равен протоколу всех шагов, которые привели к его содержимому.

Что даёт необязательная ссылка на правило

Раздел 9 описывает дополнительную запись, связывающую выведенный триплет с породившим его правилом через sh:sourceRule. Формулировка MAY означает возможность для движка, не всеобщую обязанность. Если такие записи создаются, работающие правила не должны их видеть: метаданные о вычислении не должны вмешиваться в само вычисление.

Даже сохранённое имя правила — лишь часть доказательной цепочки. Из него нельзя автоматически узнать версию входного графа, набор правил, ограничения движка, результат проверки завершения или лицо, решившее использовать вывод. Эти сведения может требовать конкретное применение. Мы не сообщаем о сбое известного продукта; речь о границе между факультативной функцией стандарта и последствиями чужого решения.

Проект требует сигнализировать об ошибке, если встретился тип правила, который движок не умеет исполнять. Он также разрешает прекращать работу при достижении настроенного предела итераций или числа новых триплетов. Раздел о безопасности предупреждает о расходе вычислительных ресурсов и памяти, а также о возможности создавать произвольные прикладные данные. Частичный результат нельзя без оговорок выдавать за завершённый расчёт.

Сам документ ещё меняется. Первый публичный проект находится на пути к Рекомендации, но не является ею и, как прямо отмечает W3C, не означает одобрения консорциума или его участников. Набор тестов подтверждает только проверенные свойства. Идея Lu Heng о приоритете работающего кода помогает редакционно отличать текст процедуры от воспроизводимого поведения; она не служит источником фактов о внедрении SHACL.

Sources