跳轉到

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:TurnRun only,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

只要你的工作流能回答 CQ1CQ10(任務定錨、條件重現、來源回指、責任與決策、版本/事件鏈),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 範圍 主題 主要對應元素
CQ1CQ3 任務定錨(KOS 概念、任務識別、任務類型) ex:WorkItem / dcterms:subject / ex:taskType / TaskTypeScheme
CQ4 關鍵回合輸入脈絡 prov:Collection (ContextPack) + prov:hadMember + ArtifactTypeScheme
CQ5 模型版本 / 模式 / 提示詞版本 ex:Artifact (ModelConfig / PromptVersion / PromptInstance) (per-turn instance)
CQ6CQ8 來源證據與授權 / 限制 / 回應與最終 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
CQ11CQ12 品質評估(L2-DQV) DQV classes + properties
CQ13CQ15 精細引用(L2-OA) OA Annotation + Selector
CQ16CQ17 版本鏈 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

接下來