Claim module

The Claim module emits 11 OWL classes covering verifiable claims (Claim), evidence subtypes (DocumentEvidence, ElectronicRecordEvidence, VouchEvidence), short-name aliases (Document, ElectronicRecord, Vouch), the verification activity (VerificationActivity), the trust framework citation (TrustFramework), and the assurance level quality (AssuranceLevel).

Files

File	Role	Source
`opda-claim.ttl`	11 OWL classes + DatatypeProperty + 2 ObjectProperties	opda-claim.ttl
`opda-claim-shapes.ttl`	2 identity-key + 1 IC-breach + 2 SHACL-AF rules	opda-claim-shapes.ttl
`opda-claim-annotations.ttl`	DPV class-level + 3 evidence refinements	opda-claim-annotations.ttl

Ontology header

<https://opda.org.uk/pdtf/graph/claim>
    rdf:type owl:Ontology ;
    dct:title "OPDA Claim Module"@en ;
    owl:imports <https://opda.org.uk/pdtf/harness/release/1.0.0/>, <https://opda.org.uk/pdtf/scheme/> ;
    owl:versionIRI <https://opda.org.uk/pdtf/harness/release/claim/1.0.0/> .

Import chain

<https://opda.org.uk/pdtf/harness/release/1.0.0/> — foundation
<https://opda.org.uk/pdtf/scheme/> — SKOS schemes (AssuranceLevel, EvidenceMethod)

External vocabularies referenced (not imported):

prov:Entity, prov:Activity, prov:Agent — PROV-O alignment (S009 Rule 1 — 80%-PROV-O mapping)

Classes (11)

Class	UFO category	PROV-O parent
`opda:AssuranceLevel`	Quale-in-Region	(none — Quality Value)
`opda:Claim`	Information particular	`prov:Entity`
`opda:Document`	Substance Kind (alias)	(equivalent to `opda:DocumentEvidence`)
`opda:DocumentEvidence`	Substance Kind	subclass of `opda:Evidence`
`opda:ElectronicRecord`	Substance Kind (alias)	(equivalent to `opda:ElectronicRecordEvidence`)
`opda:ElectronicRecordEvidence`	Substance Kind	subclass of `opda:Evidence`
`opda:Evidence`	Substance Kind	`prov:Entity`
`opda:TrustFramework`	Information Particular	(cited via `dct:conformsTo`)
`opda:VerificationActivity`	Event particular	`prov:Activity`
`opda:Vouch`	Substance Kind (alias)	(equivalent to `opda:VouchEvidence`)
`opda:VouchEvidence`	Substance Kind	subclass of `opda:Evidence`

Equivalent-class aliases (Document ↔ DocumentEvidence, etc.) retained for exemplar compatibility per ADR-0011 within-engineering option (b).

See classes.md for per-class blocks.

Module class hierarchy

%%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% classDiagram accTitle: Claim module — class hierarchy accDescr: Eleven OWL classes. Claim and Evidence subtype prov:Entity. VerificationActivity subtypes prov:Activity. Three evidence subtypes (Document, ElectronicRecord, Vouch) with owl:equivalentClass short-name aliases. class provEntity["prov_Entity (external)"] class provActivity["prov_Activity (external)"] class Claim["opda_Claim"] { owl_Class Information particular } class Evidence["opda_Evidence"] { owl_Class Substance Kind } class DocumentEvidence["opda_DocumentEvidence"] { owl_Class eIDAS Substantial } class ElectronicRecordEvidence["opda_ElectronicRecordEvidence"] { owl_Class eIDAS Substantial } class VouchEvidence["opda_VouchEvidence"] { owl_Class eIDAS Low } class Document["opda_Document (alias)"] class ElectronicRecord["opda_ElectronicRecord (alias)"] class Vouch["opda_Vouch (alias)"] class VerificationActivity["opda_VerificationActivity"] { owl_Class Event particular } class TrustFramework["opda_TrustFramework"] { owl_Class Information Particular } class AssuranceLevel["opda_AssuranceLevel"] { owl_Class Quale-in-Region } provEntity <|-- Claim : rdfs_subClassOf provEntity <|-- Evidence : rdfs_subClassOf provActivity <|-- VerificationActivity : rdfs_subClassOf Evidence <|-- DocumentEvidence : rdfs_subClassOf Evidence <|-- ElectronicRecordEvidence : rdfs_subClassOf Evidence <|-- VouchEvidence : rdfs_subClassOf DocumentEvidence <|.. Document : owl_equivalentClass ElectronicRecordEvidence <|.. ElectronicRecord : owl_equivalentClass VouchEvidence <|.. Vouch : owl_equivalentClass

