@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://opda.org.uk/pdtf/founds> a owl:ObjectProperty ;
    rdfs:label "founds" ;
    skos:definition "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." ;
    rdfs:comment "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." ;
    rdfs:domain <https://opda.org.uk/pdtf/Relator> ;
    rdfs:range <https://opda.org.uk/pdtf/Role> ;
    rdfs:range <https://opda.org.uk/pdtf/RoleMixin> ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0006/section-Q3> .

# one hop — immediate neighbours
<https://opda.org.uk/pdtf/Relator> a owl:Class .