@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/mediates> a owl:ObjectProperty ;
    rdfs:label "mediates" ;
    skos:definition "Relates a Relator to a Role it existentially binds — specifically a Proprietorship to each of the two-or-more Proprietor roles of a joint holding — expressing the UFO mediation by which a relator just is that which connects its relata." ;
    rdfs:comment "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)." ;
    rdfs:domain <https://opda.org.uk/pdtf/Proprietorship> ;
    rdfs:domain <https://opda.org.uk/pdtf/Relator> ;
    rdfs:range <https://opda.org.uk/pdtf/Proprietor> ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0006/section-Q3> .

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