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

    Object property agent context

    played by

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

    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.

    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.

    Domain & range

    Subjects (domain)
    Buyer, Role, RoleMixin, Seller
    Objects (range)
    Organisation, Person
    Inverse
    plays

    Constraining SHACL shapes · 3

    ShapeTypeCard.SeverityMessage
    BuyerShape — — Violation An opda:Buyer role, where it names a distinct bearer node via opda:playedBy, MUST be played by an opda:Person OR an opda:Organisation (ODR-0006 §SHACL role-play shape; Council session-047 Q4). OPTIONAL — co-typed roles with no distinct bearer node are conformant (no sh:minCount, never a self-edge).
    RolePlayShape — — Violation opda:playedBy MUST point at an opda:Person OR an opda:Organisation (the role bearer). This sh:or is the AUTHORITATIVE bearer disjunction; the predicate also carries documentary "any-of" rdfs:range opda:Person , opda:Organisation (read disjunctively, never entailed — ADR-0035; Council session-047 Q4/Q5 / session-050). OPTIONAL / distinct-node-only — emitted only where the role qua-individual is a node distinct from its bearer; never a self-edge.
    SellerShape — — Violation An opda:Seller role, where it names a distinct bearer node via opda:playedBy, MUST be played by an opda:Person OR an opda:Organisation (ODR-0006 §SHACL role-play shape; Council session-047 Q4). OPTIONAL — co-typed roles with no distinct bearer node are conformant (no sh:minCount, never a self-edge).

    Provenance · dct:source

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