Physical — ontology claim

Claim classes

opda:Classes

Claim classes

Eleven OWL classes emitted by opda-gen into opda-claim.ttl.

Classes

opda:AssuranceLevel

opda:AssuranceLevel
    rdf:type owl:Class ;
    rdfs:label "Assurance Level"@en ;
    rdfs:comment "Quality judgement on a Claim's verification — eIDAS Level of Assurance (Low / Substantial / High) per OIDC trust tiering. Backed by opda:AssuranceLevelScheme SKOS scheme in opda-vocabularies.ttl. Local term per S009 5-residue (PROV-O carries no notion of assurance grading)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q3> ;
    skos:scopeNote "UFO: Quale-in-Region (Guizzardi 2005 Ch. 4 §4.3 — quality particular). eIDAS Regulation (EU) 910/2014 Article 8."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q3>`	ODR-0009 §Q3
`skos:scopeNote @en`	”UFO: Quale-in-Region. eIDAS Regulation 910/2014 Article 8.”	Guizzardi 2005 / eIDAS
`rdfs:comment @en`	”eIDAS Level of Assurance (Low / Substantial / High) per OIDC trust tiering.”	ODR-0009 §Q3

Targeting shapes

None directly; values bound to opda:AssuranceLevelScheme via SKOS in opda-vocabularies.ttl.

Cross-tier links

Source ODR + ADR

opda:Claim

opda:Claim
    rdf:type owl:Class ;
    rdfs:label "Claim"@en ;
    rdfs:comment "Verifiable claim entity. UFO Information particular; PROV-O Entity. Per S009 Q1 80%-PROV-O mapping. Hard cases: contested assertion (multiple verifications with divergent verdicts); multi-method verification (electronic-record + vouch corroboration); assurance-level downgrade (vouch-only evidence caps at eIDAS Low)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf prov:Entity ;
    skos:scopeNote "UFO: Information particular (Guizzardi 2005 Ch. 4 §4.7). PROV-O: Entity (W3C PROV-O REC §3.2). The verified claim (claim plus verification bundle) is a derived entity per S009 Rule 1."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”UFO: Information particular. PROV-O: Entity.”	Guizzardi 2005 / W3C PROV-O
`rdfs:comment @en`	”Verifiable claim entity. Per S009 Q1 80%-PROV-O mapping.”	ODR-0009 §Q1

Targeting shapes

opda:ClaimIdentityKeyShape — Cat 1 (Violation)
opda:UnprovenancedClaimShape — Cat 2 (Violation)
opda:PROVOClaimsRule — SHACL-AF (Info)

Subclass / equivalent-class relationships

rdfs:subClassOf prov:Entity

Cross-tier links

Source ODR + ADR

opda:Document

opda:Document
    rdf:type owl:Class ;
    rdfs:label "Document"@en ;
    rdfs:comment "Alias for opda:DocumentEvidence retained for exemplar compatibility (the diagnostic exemplar set uses the short name). owl:equivalentClass binding ensures one OWL identity; downstream shapes + annotations target the long name (DocumentEvidence) for clarity."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    skos:scopeNote "Short-name alias for opda:DocumentEvidence per ADR-0011 within-engineering option (b) — owl:equivalentClass binding preserves OWL identity without renaming exemplars."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”Short-name alias per ADR-0011 within-engineering option (b).”	ADR-0011
`rdfs:comment @en`	”Alias for opda:DocumentEvidence retained for exemplar compatibility.”	ADR-0011

Subclass / equivalent-class relationships

owl:equivalentClass opda:DocumentEvidence (declared on opda:DocumentEvidence side)

Cross-tier links

Concept tier → (alias for DocumentEvidence)

Source ODR + ADR

opda:DocumentEvidence

opda:DocumentEvidence
    rdf:type owl:Class ;
    rdfs:label "Document Evidence"@en ;
    rdfs:comment "Document-evidence subtype — paper or scanned artefacts issued by authoritative source (e.g. grant of probate by HMCTS). eIDAS Substantial-tier assurance for court-issued instruments. Equivalent class: opda:Document (short-name used by exemplars)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf opda:Evidence ;
    owl:equivalentClass opda:Document ;
    skos:scopeNote "PROV-O: Entity (W3C PROV-O REC §3.2). OIDC4IDA / eIDAS document-evidence category (S009 Rule 5)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”PROV-O: Entity. OIDC4IDA / eIDAS document-evidence category.”	W3C PROV-O / OIDC4IDA
`rdfs:comment @en`	”Document-evidence subtype — paper or scanned artefacts. eIDAS Substantial-tier for court-issued instruments.”	ODR-0009 §Q1

Targeting shapes

Inherited from opda:EvidenceIdentityKeyShape via sh:targetClass opda:Evidence (Cat 1 — Violation).

Subclass / equivalent-class relationships

rdfs:subClassOf opda:Evidence
owl:equivalentClass opda:Document

Cross-tier links

Source ODR + ADR

opda:ElectronicRecord

opda:ElectronicRecord
    rdf:type owl:Class ;
    rdfs:label "Electronic Record"@en ;
    rdfs:comment "Alias for opda:ElectronicRecordEvidence retained for exemplar compatibility. owl:equivalentClass binding ensures one OWL identity; downstream shapes + annotations target the long name."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    skos:scopeNote "Short-name alias for opda:ElectronicRecordEvidence per ADR-0011 within-engineering option (b)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”Short-name alias for opda:ElectronicRecordEvidence per ADR-0011 within-engineering option (b).”	ADR-0011
`rdfs:comment @en`	”Alias for opda:ElectronicRecordEvidence retained for exemplar compatibility.”	ADR-0011

Subclass / equivalent-class relationships

owl:equivalentClass opda:ElectronicRecordEvidence (declared on opda:ElectronicRecordEvidence side)

Cross-tier links

Concept tier →

Source ODR + ADR

opda:ElectronicRecordEvidence

opda:ElectronicRecordEvidence
    rdf:type owl:Class ;
    rdfs:label "Electronic Record Evidence"@en ;
    rdfs:comment "Electronic-record evidence subtype — API-retrieved structured records from authoritative source (e.g. HMRC tax-record API). eIDAS Substantial-tier assurance via real-time API verification. Equivalent class: opda:ElectronicRecord (short-name used by exemplars)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf opda:Evidence ;
    owl:equivalentClass opda:ElectronicRecord ;
    skos:scopeNote "PROV-O: Entity (W3C PROV-O REC §3.2). OIDC4IDA electronic-record evidence category (S009 Rule 5)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”PROV-O: Entity. OIDC4IDA electronic-record evidence category.”	W3C PROV-O / OIDC4IDA
`rdfs:comment @en`	”Electronic-record evidence subtype — API-retrieved structured records. eIDAS Substantial-tier.”	ODR-0009 §Q1

Targeting shapes

Inherited from opda:EvidenceIdentityKeyShape via sh:targetClass opda:Evidence.

Subclass / equivalent-class relationships

rdfs:subClassOf opda:Evidence
owl:equivalentClass opda:ElectronicRecord

Cross-tier links

Source ODR + ADR

opda:Evidence

opda:Evidence
    rdf:type owl:Class ;
    rdfs:label "Evidence"@en ;
    rdfs:comment "Generic evidence supertype. PROV-O Entity. Three named subtypes per S009 Rule 5 (do NOT collapse): DocumentEvidence (paper or scanned artefacts); ElectronicRecordEvidence (API-retrieved structured records); VouchEvidence (formal attestations by regulated professionals). Each subtype carries type-specific facets; SHACL sh:xone dispatches on subtype at validation time (ADR-0012 emits the shape)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf prov:Entity ;
    skos:scopeNote "PROV-O: Entity (W3C PROV-O REC §3.2). The three subtypes correspond to OIDC4IDA / eIDAS evidence categories (S009 Rule 5)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”PROV-O: Entity. Three subtypes correspond to OIDC4IDA / eIDAS evidence categories.”	W3C PROV-O / OIDC4IDA
`rdfs:comment @en`	”Generic evidence supertype. Three named subtypes per S009 Rule 5 (do NOT collapse).”	ODR-0009 §Q1

Targeting shapes

opda:EvidenceIdentityKeyShape — Cat 1 (Violation)

Subclass / equivalent-class relationships

rdfs:subClassOf prov:Entity
Superclass of opda:DocumentEvidence, opda:ElectronicRecordEvidence, opda:VouchEvidence

Cross-tier links

Source ODR + ADR

opda:TrustFramework

opda:TrustFramework
    rdf:type owl:Class ;
    rdfs:label "Trust Framework"@en ;
    rdfs:comment "Trust framework citation — a governance regime that scopes claim validity (e.g. the UK Property Data Trust Framework). Per S009 5-residue mapped to dct:conformsTo on the verification activity (NOT a PROV-O primitive). Authoritative within scope per Session 003c Item 3 (OPDA TF authoritative scope)."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q5> ;
    skos:scopeNote "UFO: Information Particular (governance regime as informational artefact). dct:conformsTo binding per S009 Rule 5 (PROV-O residue)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q5>`	ODR-0009 §Q5
