Exemplar S007 — Transactions paired report

`lease-extension-transaction`

Statutory lease extension (99→189 years): LegalEstate persists; lease term as a time:ProperInterval.

Input instance (ABox)

# Diagnostic exemplar — ODR-0004 §8a, IC-only — input to ODR-0007 (Transactions & Lifecycle).
# Situation: statutory lease extension — leaseholder pays a premium to the freeholder to extend
# the lease term by 90 years (per Leasehold Reform, Housing and Urban Development Act 1993).
# The Transaction modifies an existing LegalEstate (the leasehold) and updates the RegisteredTitle.
# Tests Q5 lease term as OWL-Time interval (`time:ProperInterval`); Q1 Transaction-vs-Event
# (this is a lifecycle event on an existing estate, not a new estate vesting); cross-cite
# Hendler S005 Q5 lease-extension consumer-fails case (charge-event on title-record, not on estate).
# Status: ratified. Namespace: https://opda.org.uk/pdtf/ (Session 003b + ADR-0006).
# ODR-0004 status: accepted (council: session-004); ODR-0007 status: accepted (council: session-007).

@prefix opda:    <https://opda.org.uk/pdtf/> .
@prefix opda-x:  <https://opda.org.uk/pdtf/harness/data/exemplar/lease-extension-transaction/> .
@prefix prov:    <http://www.w3.org/ns/prov#> .
@prefix time:    <http://www.w3.org/2006/time#> .
@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 "Lease extension transaction — leasehold term extended by 90 years (LRHUDA 1993)" ;
    dct:status "ratified" ;
    dct:references <ODR-0007> , <ODR-0006> , <ODR-0005> , <ODR-0011> , <ODR-0004> ;
    skos:scopeNote
        "Tests Q5 lease term as OWL-Time `time:ProperInterval` with `time:hasBeginning` + `time:hasDurationDescription`. Tests Q1 Transaction-as-Relator framing under a lifecycle-event-on-existing-Kind: the LegalEstate (leasehold) PERSISTS through the extension (its rights-bundle is modified, not dissolved per S005 §3b Rule 1 estate transfer / Rule 4 charges-and-easements don't change identity); the RegisteredTitle records the extension as a registry-event (S005 §3c Rule 1 — title persists; new registry-event timestamp). This is Hendler's S005 Q5 'lease extension' consumer-fails case: the property of being-extended attaches to the RegisteredTitle's lifecycle event, NOT to the LegalEstate (which retains the same identity) and NOT to the Property (which is unchanged)." .

# The Property (S005 3-class)
opda-x:property
    a opda:Property ;
    rdfs:label "Flat 12 Cedar House, Manchester" ;
    opda:uprn "100070666666" .

# The LegalEstate (leasehold; persists through extension per S005 §3b)
opda-x:estate-leasehold
    a opda:LegalEstate ;
    rdfs:label "Leasehold estate in Flat 12 Cedar House (since 2007; extended 2024)" ;
    opda:tenureKind <https://opda.org.uk/pdtf/scheme/tenureKind/Leasehold> ;
    opda:leaseTerm opda-x:lease-term-current .

# The lease term as an OWL-Time interval (Q5)
opda-x:lease-term-original
    a time:ProperInterval , opda:LeaseTerm ;
    rdfs:label "Original lease term (99 years from 2007-01-01; expired by extension)" ;
    time:hasBeginning [ time:inXSDDate "2007-01-01"^^xsd:date ] ;
    time:hasDurationDescription [ time:years 99 ] ;
    opda:retiredBy opda-x:extension-activity .   # historical interval; superseded

opda-x:lease-term-current
    a time:ProperInterval , opda:LeaseTerm ;
    rdfs:label "Current lease term (189 years from 2007-01-01 — 99 original + 90 extension)" ;
    time:hasBeginning [ time:inXSDDate "2007-01-01"^^xsd:date ] ;
    time:hasDurationDescription [ time:years 189 ] ;
    prov:wasDerivedFrom opda-x:lease-term-original .

# The RegisteredTitle (records the extension as a registry-event per S005 §3c)
opda-x:title
    a opda:RegisteredTitle ;
    rdfs:label "HMLR title MN777888 (leasehold of Flat 12 Cedar House)" ;
    opda:titleNumber "MN777888" .

opda-x:title opda:identifiesSameProperty opda-x:property .
opda-x:estate-leasehold opda:identifiesSameProperty opda-x:property .

# The extension activity (lifecycle event on the title record + the leasehold estate)
opda-x:extension-activity
    a prov:Activity , opda:LeaseExtensionEvent , opda:Transaction ;
    rdfs:label "Statutory lease extension (LRHUDA 1993; completed 2024-09-30)" ;
    opda:legalBasis <https://www.legislation.gov.uk/ukpga/1993/28/contents> ;
    prov:atTime "2024-09-30T15:00:00Z"^^xsd:dateTime ;
    opda:appliesTo opda-x:estate-leasehold ;
    opda:updatesRegistryRecord opda-x:title ;
    opda:premiumPaid "42500.00"^^xsd:decimal ;
    opda:premiumCurrency "GBP" .

Expected SHACL validation report

# lease-extension-transaction-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/lease-extension-transaction> ;
    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