OPDA Knowledge base
Diagnostic exemplar

registered-freehold-house

registered-freehold-house

Summary

Baseline easy case for S005 (Property and land identity crux): UPRN present, freehold legal estate vested, freehold title registered, single proprietor. Under the 3-class commitment (S005 Q5): one physical opda:Property + one opda:LegalEstate (freehold rights-bundle) + one opda:RegisteredTitle (HMLR record) all co-referring; no succession; no degradation; no first-registration ambiguity. Baseline against which harder cases are differentiated.

Cross-link: Concept tier — Property hard cases.

Exemplar instance graph

--- config: layout: elk --- %%{init: {"theme": "base", "themeVariables": {"primaryColor": "#B3E5FC", "primaryTextColor": "#01579B", "primaryBorderColor": "#0277BD", "lineColor": "#37474F"}}}%% flowchart LR accTitle: registered-freehold-house exemplar instance graph accDescr: Three RDF instances (Property, LegalEstate, RegisteredTitle) co-referring via opda:identifiesSameProperty and opda:recordsEstate. Single UPRN, freehold tenure, baseline easy case. %% @prefix opda: %% @prefix opda-x: classDef cls fill:#E1BEE7,stroke:#6A1B9A,stroke-width:2px,color:#4A148C classDef instance fill:#B3E5FC,stroke:#0277BD,stroke-width:2px,color:#01579B classDef literal fill:#FFF9C4,stroke:#F57F17,stroke-width:2px,color:#E65100 P["opda-x:property
<b>Property</b>"]:::instance E["opda-x:estate
<b>LegalEstate</b>"]:::instance T["opda-x:title
<b>RegisteredTitle</b>"]:::instance UPRN["100070123456"]:::literal Tenure["freehold"]:::literal TitleN["BM123456"]:::literal Addr["24 Acacia Avenue, Birmingham"]:::literal P -->|opda:uprn| UPRN P -->|opda:postalAddress| Addr E -->|opda:tenureKind| Tenure T -->|opda:titleNumber| TitleN T -->|opda:identifiesSameProperty| P E -->|opda:identifiesSameProperty| P T -->|opda:recordsEstate| E

Exemplar Turtle

# 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 "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 report Turtle

# registered-freehold-house-expected-report.ttl — paired SHACL validation report
# Generated by opda-gen 1.0.0; 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 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/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 .

SHACL outcome

sh:conforms true — no shapes fire. The exemplar satisfies:

  • opda:PropertyIdentityKeyShape (Cat 1): opda:hasUPRN cardinality 1 (single UPRN literal)
  • opda:LegalEstateIdentityKeyShape (Cat 1): opda:tenureKind cardinality 1
  • opda:PropertyICBreachShape (Cat 2): co-reference uses opda:identifiesSameProperty (IRI-valued); no owl:sameAs
  • opda:UPRNSuccessionRule (SHACL-AF Info): materialises opda:hasUPRNSuccessionStatus "primary-uprn" (no prov:wasDerivedFrom)

Source ODR + ADR

Comments

Loading comments…