Exemplar S005 — Property identity paired report
flat-with-split-uprn
UPRN succession via re-numbering: physical identity persists across administrative re-issue.
Input instance (ABox)
# Diagnostic exemplar — ODR-0004 §8a, IC-only — input to ODR-0005 (Property & Land Identity Crux).
# Situation: flat 5C Glasshouse Mansions. The building was subdivided; UPRN re-issued.
# The physical flat is the same individual before and after — UPRN succession is administrative, not identity.
#
# SUPERSEDED 2026-07-05 (RML gap-closing session, see ODR-0005's own removal
# amendment): opda:UPRNSuccessionEvent, opda:previousUPRN, opda:retiredUPRN,
# and opda:issuedUPRN below are NO LONGER DECLARED in the active ontology —
# confirmed to have zero basis anywhere in the PDTF v3 schema family (UPRN
# succession is cross-transaction history, which a single transaction
# instance structurally cannot carry; no schema field for it exists in any
# form). Kept as a historical record of the session-005 deliberation (the
# IC-persistence reasoning below remains a genuine modelling question) —
# NOT part of the active, RML-mappable ontology surface. The still-real
# opda:RegisteredTitle / opda:identifiesSameProperty content below is
# unaffected and remains valid.
#
# Status: ratified. Namespace: https://opda.org.uk/pdtf/ (Session 003b + ADR-0006).
# ODR-0004 status: accepted (council: session-004; wg-decision: session-003b).
# ODR-0005 status: proposed (council: session-005; namespace block carries).
# Amended 2026-05-27 post-S005 close: scope-note updated to note reified opda:UPRNSuccessionEvent
# is the canonical succession form (Gandon W3C-side recommendation, S005 Q4); literal-pair retained
# as denormalised convenience for dash:uniqueValueForClass stale-reference checks. Cagle SHACL-AF
# rule (S005 §6a) materialises the chain into the validation report at sh:Info severity.
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix opda-x: <https://opda.org.uk/pdtf/harness/data/exemplar/flat-with-split-uprn/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
opda-x:exemplar
a opda:DiagnosticExemplar ;
dct:title "Flat with split UPRN — UPRN succession; physical identity persists" ;
dct:status "ratified" ;
dct:references <ODR-0005> , <ODR-0004> ;
skos:scopeNote
"Tests Rule 6: UPRN is a contingent administrative identifier; the same physical Property persists across re-numbering. The right answer is one Property individual (NOT two) whose current UPRN was derived from a predecessor. NO owl:sameAs anywhere. The reified opda:UPRNSuccessionEvent is canonical (S005 Q4 Gandon W3C-side recommendation — own URI, dereferenceable identity, audit trail); the literal opda:previousUPRN pair is retained as denormalised convenience for dash:uniqueValueForClass stale-reference checks. Both coexist; the reified event is authoritative. The Cagle SHACL-AF rule (ODR-0005 §6a) materialises the succession chain into the validation report at sh:Info severity, ensuring LLM consumers see the chain as structured data (per Hellmann et al. DBpedia 2017)." .
# Physical Property — one individual, persists across the UPRN re-numbering.
opda-x:property
a opda:Property ;
rdfs:label "Flat 5C Glasshouse Mansions — physical referent (unchanged across UPRN succession)" ;
opda:uprn "100000000222" ;
opda:postalAddress "Flat 5C, Glasshouse Mansions, 102 Glasshouse Walk, London SE11 5ES" .
# REMOVED 2026-07-05 (see header note above) — the reified succession event
# and its literal-pair alternative both relied on terms with zero PDTF
# schema basis (opda:UPRNSuccessionEvent, opda:previousUPRN,
# opda:retiredUPRN, opda:issuedUPRN), none of which are declared in the
# active ontology. Historical text, preserved for the session-005 record:
#
# opda-x:uprn-succession-event
# a opda:UPRNSuccessionEvent ;
# rdfs:label "UPRN re-numbering on building subdivision" ;
# prov:atTime "2022-09-01T00:00:00Z"^^xsd:dateTime ;
# opda:retiredUPRN "100000000111" ;
# opda:issuedUPRN "100000000222" ;
# opda:appliesTo opda-x:property .
# Leasehold title for this flat (registered post-subdivision). The freehold of the building is a
# separate title not included here — multi-title cardinality is the parallel S005 Q5 question
# (2-vs-3 class split) and is covered by deliberation, not by stacking more individuals in this exemplar.
opda-x:title-leasehold
a opda:RegisteredTitle ;
rdfs:label "HMLR title TGL654321 (leasehold of Flat 5C)" ;
opda:titleNumber "TGL654321" ;
opda:firstRegisteredOn "2022-10-12"^^xsd:date .
# Co-reference between title and physical flat. NEVER owl:sameAs.
opda-x:title-leasehold opda:identifiesSameProperty opda-x:property .
Expected SHACL validation report
# flat-with-split-uprn-expected-report.ttl — paired SHACL validation report
# Generated by opda-gen 1.0.2; DO NOT HAND-EDIT.
# Specification: https://opda.org.uk/pdtf/harness/adr/ADR-0007-ontology-generator-specification
# Implementation: https://opda.org.uk/pdtf/harness/adr/ADR-0014-baspi5-round-trip-mvp-harness
# Ratifying ODR: ODR-0004 §8a (diagnostic exemplar pairing).
# Comparison is semantic-equivalence (focusNode, resultPath, severity, constraint, message) per tests/baspi5_round_trip/compare_reports.py.
@prefix dct: <http://purl.org/dc/terms/> .
@prefix opda: <https://opda.org.uk/pdtf/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
<https://opda.org.uk/pdtf/harness/data/exemplar-reports/report>
rdf:type sh:ValidationReport ;
dct:source <https://opda.org.uk/pdtf/harness/data/exemplar/flat-with-split-uprn> ;
sh:conforms "true"^^xsd:boolean .
Related
The full exemplar catalogue and round-trip contract: Exemplars; the shapes this graph validates against: SHACL shapes; the overlay profiles it loads: Overlay profiles.