Exemplar S005 — Property identity paired report

`registered-freehold-house`

Baseline easy case: UPRN present, title registered, single proprietor — the differentiator for the harder cases.

Input instance (ABox)

# Diagnostic exemplar — ODR-0004 §8a, IC-only — input to ODR-0005 (Property & Land Identity Crux).
# Situation: 24 Acacia Avenue, Birmingham. UPRN present; freehold title registered; single proprietor.
# 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: accepted (council: session-005).
# Amended 2026-05-27 post-S005 close: added opda:LegalEstate individual explicitly (3-class commitment from S005 Q5).

@prefix opda:    <https://opda.org.uk/pdtf/> .
@prefix opda-x:  <https://opda.org.uk/pdtf/harness/data/exemplar/registered-freehold-house/> .
@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 "Registered freehold house — baseline easy case" ;
    dct:status "ratified" ;
    dct:references <ODR-0005> , <ODR-0004> ;
    skos:scopeNote
        "Tests the IC under no edge condition: UPRN present, freehold legal estate vested, freehold title registered. Under the 3-class commitment (S005 Q5): one physical Property + one LegalEstate (freehold rights-bundle) + one RegisteredTitle (HMLR record) all co-referring; no succession; no degradation; no first-registration ambiguity. Baseline against which the harder cases (unregistered, UPRN-split) are differentiated." .

# Physical Property — UFO Substance Kind, DOLCE Endurant (S005 §2a).
opda-x:property
    a opda:Property ;
    rdfs:label "Physical dwelling at 24 Acacia Avenue, Birmingham" ;
    opda:uprn "100070123456" ;
    opda:inspireId "urn:opda:inspire:200012345" ;
    opda:postalAddress "24 Acacia Avenue, Birmingham, B12 9XY" .

# Legal estate — UFO Substance Kind, DOLCE NonPhysicalEndurant; IC = rights-bundle persistence (S005 §3b).
opda-x:estate
    a opda:LegalEstate ;
    rdfs:label "Freehold estate in 24 Acacia Avenue" ;
    opda:tenureKind <https://opda.org.uk/pdtf/scheme/tenureKind/Freehold> .

# Registered title — UFO Substance Kind, DOLCE NonPhysicalEndurant; IC = title-number lineage (S005 §3c).
opda-x:title
    a opda:RegisteredTitle ;
    rdfs:label "HMLR title BM123456 (freehold record)" ;
    opda:titleNumber "BM123456" ;
    opda:firstRegisteredOn "1998-03-14"^^xsd:date ;
    opda:lastRegistryEvent "2018-05-12"^^xsd:date .

# Co-reference: title records the estate; estate vests in the property. NEVER owl:sameAs.
opda-x:title opda:identifiesSameProperty opda-x:property .
opda-x:estate opda:identifiesSameProperty opda-x:property .
opda-x:title opda:recordsEstate opda-x:estate .

Expected SHACL validation report

# registered-freehold-house-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/registered-freehold-house> ;
    sh:conforms "true"^^xsd:boolean .

The full exemplar catalogue and round-trip contract: Exemplars; the shapes this graph validates against: SHACL shapes; the overlay profiles it loads: Overlay profiles.

Input instance (ABox)

Expected SHACL validation report

Related