@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/playedBy> a owl:ObjectProperty ;
    rdfs:label "played by" ;
    skos:definition "Relates a Role qua-individual (a Seller, Buyer, or Proprietor) to the Person or Organisation that bears it — the navigable link home from a role-instance to its bearer, emitted only where the two are distinct nodes. Inverse of opda:plays." ;
    rdfs:comment "Role → bearer navigable edge: the Person or Organisation that plays this Role qua-individual. Documentary \"any-of\" domain/range (ODR-0032 §R2 session-050 amendment; schema.org domainIncludes idiom): rdfs:domain opda:Role , opda:RoleMixin (the subject is an opda:Role — Proprietor — OR an opda:RoleMixin — Seller/Buyer — sibling role meta-classes) and rdfs:range opda:Person , opda:Organisation (the bearer), each MULTIPLE triples read DISJUNCTIVELY per the module-header convention, NOT the RDFS §3.2 conjunction. Authored as AI-signal, NEVER entailed (zero domain/range triples materialise, ADR-0035 — so the range does NOT entail every bearer is a Person). The authoritative disjunctions live in SHACL sh:or (subject: opda:RolePlaySubjectShape; bearer: opda:RolePlayShape / opda:SellerShape / opda:BuyerShape), NOT owl:unionOf (excluded construct). OPTIONAL / distinct-node-only per Council session-047 Q4: emitted only where the role qua-individual is a node distinct from its bearer; never a self-edge. Coexists with role co-typing (ODR-0006 §Q2) — the typed encoding is the canonical IC, this is the navigable link for the distinct-node case (a qua-individual, prov:Agent-attested participant). Inverse: opda:plays." ;
    rdfs:domain <https://opda.org.uk/pdtf/Buyer> ;
    rdfs:domain <https://opda.org.uk/pdtf/Role> ;
    rdfs:domain <https://opda.org.uk/pdtf/RoleMixin> ;
    rdfs:domain <https://opda.org.uk/pdtf/Seller> ;
    rdfs:range <https://opda.org.uk/pdtf/Organisation> ;
    rdfs:range <https://opda.org.uk/pdtf/Person> ;
    owl:inverseOf <https://opda.org.uk/pdtf/plays> ;
    dct:source <https://opda.org.uk/pdtf/harness/odr/ODR-0006/section-Q2> .

# one hop — immediate neighbours
<https://opda.org.uk/pdtf/Buyer> a owl:Class .
<https://opda.org.uk/pdtf/Role> a owl:Class .
<https://opda.org.uk/pdtf/RoleMixin> a owl:Class .
<https://opda.org.uk/pdtf/Seller> a owl:Class .