OPDA Knowledge base
Logical tier property

Lease Term

opda:LeaseTerm

Lease Term

Summary

OWL-Time ProperInterval representing a leasehold term. Carries time:hasBeginning + time:hasDurationDescription (or time:hasEnd) per S007 Q5. [Information particular; UFO Information particular bounding a leasehold tenure perdurant]. Belongs to a leasehold LegalEstate. Modified by LeaseExtensionEvent on statutory extension — extension produces a successor LeaseTerm with a prov:wasDerivedFrom chain. Concept tier →

Attributes

This entity declares no module-local datatype properties beyond those inherited from time:ProperInterval (time:hasBeginning, time:hasEnd, time:hasDurationDescription). These OWL-Time predicates are platform-agnostic and not re-emitted at the Logical tier.

Relationships

This entity declares no module-local object properties. Inbound predicates: LegalEstate.leaseTerm; LeaseExtensionEvent produces a successor via PROV-O.

Identity key

Identity key = (LegalEstate, time:hasBeginning, time:hasEnd) or (LegalEstate, time:hasBeginning, time:hasDurationDescription). A LeaseTerm is parasitic on its parent LegalEstate; on lease extension a successor LeaseTerm is minted via prov:wasDerivedFrom. Cross-reference: Concept-tier LeaseTerm narrative.

Constraints

No SHACL Violation/Warning shapes emitted on LeaseTerm at this tier — the OWL-Time interval shape constraints are inherited from the upstream W3C Time Ontology recommendation.

Derived attributes

AttributeDerived fromRule summarySeverity
hasLeaseTermSuccessionStatusprov:wasDerivedFrom chain to predecessor LeaseTermextended-from-predecessor when a prior LeaseTerm is named via prov; primary-term otherwiseInfo

ER diagram

%%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% erDiagram accTitle: LeaseTerm — Entity-Relationship Diagram accDescr: Direct-neighbour view of LeaseTerm — bounded by LegalEstate, succeeded by LeaseExtensionEvent, and chained via PROV-O wasDerivedFrom to its predecessor. LegalEstate ||--o| LeaseTerm : "leaseTerm" LeaseExtensionEvent }o--|| LeaseTerm : "produces successor" LeaseTerm }o--|| LeaseTerm : "prov:wasDerivedFrom"

Lifecycle state-transition diagram

LeaseTerm is parasitic on its parent LegalEstate. Each LeaseExtensionEvent mints a successor LeaseTerm via prov:wasDerivedFrom, forming a PROV chain of predecessor → successor terms.

%%{init: {"theme": "base", "themeVariables": {"primaryColor": "#E1BEE7", "primaryTextColor": "#4A148C", "primaryBorderColor": "#6A1B9A", "lineColor": "#37474F"}}}%% stateDiagram-v2 accTitle: LeaseTerm — Lifecycle State-Transition Diagram accDescr: LeaseTerm lifecycle — primary term minted on lease grant, successor terms minted on LeaseExtensionEvent forming a PROV-O lineage chain. [*] --> Primary : lease grant Primary --> Successor : LeaseExtensionEvent
prov:wasDerivedFrom Successor --> Successor : further extension
(chain continues) Primary --> Expired : term reached time:hasEnd Successor --> Expired : term reached time:hasEnd Expired --> [*]

Source ODR + ADR

Comments

Loading comments…