W3C Profiles草案は適合性を継承できる　証明層はなお未確定

要約

• W3C Dataset Exchange Working Groupは2026年8月20日、The Profiles VocabularyをFirst Public Working Draftとして公開した。Recommendation track上の文書だが、W3Cが承認した標準ではなく、内容は変更され得る。
• HTML版は、リソースがプロファイルに適合し、そのプロファイルが別の仕様をプロファイルしているとき、上位仕様への適合を推論するプロパティーチェーンを示す。一方、適合の意味と試験方法は各コミュニティーが定義できる。
• 6月にチェーン内のプロパティー順序が修正された。しかし別のopen issueは公理をat riskのまま扱い、草案に埋め込まれたissue本文には修正前の順序が残る。
• 同日版のRDF Turtle成果物には、取得時点でowl:propertyChainAxiom宣言がなかった。実装報告は事例を挙げるものの、語彙要素別の証拠表はプレースホルダーのままだった。
• Data Shapes側のopen issueは、部分的な検証合格が上位仕様全体の適合を保証しない反例を提示する。重要な判断に使う継承関係には、成果物、定義主体、試験範囲、推論環境、結果種別を示す「適合性継承レシート」が必要だ。

プロファイルは仕様の短縮版ではない

ある行政機関が汎用データ仕様の選択肢を狭める。業界団体が必須項目を足す。研究コミュニティーが複数の語彙を組み合わせ、使い方を説明する。こうした成果物は広い意味でプロファイルと呼ばれるが、関係の表し方や付属資料の置き方がばらばらなら、機械は再利用しにくい。

PROFは、プロファイル、その上位仕様、さらに実装に必要な資源をRDFで記述する。prof:isProfileOfはプロファイルから仕様または別のプロファイルへの直接関係を表す。prof:hasResourceで関連資源を結び、それぞれをconstraint、validation、schema、guidance、mapping、example、specificationなどの役割で区別できる。必要ならコミュニティー独自の役割も公開できる。

この設計は発見可能性を高める。利用者は名称だけでなく、どの検証ファイルや説明書を参照すべきかを追える。ただし、もっと強い機能がある。8月20日版HTMLは、次のプロパティーチェーンを掲げる。

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

リソースからdct:conformsToでプロファイルへ、続いてprof:isProfileOfで上位仕様へ進む。OWLの推論器は、そのリソースから上位仕様への新しいdct:conformsTo関係を導ける。階層をたどる作業を各クライアントが繰り返さずに済む点は、カタログや自動エージェントにとって有用だ。

しかし、文書の成熟度は別に記録しなければならない。これはRecommendationではなくFPWDである。W3Cの文書種別説明では、Working Draftはレビューと履歴参照のために公開される作業途中の文書だ。ワーキンググループによる公開合意はあるが、W3CおよびMemberによる標準としての承認ではない。

機械の論理とコミュニティーの判断は同じではない

草案は公理を説明した直後、適合の意味と試験方法を各コミュニティーが定義できるとする。ここにPROFの利点と危うさが同居する。共通語彙は異なる実務を接続できるが、同じconformsToという述語が同じ証拠水準を意味するとは限らない。

推論の計算自体は明快である。二つの関係と一つの公理を与えれば、結論の有無は決まる。だが最初の「プロファイルに適合する」という入力は、完全な試験、部分的なSHACL検証、発行者による自己宣言、あるいは単なるメタデータかもしれない。グラフ上の確実性は、入力の証明力を高めない。

Null profileの説明は、この境界を可視化する。検証機構を持たない仕様に対し、試験可能なプロファイルを用意する考え方だ。しかし元仕様の規則が自然言語などで曖昧なら、普遍的かつ精密な作成方法は与えられない、と草案自身が認める。検証用shapeを作る作業には、解釈と網羅性の判断が入る。

直接関係と祖先関係も区別される。prof:isProfileOfは明示された直接リンク、prof:isTransitiveProfileOfは複数段の階層を通じた上位仕様を表し、クライアントの探索を省く。後者を使うなら必要な祖先関係を完全に示すべきだとされるが、各実装が推論をどう実現するかまでは規定されない。

