Кратко

  • W3C Dataset Exchange Working Group опубликовала The Profiles Vocabulary как First Public Working Draft 20 августа 2026 года. Документ идёт по Recommendation track, но не является Recommendation или стандартом, одобренным W3C.
  • HTML-версия задаёт цепочку свойств: соответствие ресурса профилю может породить соответствие спецификации, которую этот профиль профилирует. При этом значение и способ проверки соответствия определяют отдельные сообщества.
  • В июне порядок двух свойств исправили. Другая открытая issue по-прежнему помечает аксиому at risk, а её текст, встроенный в проект, всё ещё показывает старый обратный порядок.
  • Датированный RDF Turtle при проверке не содержал объявления owl:propertyChainAxiom. Implementation Report перечисляет примеры, однако таблица доказательств для каждого элемента сохраняет заполнители xx.
  • Открытая issue Data Shapes приводит контрпример неполной проверки. Перед использованием наследуемой связи в закупке, сертификации или автоматическом правиле нужен паспорт с версиями, полномочиями, тестами, конфигурацией вывода и типом результата.

Профиль — это зафиксированный выбор сообщества

Широкая спецификация редко диктует единственный способ реализации. Государство, отрасль или научная область отбирают варианты, добавляют ограничения, соединяют модели или публикуют руководство. Так появляется профиль — самостоятельный набор решений о том, как применять исходный стандарт.

PROF делает эту конструкцию машиночитаемой. prof:isProfileOf связывает профиль со спецификацией или другим профилем. Resource Descriptors перечисляют сопровождающие материалы и их роли: constraints, validation, schema, vocabulary, guidance, mapping, example, specification. Сообщества могут расширять словарь ролей.

Клиент получает не только название профиля, но и путь к валидатору, схеме или инструкции. Дальше проект предлагает логическое наследование. В HTML опубликована формула:

dct:conformsTo owl:propertyChainAxiom ( dct:conformsTo prof:isProfileOf )

Машина идёт от ресурса по dct:conformsTo к профилю, затем по prof:isProfileOf к родительской спецификации и добавляет новую связь dct:conformsTo. Каталогу или агенту не приходится каждый раз обходить иерархию.

Но статус документа нельзя отбрасывать. FPWD — первая публичная версия Working Draft. W3C описывает такой документ как незавершённый материал для рецензирования и исторической фиксации. Группа согласилась опубликовать его, однако W3C и Members не одобрили его как стандарт.

Вывод отношения не равен определению доказательства

Рядом с аксиомой проект оставляет сообществам право определять, что означает соответствие их профилям и профилируемым объектам и как оно проверяется. Общий predicate не создаёт общего уровня уверенности.

Логический вывод может быть полностью воспроизводимым. Если две дуги и аксиома загружены, reasoner либо создаёт triple, либо нет. Но первая дуга может исходить из полного тестирования, ограниченного набора SHACL shapes, самоутверждения издателя или описательных metadata. Точность второго шага не повышает полноту первого.

Раздел о null profiles объясняет это на практике. Такой профиль должен дать механизм проверки спецификации, у которой его нет. Однако универсального точного метода построения не существует, поскольку исходные правила сами могут быть неточными. Перевод текста или OWL-модели в shapes требует интерпретации и решения о покрытии.

Иерархия также разделена на прямую и транзитивную. prof:isProfileOf фиксирует прямую заявленную связь. prof:isTransitiveProfileOf позволяет вывести более далёких предков, чтобы клиент не обходил всю цепь. При использовании этого удобства релевантные отношения должны быть полными, но проект не определяет единый способ реализации соответствующих inferences.

Для управления нужно различать утверждение издателя, выведенный RDF triple, результат validator, сертификацию и юридическое решение. Они могут использовать одно слово, но несут разные полномочия.

Исправили направление, но не решили судьбу аксиомы

Issue 58 обнаружила, что прежняя запись ставила свойства в обратном порядке. Commit в июне исправил введение, пример, таблицу определения и список at-risk: сначала dct:conformsTo, затем prof:isProfileOf. Issue закрылась 26 июня.

Issue 29 осталась открытой. Она ставит другой вопрос — включать ли аксиому в PROF вообще — и сохраняет label at-risk. Майские комментарии связывают её с полнотой null profiles и контрпримером в репозитории Data Shapes.

Поэтому страница от 20 августа показывает два состояния. Основной текст, пример, таблица свойства и приложение используют исправленную цепь. Автоматически вставленный блок Issue 29 цитирует старый порядок. Человек может проверить историю commits; система, извлекающая отдельный фрагмент, может не понять, какой из них актуален.

Приложение Features at risk перечисляет классы, свойства, роли и аксиому как функции, ожидающие implementation evidence. Это не решение об удалении. Это открытый запрос на интероперабельные реализации и повторяемые результаты до следующей ступени процесса.

Человеческая спецификация и исполняемый артефакт расходятся

В новости W3C датированный prof.ttl назван RDF Turtle-представлением OWL-словаря. Реализация может сохранить его hash и загрузить без интерпретации HTML.

В файле от 20 августа prof:isProfileOf определено как object property и subproperty для prof:isTransitiveProfileOf. Usage notes говорят о наследовании ограничений и транзитивном замыкании иерархии. Но объявления owl:propertyChainAxiom при проверке не было. В HTML оно присутствует во введении, примере и таблице dct:conformsTo.

