Concept tier agent

Proprietorship

https://opda.org.uk/pdtf/Proprietorship

UFO Relator (relational endurant) mediating Property + Proprietor instances against a RegisteredTitle. IC: the (Title, Persons-set) tuple per S006 Q3. Joint-tenancy vs tenants-in-common is a property of the Relator, NOT of the Roles. Founding event recorded via prov:wasGeneratedBy on the registration activity.

Classification

UFO: Relator (Guizzardi 2005 Ch. 4 §4.4 — relational endurant; founded by an event; mediates two or more bearers). HMLR Practice Guide 24 (joint tenancy / tenants in common).

Relationships

Predicate	Target	Cardinality	Inverse	Description
`hasRegisteredTitle`	`RegisteredTitle`	0..*	—	Proprietorship → RegisteredTitle join: the HMLR title-register record the Proprietorship Relator is registered against (ODR-0006 §Q3 — the Relator mediates Property + Proprietor instances against a RegisteredTitle). Single-domain edge with no never-reasoned commitment, so rdfs:domain opda:Proprietorship + rdfs:range opda:RegisteredTitle are both asserted (Council session-047 Q5 carrier ruling). The Proprietor arm is opda:mediates; the property arm reaches opda:Property via opda:RegisteredTitle opda:identifiesSameProperty.
`mediates`	`Proprietor`	0..*	—	Relator → Role mediation. A Relator (e.g. opda:Proprietorship) existentially mediates the ≥2 Role instances it founds (e.g. the opda:Proprietor roles of a joint tenancy). Per UFO a Relator just IS that which binds ≥2 relata (Guizzardi 2005 Ch.4 §4.4); opda:ProprietorshipMediationShape enforces sh:minCount 2 closed-world. Single-class relator-spine edge: rdfs:domain opda:Proprietorship + rdfs:range opda:Proprietor authored as documentary domain/range (ODR-0032 §R2 session-050 amendment). Design-time + SHACL-validated, NEVER reasoned (ODR-0029/0031) — the documentary axioms are AI-signal, not entailed (the closure adds zero domain/range triples, ADR-0035).

Constraints

ProprietorshipMediationShape sh:Violation

A Proprietorship Relator MUST mediate ≥2 Proprietor roles (opda:mediates, sh:minCount 2; sh:class opda:Proprietor) — a relator that binds fewer than two bearers is not a relator (UFO Guizzardi 2005 Ch.4 §4.4; ODR-0006 §Q3). Design-time + SHACL-validated, never reasoned.

Sources

harness/odr/ODR-0006/section-Q3