実務では少なくとも四つを分ける必要がある。発行者が述べた関係、RDF推論で得た関係、検証器が試した結果、認証者や法的主体が受け入れた判断である。語彙はそれらを結び付けられる。ひとつの「適合」欄に溶かしてはならない。

直した順序と、残ったat-risk判断

Issue 58は2026年3月、従来のプロパティーチェーンで二つのプロパティー順序が逆だと指摘した。6月のcommitは、序文、例、定義表、at-risk一覧を、dct:conformsToからprof:isProfileOfへ進む正しい経路に変更した。Issueは6月26日にcloseされた。

これは「どう書くか」の修正であり、「公理を採用するか」の決着ではなかった。Issue 29はopenかつat-riskのままで、公理をPROFに含めるかどうかの議論が続いている。2026年5月のコメントは、Data Shapes側の反例とnull profileの完全性問題を関連付けた。

その結果、8月20日版には異なる時点が同居する。主要本文、推論例、プロパティー表、at-risk付録は修正後の順序を示す。一方、Issue 29から取り込まれた枠内テキストには旧順序が残る。履歴を知る編集者には解けても、段落単位で抽出するシステムには危険な差である。

付録は、prof:Profile、各プロパティー、resource role、そしてこの公理を、実装証拠待ちのat-risk機能として列挙する。これは削除決定ではない。設計を前進させるために、利用例ではなく再現可能な機能別証拠が必要だという公開状態である。

読む仕様とロードする仕様が一致していない

W3Cの告知は、日付付きprof.ttlをOWL語彙のRDF Turtle版として直接案内する。実装者がハッシュを取り、推論器へロードするのはこの種の成果物だ。

取得した8月20日版Turtleには、prof:isProfileOfのobject property定義、prof:isTransitiveProfileOfのsubpropertyであること、制約継承に関する説明があった。ところがowl:propertyChainAxiom宣言は含まれていなかった。HTMLでは同じ公理が序文、例、定義表にある。

意図を断定することはできない。公理がat riskだから機械可読本体から外した可能性もあり、草案は追加公理を別資源に置けるとも説明する。ただし、調査した公開面だけでは、HTMLの公理が必須なのか、選択モジュールなのか、議論中の提案なのかが機械利用者に明示されない。

これは実行結果を変える。HTMLに従って公理を手で加える実装、Turtleだけを読み込んで継承を行わない実装、日付なしnamespaceの別版を使う実装が生まれる。同じ「PROF対応」という説明でも、生成される関係は異なる。

解決策を先に決める必要はない。公理を本体へ入れる、別モジュールにする、意味を狭める、削除する――どれでもよい。必要なのは、人間向け本文、ダウンロード成果物、issue状態、試験期待値の間で決定を同期し、同期していない期間はその理由を公表することだ。

実装例はあるが、機能別の出口証拠はまだない

FPWDはconceptual model、vocabulary specification、Test Suite appendixを適合上のnormative部分とする。付録はSHACLテンプレートと適用手順からなるソフトウェアスイートを説明する。別のImplementation Reportは五つの例を挙げ、三つの独立グループに整理している。

Chekaは、データが適合を主張するプロファイルから階層を上り、そのプロファイルや祖先のvalidatorを探すPythonツールとして紹介される。他にもLOCI ontology、ODRLのprofiling guidance、OGCのprofile hierarchy、永続URIを持つcatalogueがある。PROFが抽象的な机上案だけではないことは分かる。

しかし、各語彙要素のimplementation claimを示す表には、element、label、implementer、locationの各欄にxxが残る。表示されたtestsuite repository URLは取得時に404を返した一方、gh-pages branchにはtestsuite directoryが存在する。試験が存在しないという証明ではない。公開された導線が、各at-risk機能と独立実装、再現可能な結果をまだ結び切っていないという証拠である。

