Foundation module
The foundation graph carries the 6 cross-cutting classes that the per-module graphs depend on, plus the foundation meta-shapes (cross-cutting SHACL discipline) and the header-only annotations graph.
Files
| File | Role | Source |
|---|---|---|
foundation.ttl | Ontology header (<https://opda.org.uk/pdtf/> + owl:versionIRI) | foundation.ttl |
opda-classes.ttl | 6 foundation classes + opda:hasSpecialCategoryData datatype property | opda-classes.ttl |
opda-shapes.ttl | 5 meta-shapes + 2 cross-cutting SHACL-AF rules | opda-shapes.ttl |
opda-annotations.ttl | Header-only (no class-level DPV baseline) | opda-annotations.ttl |
Ontology header
<https://opda.org.uk/pdtf/>
rdf:type owl:Ontology ;
dct:creator "OPDA Linked Data Council" ;
dct:description "Linked-data ontology for UK residential property transaction data; the Trust Framework's machine-readable vocabulary."@en ;
dct:issued "2026-05-27"^^xsd:date ;
dct:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
dct:modified "2026-05-28"^^xsd:date ;
dct:title "OPDA — Open Property Data Association Ontology"@en ;
vann:preferredNamespacePrefix "opda" ;
vann:preferredNamespaceUri "https://opda.org.uk/pdtf/"^^xsd:anyURI ;
owl:versionIRI <https://opda.org.uk/pdtf/harness/release/1.0.0/> ;
owl:versionInfo "1.0.0 — foundation + SKOS vocabularies + UFO meta-classes + module shapes + DPV annotations + overlay profiles + ValidationContext + hasSpecialCategoryData (ADR-0009 + ADR-0010 + ADR-0011 + ADR-0012 + ADR-0013 + ADR-0014)" ;
sh:declare _:b0bdbfe4f895a ;
opda:generatorVersion "opda-gen-1.0.0" .
_:b0bdbfe4f895a
sh:namespace "https://opda.org.uk/pdtf/"^^xsd:anyURI ;
sh:prefix "opda" .Module class hierarchy
%%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%%
classDiagram
accTitle: Foundation module — class hierarchy
accDescr: Six foundation OWL classes. ValidationContext, DiagnosticExemplar, GeneratorRun are independent. RoleMixin, Role, Relator are UFO meta-classes referenced as superclasses by per-module Kinds.
class DiagnosticExemplar {
owl:Class
UFO Substance Kind (informational)
}
class GeneratorRun {
owl:Class
UFO Information Particular
}
class ValidationContext {
owl:Class
UFO Substance Kind (informational)
opda:profileURI
opda:requires
opda:overlaysContext
opda:sourcedFrom
opda:formVersion
}
class RoleMixin {
owl:Class
UFO RoleMixin meta-class
}
class Role {
owl:Class
UFO Role meta-class
}
class Relator {
owl:Class
UFO Relator meta-class
}
Module shape-target graph
---
config:
layout: elk
---
%%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E8F5E9", "primaryTextColor": "#1B5E20", "primaryBorderColor": "#2E7D32", "lineColor": "#37474F"}}}%%
flowchart LR
accTitle: Foundation meta-shapes and their targets
accDescr: Five meta-shapes plus two cross-cutting SHACL-AF rules. Each meta-shape targets sh:NodeShape (SPARQL-based) or skos:Concept or owl:Class.
%% @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:NoIdentityOverride_MetaShape]:::shape
S2[opda:ShInSemantics_MetaShape]:::shape
S3[opda:ShViolationFloor_MetaShape]:::shape
S4[opda:MetaShapeOverShapeGraphMetaShape]:::shape
R1[opda:DeprecationChainRule]:::rule
R2[opda:PIIWithoutDPVCoAnnotationRule]:::rule
T1[sh:NodeShape]:::cls
T2[skos:Concept]:::cls
T3[owl:Class]:::cls
S1 -->|sh:targetClass via sh:sparql| T1
S2 -->|sh:targetClass via sh:sparql| T1
S3 -->|sh:targetClass via sh:sparql| T1
S4 -->|sh:targetClass via sh:sparql| T1
R1 -->|sh:targetClass| T2
R2 -->|sh:targetClass| T3
Six foundation classes
| Class | UFO category | Role |
|---|---|---|
opda:DiagnosticExemplar | Substance Kind (informational) | Named hard case used as IC pressure-test |
opda:GeneratorRun | Information Particular | Provenance record for each opda-gen emission |
opda:Relator | UFO meta-class | Relational endurant supertype |
opda:Role | UFO meta-class | Anti-rigid sortal role supertype |
opda:RoleMixin | UFO meta-class | Anti-rigid cross-sortal role pattern supertype |
opda:ValidationContext | Substance Kind (informational) | Reification of overlay-profile context per ODR-0010 §Q1 |
Plus one DatatypeProperty added by ADR-0014 G14:
opda:hasSpecialCategoryData(xsd:boolean) — Cat 4 SHACL shape target.
See classes.md for per-class blocks.
Five foundation meta-shapes
| Shape | Category | Role |
|---|---|---|
opda:NoIdentityOverride_MetaShape | Cat 3 (Violation) | Profile cannot suppress Kind’s identity-key |
opda:ShInSemantics_MetaShape | Cat 5 (Violation) | Overlay sh:in must union into base SKOS scheme members (Rule 1) |
opda:ShViolationFloor_MetaShape | Cat 5 (Violation) | Overlay cannot downgrade base sh:Violation severity (Rule 2) |
opda:MetaShapeOverShapeGraphMetaShape | Cat 5 (Violation) | Meta-shape using Violation severity needs opda:metaShapeJustification |
opda:DeprecationChainRule | SHACL-AF | Materialises deprecation status on skos:Concept |
opda:PIIWithoutDPVCoAnnotationRule | SHACL-AF | Flags opda:isPIIBearing true classes lacking DPV co-annotation |
See meta-shapes.md for per-shape blocks.
Import chain
The foundation graph has no owl:imports (it is the base). Per-module graphs import it via:
owl:imports <https://opda.org.uk/pdtf/harness/release/1.0.0/>, <https://opda.org.uk/pdtf/scheme/>(both opda: foundation + SKOS substrate)
Source ADR + ODR
- ADR-0009 — Foundation TBox emission
- ADR-0011 — Module TBox emission
- ADR-0014 — BASPI5 round-trip MVP harness (G14)
- ODR-0004 — PDTF ontology foundation
- ODR-0010 — Overlay profile mechanism (ValidationContext)
- ODR-0011 — Enumeration vocabularies (UFO meta-classes)
- ODR-0012 §Q5 — Special-category PII
- ODR-0017 §2a — Meta-shape justification
Comments