По одному отсутствию нельзя установить намерение. Возможно, аксиому сознательно не включили в основной RDF, пока она at risk; раздел RDF допускает дополнительные артефакты с аксиомами. Однако публичные поверхности не объясняют однозначно, обязательна ли HTML-формула, опциональна, экспериментальна или просто не синхронизирована.

Это влияет на выполнение. Одна команда добавит аксиому вручную из HTML. Другая загрузит только датированный Turtle и не получит наследуемую связь. Третья возьмёт живой namespace в другой день. Все назовут систему PROF, но получат разные графы.

Управление не обязано заранее выбирать технический ответ. Оно обязано синхронизировать текст, файл, issue status и тесты — либо явно обозначить намеренное различие между ними.

Список реализаций ещё не является доказательством по функциям

FPWD считает conceptual model, vocabulary specification и Test Suite appendix нормативными для compliance. Приложение описывает SHACL templates и инструкции. Отдельный Implementation Report называет пять примеров и объединяет их в три заявленные независимые группы.

Cheka описана как Python-система, которая поднимается по иерархии и собирает валидаторы профиля и предков. Упомянуты LOCI ontology, руководство ODRL, иерархия OGC и каталог устойчивых URI. Практические сигналы существуют.

Однако таблица “Implementation claims per Vocabulary Element” всё ещё содержит xx вместо элемента, label, implementer и ссылки. Отображаемый адрес репозитория tests при проверке возвращал 404, хотя каталог testsuite есть в branch gh-pages. Это не доказывает отсутствия тестов. Это показывает, что публичная страница ещё не связывает каждую at-risk feature с независимой реализацией и воспроизводимым результатом.

Активная charter задаёт критерий. Переиздание PROF на Rec track — tentative deliverable. Для продвижения дальше Candidate Recommendation ожидаются минимум две независимые интероперабельные реализации каждой нормативной функции, проверенные открытыми тестами. Test plans должны появляться рано, а Data Shapes указан для координации. Мандат группы действует до апреля 2028 года; незаполненная матрица — план работы, а не окончательный провал.

Контрпример отделяет корректность от полноты

Data Shapes Issue 882 строит случай, где shapes graph правильно проверяет часть OWL-спецификации. Данные проходят все имеющиеся shapes. Но пропущенное правило родительской модели после entailment приводит к принадлежности одного объекта двум disjoint classes.

Validator sound в пределах выполненных проверок и incomplete относительно родителя. Если цепочка автоматически превращает pass профиля в соответствие стандарту, заключение выходит за границы теста.

Это открытая issue, не решение Working Group. Она не утверждает, что любое наследование ошибочно. Она формулирует условие, которое можно проверить: какая полнота нужна, чтобы локальный результат поддерживал соответствие родительской спецификации?

Можно потребовать полного validator, разделить описательный профиль и tested conformance, сузить аксиому, обязать указывать entailment и coverage или оставить модуль сообществам. Выбранная политика не должна быть скрыта от потребителя.

Паспорт унаследованного соответствия

Паспорт начинается с точной идентификации: версия и hash профиля, версия родителя, прямые связи prof:isProfileOf, загруженный RDF-артефакт и реально активные аксиомы. Названия без дат недостаточно.

Затем указываются субъект, определивший соответствие, и цель; constraints, validators, schemas, guidance и mappings по ролям; reasoner, validation engine, entailment regime и configuration; версия test suite, coverage каждой feature, ограничения, контрпримеры, независимые реализации, открытые issues, дата и trigger для повторной проверки.

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

Через призму principal-agent Heng Lu видно, что техническими агентами выступают не только органы стандартизации. Сообщество профиля, разработчик инструмента и automated reasoner тоже осуществляют делегированную власть. Principal не может оценить мандат, если результат скрывает автора правила, исполненный артефакт и того, кто превратил вывод в решение.

Чего источники не доказывают

FPWD не является Recommendation, и судьба аксиомы неизвестна. Её отсутствие в Turtle не доказывает ошибку или намерение; оно фиксирует наблюдаемое различие между HTML и RDF.

Report называет реальные реализации. Заполнители не означают, что реализаций нет, а неработающая ссылка не означает отсутствие tests. Контрпример — вклад в обсуждение, не консенсус W3C. Ни один implementer не обвиняется здесь в ложном заявлении.

Паспорт — рекомендация Daniel Kade по governance, а не требование, сертификация или техническое решение W3C.

Источники

  1. W3C News — First Public Working Draft: The Profiles Vocabulary
  2. W3C — The Profiles Vocabulary, FPWD от 20 августа 2026 года
  3. W3C — Датированный RDF Turtle-артефакт PROF
  4. W3C — История публикаций The Profiles Vocabulary
  5. Репозиторий W3C DXWG — Issue 29: conformsTo axiom at risk
  6. Репозиторий W3C DXWG — Issue 58: исправление property chain
  7. Репозиторий W3C Data Shapes — контрпример в Issue 882
  8. W3C DXWG — The Profiles Vocabulary Implementation Report
  9. W3C — Dataset Exchange Working Group Charter
  10. W3C — Типы стандартов и документов
  11. W3C — Process Document от 18 августа 2025 года
  12. Heng Lu — On the Agency Problem at the Core of Internet Governance