Module shape-target graph

--- config: layout: elk --- %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E8F5E9", "primaryTextColor": "#1B5E20", "primaryBorderColor": "#2E7D32", "lineColor": "#37474F"}}}%% flowchart LR accTitle: Claim shapes and their target classes accDescr: Five SHACL shapes targeting Claim, Evidence, and VerificationActivity. Identity-key shapes are Cat 1; the UnprovenancedClaimShape is Cat 2; two SHACL-AF rules emit derived predicates at Info severity. %% @prefix opda: %% @prefix sh: classDef shape fill:#E8F5E9,stroke:#2E7D32,stroke-width:2px,stroke-dasharray:5 5,color:#1B5E20 classDef cls fill:#E1BEE7,stroke:#6A1B9A,stroke-width:2px,color:#4A148C classDef rule fill:#E1F5FE,stroke:#0277BD,stroke-width:2px,color:#01579B S1[opda:ClaimIdentityKeyShape]:::shape S2[opda:EvidenceIdentityKeyShape]:::shape S3[opda:UnprovenancedClaimShape]:::shape R1[opda:PROVOClaimsRule]:::rule R2[opda:VerificationActivitySuccessionRule]:::rule C1[opda:Claim]:::cls C2[opda:Evidence]:::cls C3[opda:VerificationActivity]:::cls S1 -->|sh:targetClass| C1 S2 -->|sh:targetClass| C2 S3 -->|sh:targetClass| C1 R1 -->|sh:targetClass| C1 R2 -->|sh:targetClass| C3

Module DPV co-annotation graph

--- config: layout: elk --- %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E0F2F1", "primaryTextColor": "#004D40", "primaryBorderColor": "#00695C", "lineColor": "#37474F"}}}%% flowchart LR accTitle: Claim module — DPV personal-data co-annotations accDescr: Claim carries dpv-pd:OfficialID baseline. Three evidence-variant refinements scope lawful basis: DocumentEvidence to PublicTask, ElectronicRecordEvidence to LegitimateInterest, VouchEvidence to Consent. %% @prefix opda: %% @prefix dpv-pd: %% @prefix dpv: classDef pii fill:#E0F2F1,stroke:#00695C,stroke-width:2px,color:#004D40 classDef dpv fill:#F8BBD9,stroke:#AD1457,stroke-width:2px,color:#880E4F classDef refinement fill:#FFE0B2,stroke:#E65100,stroke-width:2px,color:#BF360C C[opda:Claim]:::pii D[opda:DocumentEvidence]:::pii E[opda:ElectronicRecordEvidence]:::pii V[opda:VouchEvidence]:::pii OID[dpv-pd:OfficialID]:::dpv PT[dpv:PublicTask]:::dpv LI[dpv:LegitimateInterest]:::dpv CO[dpv:Consent]:::dpv C -->|dpv-pd:hasPersonalDataCategory| OID R1[DocumentEvidenceRefinement]:::refinement R2[ElectronicRecordEvidenceRefinement]:::refinement R3[VouchEvidenceRefinement]:::refinement R1 -->|opda:targetsKind| D R1 -->|opda:lawfulBasis| PT R2 -->|opda:targetsKind| E R2 -->|opda:lawfulBasis| LI R3 -->|opda:targetsKind| V R3 -->|opda:lawfulBasis| CO

SHACL shapes (5 + 2 rules)

Shape	Severity	Category
`opda:ClaimIdentityKeyShape`	Violation	Cat 1
`opda:EvidenceIdentityKeyShape`	Violation	Cat 1
`opda:UnprovenancedClaimShape`	Violation	Cat 2
`opda:PROVOClaimsRule`	Info	SHACL-AF
`opda:VerificationActivitySuccessionRule`	Info	SHACL-AF

See shapes.md for per-shape blocks.

DPV annotations

Class-level + 3 evidence refinements. See annotations.md.