`skos:scopeNote @en`	”UFO: Information Particular. dct:conformsTo binding per S009 Rule 5.”	Guizzardi 2005 / S009 Rule 5
`rdfs:comment @en`	”Trust framework citation — governance regime scoping claim validity. PDTF authoritative.”	ODR-0009 §Q5

Targeting shapes

None directly (citation pattern; dct:conformsTo carries the binding).

Cross-tier links

Source ODR + ADR

opda:VerificationActivity

opda:VerificationActivity
    rdf:type owl:Class ;
    rdfs:label "Verification Activity"@en ;
    rdfs:comment "Verification activity recording the production of a verified claim from evidence. PROV-O Activity. The OIDC4IDA single 'time' is the completion instant → prov:endedAtTime. Uses qualified form prov:qualifiedAttribution → prov:Attribution with prov:hadRole so validation_method / verification_method are not discarded."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf prov:Activity ;
    skos:scopeNote "PROV-O: Activity (W3C PROV-O REC §3.2). UFO: Event particular (Guizzardi 2005 Ch. 4 §4.7)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”PROV-O: Activity. UFO: Event particular.”	W3C PROV-O / Guizzardi 2005
`rdfs:comment @en`	”Verification activity recording production of a verified claim from evidence. Qualified form for method preservation.”	ODR-0009 §Q1 + §Q2

