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

    UFO meta-category

    RoleMixin

    4 classes classified under the UFO foundational meta-category RoleMixin — from the inert opda:ufoCategory facet (an annotation-graph-only documentary annotation; UFO-informed, not UFO-grounded). The classification doctrine keeps kinds as facets, not subclass trees (ODR-0027).

    Classes · 4

    ClassDefinition (rdfs:comment)
    opda:Buyer UFO RoleMixin (anti-rigid; cross-sortal — borne by Person OR Organisation). Founded by an opda:Transaction Relator. The Buyer role of one transaction may correspond to the Seller role of the next in a TransactionChain (cf. exemplar chain-of-transactions.ttl).
    opda:Evidence Evidence supporting a Claim. UFO RoleMixin (anti-rigid, cross-categorial — a bearer is evidence only qua a VerificationActivity using it; ODR-0006 Seller/Buyer pattern); PROV-O Entity. Evidence KIND is a coded isMemberOf classification — opda:evidenceType over opda:EvidenceMethodScheme (the OIDC4IDA evidence.type value-space: Document / Electronic-Record / Vouch) — NOT a subclass tree (ODR-0027 §R6; the former …Evidence subclasses are retired, since 'evidence is a role a document plays' and a Role is never rdfs:subClassOf a Kind). The three kinds are NOT collapsed (S009 R5): they remain distinct scheme concepts. Kind-specific attributes (opda:attestedBy for vouches; document/record specifics) are facets borne by the role; per-kind obligations are validated VALUE-KEYED by opda:EvidenceFacetShape (sh:targetSubjectsOf opda:evidenceType + sh:or material implication; ADR-0012).
    opda:RoleMixin UFO RoleMixin — anti-rigid, cross-sortal role pattern. An instance of a RoleMixin is borne by a bearer drawn from more than one substantial Kind (e.g. Seller may be borne by Person OR Organisation). Distinguished from `opda:Role` (which is sortal — borne by a single Kind). Per ODR-0006 §Q2 Role layer.
    opda:Seller UFO RoleMixin (anti-rigid; cross-sortal — borne by Person OR Organisation). Founded by an opda:Transaction Relator (ODR-0006 §Q2 + ODR-0007 §Q1). An instance of opda:Seller is borne by a specific Person or Organisation in the context of a specific Transaction; the role identity is parasitic on the (Transaction, bearer) tuple.

    All classes by module: Classes; the UFO meta-category legend: Foundations; the classification doctrine: Identity & classification. Full index: Index & glossary.