Object property agent context

founds

https://opda.org.uk/pdtf/foundsTurtle ↓

Relates a Relator to a Role it externally founds — a Transaction to its Seller and Buyer RoleMixins, or a Proprietorship to its Proprietor roles — capturing the UFO anti-rigidity dependence by which every role owes its existence to its founding relator.

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.