Targeting shapes

opda:VerificationActivitySuccessionRule — SHACL-AF (Info)

Subclass / equivalent-class relationships

rdfs:subClassOf prov:Activity

Cross-tier links

Source ODR + ADR

opda:Vouch

opda:Vouch
    rdf:type owl:Class ;
    rdfs:label "Vouch"@en ;
    rdfs:comment "Alias for opda:VouchEvidence retained for exemplar compatibility. owl:equivalentClass binding ensures one OWL identity."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    skos:scopeNote "Short-name alias for opda:VouchEvidence per ADR-0011 within-engineering option (b)."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”Short-name alias for opda:VouchEvidence per ADR-0011 within-engineering option (b).”	ADR-0011
`rdfs:comment @en`	”Alias for opda:VouchEvidence retained for exemplar compatibility.”	ADR-0011

Subclass / equivalent-class relationships

owl:equivalentClass opda:VouchEvidence (declared on opda:VouchEvidence side)

Cross-tier links

Concept tier →

Source ODR + ADR

opda:VouchEvidence

opda:VouchEvidence
    rdf:type owl:Class ;
    rdfs:label "Vouch Evidence"@en ;
    rdfs:comment "Vouch evidence subtype — formal attestation by a regulated professional (e.g. SRA-licensed solicitor). Qualitatively weaker than document or electronic-record evidence; eIDAS Low assurance regardless of voucher quality (Q3 SKOS scheme). The vouch is prov:wasAttributedTo an Agent — an attestation, not a document derivation. Equivalent class: opda:Vouch."@en ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1> ;
    rdfs:subClassOf opda:Evidence ;
    owl:equivalentClass opda:Vouch ;
    skos:scopeNote "PROV-O: Entity (W3C PROV-O REC §3.2). OIDC4IDA / eIDAS vouch-evidence category (S009 Rule 5). Vouch is prov:wasAttributedTo an Agent — an attestation, not a document."@en .

A9 per-kind discipline

Triple	Value	Source
`dct:source`	`<https://opda.org.uk/pdtf/harness/odr/ODR-0009/section-Q1>`	ODR-0009 §Q1
`skos:scopeNote @en`	”PROV-O: Entity. OIDC4IDA / eIDAS vouch-evidence category. Vouch is prov:wasAttributedTo an Agent.”	W3C PROV-O / OIDC4IDA
`rdfs:comment @en`	”Vouch evidence subtype — formal attestation by regulated professional. eIDAS Low regardless of voucher quality.”	ODR-0009 §Q1 + §Q3

Targeting shapes

Inherited from opda:EvidenceIdentityKeyShape via sh:targetClass opda:Evidence.

Subclass / equivalent-class relationships

rdfs:subClassOf opda:Evidence
owl:equivalentClass opda:Vouch

Claim classes

Claim classes

Classes

opda:AssuranceLevel

A9 per-kind discipline

Targeting shapes

Cross-tier links

Source ODR + ADR

opda:Claim

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:Document

A9 per-kind discipline

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:DocumentEvidence

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:ElectronicRecord

A9 per-kind discipline

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:ElectronicRecordEvidence

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:Evidence

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:TrustFramework

A9 per-kind discipline

Targeting shapes

Cross-tier links

Source ODR + ADR

opda:VerificationActivity

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:Vouch

A9 per-kind discipline

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

opda:VouchEvidence

A9 per-kind discipline

Targeting shapes

Subclass / equivalent-class relationships

Cross-tier links

Source ODR + ADR

Comments