現行charterは出口を明示する。PROFをRec-track文書として再公開することはtentative deliverableであり、normative specificationがCandidate Recommendationを越えるには、各機能について少なくとも二つの独立かつ相互運用可能な実装をopen testで検証することが期待される。早期からtest planを用意し、Data Shapes Working Groupと連携することも求める。charterは2028年4月まで続く。未完成の表は、今後埋めるべき台帳である。

部分的に正しい検証器は上位適合を証明できるか

Data Shapes Issue 882の反例は、網羅性を正面から問う。あるSHACL shapes graphは、上位OWL仕様の規則のうち一部を正しく検査する。データはその検査に合格する。しかしshapeに含まれなかった制約まで考えると、entailment後のデータには互いにdisjointな二クラスへの所属が生じ、上位仕様には適合しない。

検証器は実行した検査について誤っていない。soundだがincompleteなのである。そこでprofile合格から親仕様適合を自動推論すると、結論の範囲が試験範囲を超える。

このissueは公開された問題提起で、Working Groupの決定ではない。あらゆるprofile inheritanceが不健全だとも述べていない。最終設計が答えるべき問いを具体化する。どの程度の完全性を満たせば、profile levelのpassをparent specificationのconformanceへ昇格できるのか。

完全なvalidatorを要求する、記述的profile関係とtested conformanceを別述語にする、公理を狭める、entailment regimeとcoverageを必須にする、コミュニティー別モジュールへ移す、といった選択肢がある。下流利用者が推測で選ぶ状態だけは避けるべきだ。

適合性継承レシート

重要な用途で使う継承関係には、短いが検証可能なレシートを付ける。profileと親仕様の正確な版とハッシュ、直接のprof:isProfileOf経路、ロードしたmachine-readable artifactと公理をまず記録する。

次に、適合を定義した主体と目的、role別のconstraint、validator、schema、guidance、mappingを示す。reasoner、validation engine、entailment regime、設定、test suite版、機能別coverage、既知のblind spotとcounterexample、独立実装証拠、open at-risk issue、再検証条件を残す。

最後に結果種別を明記する。asserted relationship、inferred RDF triple、validator pass、certification、legal determinationは別物である。低リスクな検索facetなら推論値で十分かもしれない。契約上の保証には別の権限が必要だ。その選択を、来歴を失った一つの述語に任せてはならない。

Heng Luが論じる委任と代理の問題を当てはめると、標準化団体だけでなく、profile community、tool developer、automated reasonerも技術的代理人になる。どの代理人が規則を定義し、どの成果物を実行し、誰が意思決定へ昇格させたかが見えなければ、principalは委任の妥当性を検証できない。

証拠からは言えないこと

FPWDはRecommendationではなく、公理の最終存否は決まっていない。Turtleに宣言がないことから意図は推定できない。言えるのは、取得時点で人間向けと機械向けの公開面が同じ規則を持たなかったことだけだ。

Implementation Reportは実在の事例を挙げる。要素別表が未完成でも「実装がない」とは言えず、表示URLの404も「試験がない」ことを示さない。Issue 882は重要な反例だが、W3Cの合意ではない。本稿は特定の実装者が虚偽の適合主張をしたとは述べない。

適合性継承レシートはDaniel Kadeによるガバナンス提案であり、W3Cが公表した要件、認証制度、技術解決ではない。

出典

1. W3C News — The Profiles Vocabulary First Public Working Draft
2. W3C — The Profiles Vocabulary、2026年8月20日FPWD
3. W3C — 日付付きPROF RDF Turtle成果物
4. W3C — The Profiles Vocabulary公開履歴
5. W3C DXWG repository — Issue 29: conformsTo axiom at risk
6. W3C DXWG repository — Issue 58: property chain axiom修正
7. W3C Data Shapes repository — Issue 882の反例
8. W3C DXWG — The Profiles Vocabulary Implementation Report
9. W3C — Dataset Exchange Working Group Charter
10. W3C — 標準と文書種別
11. W3C — 2025年8月18日Process Document
12. Heng Lu — On the Agency Problem at the Core of Internet Governance