Open Property Data Association
Smart Property Data Trust Framework
Become a member Join a working group
    Concept tier foundation

    Relator

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

    UFO Relator — a relational endurant that mediates two or more bearers and is founded by an external event. The Relator carries its own identity (the (mediated-bearers, founding-event) tuple) and bears properties that don't belong to any single mediated Kind. OPDA Relators in scope: opda:Transaction (founds Seller / Buyer RoleMixins per ODR-0007 §Q1); opda:Proprietorship (binds Proprietor Roles to a RegisteredTitle per ODR-0006 §Q3).

    Classification

    UFO: Relator (Guizzardi 2005 Ch. 4 §4.4 — relational endurant; founded by an event; mediates two or more bearers). DOLCE: Relation as Universal (Masolo et al. 2003 D18 §4.6).

    Relationships

    Predicate Target Cardinality Inverse Description
    founds RoleMixin 0..* — Relator → Role founding. A Transaction relator founds the Seller and Buyer RoleMixins; a Proprietorship founds its Proprietor roles. Per UFO anti-rigidity every Role is externally founded by its Relator (Guizzardi 2005 Ch.4 §4.4; ODR-0006 §Q3). Documentary domain/range: plain rdfs:domain opda:Relator (Transaction & Proprietorship are both ⊑ opda:Relator — universally true) + "any-of" rdfs:range opda:Role , opda:RoleMixin (read disjunctively per the module-header convention — Proprietor is a Role, Seller/Buyer are RoleMixins; authoritative disjunction in opda:FoundsRangeShape sh:or, NOT owl:unionOf). Design-time, NEVER reasoned (ODR-0030 Rule 1 / ODR-0031) — the axioms are AI-signal, not entailed (zero domain/range triples materialise, ADR-0035). Relator spine only; not a general roleOf.
    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).

    Sources

    • harness/odr/ODR-0006/section-Q3

    Comments

    Loading comments…