supplier role

IRI: https://spec.industrialontologies.org/ontology/construct/SupplierRole

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: agent role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supplier role

Direct subclasses:

• product provider role
• product service system provider role
• service provider role

Definition

agent role held by a person or organization when it offers to sell or provide products or services

Examples

• logistics service provider; vending machine; the material handling department (which manages the raw material and finished goods in company warehouses, and provides material handling services to manufacturing and other departments within its factories)

Adapted From

• APICS, term by the same name and Oxford Languages, term by the name ‘vendor’

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, constructs for economic transactions and ownership are lacking.

Formal Axioms

First-Order Logic Axioms

SupplierRole(x) → Role(x) ∧ ∃y∃p((Organization(y) ∨ Person(y)) ∧ (SupplyingBusinessProcess(p) ∨ OfferingForSaleBusinessProcess(p)) ∧ participatesInAtSomeTime(y,p) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘supplier role’ x then x is an ‘agent role’ that is the ‘role of’ some ‘person’ or ‘organization’ when it ‘participates in at some time’ some ‘supplying business process’ or ‘offering for sale business process’

Description Logic

constr:SupplierRole ⊑ constr:AgentRole

constr:SupplierRole ⊑ ∃ constr:roleOf .((constr:Organization ⊔ constr:Person) ⊓ ∃ bfo:participates_in_at_some_time .(constr:SellingBusinessProcess ⊔ constr:SupplyingBusinessProcess))

SubClassOf: constr:AgentRole

SubClassOf: constr:roleOf some ((constr:Organization or constr:Person) and bfo:participates_in_at_some_time some (constr:SellingBusinessProcess or constr:SupplyingBusinessProcess))