Кратко

  • 24 сентября W3C выпустил RDF 1.2 Semantics как проект кандидатской рекомендации. В истории документа уже есть кандидатский снимок от 7 апреля; нынешняя публикация не означает ни первого появления механизма, ни окончательного стандарта.
  • RDF 1.2 добавляет термы-тройки. Спецификация различает обозначаемое ими высказывание, истинный в интерпретации факт и то, что сам граф утверждает. В наборе испытаний есть triple-term-not-asserted.
  • В открытом отчете о реализациях в разделе семантических испытаний пока не показаны результаты. Это неофициальный перечень поданных результатов, а не реестр всего существующего ПО. Для выхода из кандидатской стадии W3C требует успешного прохождения каждого теста двумя независимыми реализациями.

Архив фиксирует фразу подрядчика: «осмотр проведен до ввода объекта в эксплуатацию». Сам факт заявления может быть бесспорным, тогда как осмотр еще нуждается в проверке. Если другая система выдаст сокращенное «осмотр проведен» как установленное обстоятельство, она присвоит себе чужой вывод. Ошибка возможна даже при безупречно сформированном файле: она возникает на переходе от цитирования к собственному утверждению.

Датировка проекта требует аккуратности. По официальной истории W3C 7 апреля 2026 года вышел Candidate Recommendation Snapshot, а 24 сентября — Candidate Recommendation Draft. Разделение высказывания и факта присутствует и в апрельском тексте; представлять его сентябрьским изобретением нельзя. Новый проект остается рабочим и может меняться. W3C отдельно предупреждает, что выпуск кандидатской рекомендации не является одобрением организации и ее участников. Тем более он не удостоверяет поведение каждого продукта, заявляющего поддержку RDF 1.2.

Главное изменение по сравнению с RDF 1.1 — термы-тройки. Они позволяют сделать отношение предметом высказывания, например указать, кто его высказал или оспорил. Документ по семантике называет обозначаемое таким термом высказыванием; фактом — высказывание, которое выполняется в данной интерпретации; утверждения графа определяет по его собственным тройкам. Эти категории нельзя без проверки сливать в одну. Формальная семантика задает условия корректных RDF-выводов, но не устанавливает историческую правду рассказа очевидца и не исчерпывает общественный смысл идентификатора IRI.

Разница особенно важна в цепочке повторного использования. Данные об отклоненной гипотезе можно сохранить для аудита, а поисковый интерфейс вправе ее найти. Но если экспорт превратит упомянутое отношение в обычную утвержденную тройку, следующий механизм вывода получит основание, которого в исходном графе не было. Если автоматическое резюме не сохранит атрибуцию, читатель увидит от имени новой организации то, что было только чужой версией событий. Ни один из изученных документов не доказывает конкретный сбой такого рода: это проверяемый риск, а не сообщение об инциденте.

Набор тестов, связанный с проектом, явно включает triple-term-not-asserted. Открытый отчет перечисляет этот и другие семантические тесты, однако на момент просмотра не показывает в данном разделе ячеек с итогами. Отчет прямо ограничивает собственный статус: он внутренний, не выражает официального консенсуса W3C и не охватывает реализации, не приславшие данные. Пустая строка не означает провал испытаний или отсутствие работающего ПО. Но и ссылаться на нее как на публичное подтверждение двух независимых прошедших реализаций пока нельзя.

Практический вопрос для получателя данных звучит так: что произойдет, если в поданном графе спорное заявление существует только как цитируемое высказывание? Нужно отдельно проверить ответ поиска, результат логического вывода, выгрузку и текст для конечного читателя. Следует сохранить вход и показать, кто санкционировал возможное превращение упоминания в утверждение. Это редакционное предложение Daniel Kade, а не дополнительное требование W3C. Оно также не повторяет прежнюю тему SHACL о том, какое правило породило вывод: здесь проверяется, был ли исходный тезис вообще заявлен как факт.

Источники