Concept tier agent

Seller

https://opda.org.uk/pdtf/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.

Classification

UFO: RoleMixin (Guizzardi 2005 Ch. 4 §4.4 — anti-rigid, externally founded, cross-sortal). Sub-Roles PersonSeller / OrganisationSeller may sortalise the RoleMixin where downstream use requires (per ODR-0006 §Role layer).

Attributes

Attribute	Type	Cardinality	Required	Identity-bearing	Description
`aged17OrOverNames`	`xsd:string`	0..*	N	N	Names of occupiers aged 17 or over (other than the Seller) in the Property. Plain string datatype per ODR-0008 §Q5a; flat per §Q6a. Companion to opda:hasOthersAged17OrOver (the Yes/No discriminator).
`hasOthersAged17OrOver`	`xsd:string`	0..*	N	N	Yes/No discriminator: does the Seller's household include occupiers aged 17 or over (other than the Seller)? BASPI5 occupiers question. Bound to opda:YesNoScheme.
`sellersCapacityDetails`	`xsd:string`	0..*	N	N	Free-text detail elaborating a Seller's asserted capacity (companion to opda:hasAssertedCapacity, ODR-0006 §Q4). Plain string datatype per ODR-0008 §Q5a; flat per §Q6a.

Relationships

Predicate	Target	Cardinality	Inverse	Description
`hasAssertedCapacity`	`Concept`	0..*	—	Seller-side asserted capacity per opda:SellersCapacityScheme (SKOS in opda-vocabularies.ttl). Sales-context seam in the two-predicate Capacity/Authority split per S006 Q4 (Evans + Vernon load-bearing). The assertion lives on the Sales side; the evidence link lives on the Conveyancing side via opda:hasEvidencedAuthority.
`hasEvidencedAuthority`	`Claim`	0..*	—	Conveyancing-side seam linking a Seller's asserted capacity to an opda:Claim of authority (e.g. probate, power of attorney). The founding grant is modelled as the missing Relator per ODR-0006 §Capacity split + ODR-0009 §Claim. Co-annotation with DPV lawful-basis lands per ODR-0018 in opda-annotations.ttl.
`playedBy`	`Organisation`	0..*	`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.

Constraints

SellerShape sh: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).

Sources

harness/odr/ODR-0006/section-Q2