Conformance¶
Prov-AI AP 定義五個 conformance classes,依任務需要選擇符合範圍。
Conformance Language¶
The key words MUST, MUST NOT, REQUIRED, SHALL, SHALL NOT, SHOULD, SHOULD NOT, RECOMMENDED, MAY, and OPTIONAL in this document are to be interpreted as described in RFC 2119, when, and only when, they appear in all capitals.
本 AP 之 conformance language 與上游 W3C 規範一致:所有重用之 vocabulary(PROV-O / SKOS / DX-PROF / Web Annotation / DQV)皆以 RFC 2119 解釋 conformance keywords。
對標分流:結構 vs 字眼¶
本 AP 之 obligation 表達採結構 / 字眼分流對標:
| 層 | 對標基準 | 採用 |
|---|---|---|
| 9 欄表頭結構(Term URI / Label / Defined By / Definition / Obligation / Condition / Datatype / Occurrence / Encoding Scheme) | DCMI Application Profile Guidelines §6 | 既有 Profile 元素表 9 欄 |
| Obligation 欄的值(MUST / SHOULD / OPTIONAL / MUST (conditional)) | RFC 2119(繼承自上游 W3C vocabulary) | 與 PROV-O / SKOS / DX-PROF / Web Annotation / DQV 一致 |
| Definition 欄風格 | DCMI Metadata Terms 單句 ontological | 詳見 Profile Definition 欄 |
→ 詳細對標分流論述見 DCMI AP Conformance Audit §3.5。
本 AP 對 conditional 的擴充¶
MUST (conditional: …) 並非 RFC 2119 原生關鍵字,係本 AP 對「條件成立時必填」的欄位層級擴充標示(搭配 Condition 欄使用);功能上與下列 DCMI 派做法相近:
| 規範 | 等效表達 |
|---|---|
| DCMI Application Profile Guidelines §6 | Mandatory (conditional) |
| DC-Library Application Profile | mandatory if applicable |
| DCAT-AP(部分屬性) | conditional |
| DCTAP(W3C 2022) | mandatory: true + note 補條件描述 |
當前 AP 中使用 MUST (conditional) 的 element 共 2 個:ex:Result(result-bearing taskType 條件)、ex:decisionOutcome(DecisionNote 條件)。
v0.1.2.1 R-086 變動:
ex:activityType於 v0.1.x 階段 R-078 採MUST (conditional: TaskRun)表達;v0.1.2.1 R-082 兩軸分離後 domain 縮為ex:TurnRunonly,conditional 的 TaskRun 分支不再存在;R-086 將 requirement 退回純SHOULD、從本清單移除。R-078 + R-083 + R-086 三條紀錄共同呈現「conditional 表達適用範圍」演進路徑。
Conformance Classes¶
| Class | 包含元素 | SHACL shapes(roadmap) |
|---|---|---|
| Core-L1 | L1 Classes / Object Properties / Data Properties + 5 個 L1 必用 ConceptScheme | shapes/Core-L1.shacl.ttl(v0.3) |
| L2-OA | L2 OA classes + OA properties | shapes/L2-OA.shacl.ttl(v0.3) |
| L2-DQV | L2 DQV classes + DQV properties + dqv:value |
shapes/L2-DQV.shacl.ttl(v0.3) |
| L2-APITrace | ex:metaJSON + ArtifactTypeScheme:ApiRequest/ApiResponse/ToolCall/ToolResult |
shapes/L2-APITrace.shacl.ttl(v0.3) |
| L2-Reference | ex:referenceRole + ReferenceRoleScheme |
shapes/L2-Reference.shacl.ttl(v0.3) |
Conformance Class 選擇指南¶
最小可符合:Core-L1 only¶
只要你的工作流能回答 CQ1–CQ10(任務定錨、條件重現、來源回指、責任與決策、版本/事件鏈),Core-L1 就足夠。
適用情境:
- 中文化 / 在地化的 chat-based 互動(如 C02 motifs、L13 paiban)
- 不需要精細片段定位、不需要正式品質量測、不需要 API trace
Core-L1 + L2-OA:需要精細引用¶
當你需要回答「來源文獻的第 X 頁第 Y 段是依據」這類問題時加入 L2-OA:
ex:artifact/sourceEvidence/some-pdf a ex:Artifact ;
ex:artifactType <provai:scheme/ArtifactTypeScheme/SourceEvidence> .
oa:Annotation [
oa:hasTarget [
a oa:SpecificResource ;
oa:hasSource ex:artifact/sourceEvidence/some-pdf ;
oa:hasSelector [
a oa:TextQuoteSelector ;
oa:exact "the cited text"
]
] ;
oa:hasBody ex:result/R-final
] .
Core-L1 + L2-DQV:需要正式品質量測¶
當你做 evaluation 任務(如 MQM 評分、accuracy / fluency 評估)時加入 L2-DQV:
ex:artifact/qualityMeasurement/T-eval-1 a dqv:QualityMeasurement ;
dqv:isMeasurementOf <provai:metric/MQM-Accuracy> ;
dqv:value "85"^^xsd:decimal .
Core-L1 + L2-APITrace:需要 API / 工具鏈追蹤¶
當你的工作流走 API path 並涉及 tool calls 時加入 L2-APITrace:
ex:artifact/apiResponse/T-C02-1 a ex:Artifact ;
ex:artifactType <provai:scheme/ArtifactTypeScheme/ApiResponse> ;
ex:metaJSON "{\"request_id\":\"req_abc\",\"response_id\":\"resp_xyz\",\"usage\":{\"prompt_tokens\":1234}}" .
Core-L1 + L2-Reference:需要引用角色分流¶
當引用混載造成歧義或需細緻治理時加入 L2-Reference:
ex:artifact/sourceEvidence/some-url a ex:Artifact ;
ex:referenceRole <provai:scheme/ReferenceRoleScheme/chat_ui_url> .
CQs Coverage¶
Prov-AI AP 設計目標是回答 18 道 competency questions(CQs V3.3)。完整題目敘述、I1–I3 治理議題、設計流程與分群速查見 Competency Questions。
| CQ 範圍 | 主題 | 主要對應元素 |
|---|---|---|
| CQ1–CQ3 | 任務定錨(KOS 概念、任務識別、任務類型) | ex:WorkItem / dcterms:subject / ex:taskType / TaskTypeScheme |
| CQ4 | 關鍵回合輸入脈絡 | prov:Collection (ContextPack) + prov:hadMember + ArtifactTypeScheme |
| CQ5 | 模型版本 / 模式 / 提示詞版本 | ex:Artifact (ModelConfig / PromptVersion / PromptInstance) (per-turn instance) |
| CQ6–CQ8 | 來源證據與授權 / 限制 / 回應與最終 Result | ex:Artifact (SourceEvidence) / dcterms:source / dcterms:license / ResponseSnapshot / ResultSnapshot / ex:Result |
| CQ9 | 活動/回合粒度的溯源串接與可重現條件 | ex:TaskRun / ex:TurnRun / prov:qualifiedAssociation / prov:Agent / RoleScheme |
| CQ10 | 最終採納 / 拒絕 / 需修訂等決策結果 | ex:Artifact (DecisionNote) + DecisionOutcomeScheme + ex:rationaleText |
| CQ11–CQ12 | 品質評估(L2-DQV) | DQV classes + properties |
| CQ13–CQ15 | 精細引用(L2-OA) | OA Annotation + Selector |
| CQ16–CQ17 | 版本鏈 | prov:wasDerivedFrom + dcterms:hasVersion + DecisionOutcomeScheme:Superseded |
| CQ18 | Initial / Probing / Revising 三軸 | ActivityTypeScheme:TurnRunType |
驗證階段(roadmap)¶
| 階段 | 工件 | 狀態 |
|---|---|---|
| Phase 1 corpus schema 對齊 | C 系列 30 件 + L 系列 84 件 | 🟡 進行中 |
| Phase 2 pilot(4 案 → 全面案例對應) | C02 motifs v0.1.1 第一個正式案例 | 🟡 進行中(C02 worked example 已收斂) |
| Phase 3 Coverage matrix | 依 pilot 結果決策候選 artifact / TaskRunType 缺口 / SHACL skeleton | ⏳ 待 Phase 2 |
| Phase 4 Core-L1 RDF / JSON-LD 完整範例 | 至少 Chat UI 與 API 各 1 組 | ⏳ 待 Phase 3 |
| Phase 5 SPARQL CQ regression tests | 18 題 CQs × shapes | ⏳ |
| Phase 6 PROF manifest + DCTAP | 機器化發布 | ⏳ |
完整驗證 roadmap 見 Changelog。
Profile 工件化¶
對外發布工件清單:
| 工件 | 路徑 | 狀態 |
|---|---|---|
| 人讀規格(本網站) | https://(TBD).pages.dev | ✅ v0.1.1 |
| Concept schemes (TTL) | concept-schemes/*.ttl |
✅ v0.1.1-draft |
| Worked examples | examples/*.ttl |
🟡 C02 已成;L13/L08 v0.2 |
| AP Guideline Checklist | references/ap-guideline-checklist.md |
✅ v0.1.1 |
| SHACL shapes | shapes/*.shacl.ttl |
⏳ v0.3 |
| PROF manifest | profile.ttl |
⏳ v0.2 |
| DCTAP | dctap/profile.csv |
⏳ v0.2 |
接下來¶
- 看完整 worked example:Examples → C02 Motifs
- 對標 P0 checklist:AP Guideline Checklist
- 看 5 個必用 ConceptScheme:Concept Schemes