supplier

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

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

SubClass Of: agent

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › supplier

Direct subclasses:

• carrier
• product provider
• product service system provider
• service provider

Definition

person or organization which has a supplier role

Semi-Formal Definition:

every instance of ‘supplier’ is defined as exactly an instance of ‘person’ or ‘organization’ that ‘has role’ some ‘supplier role’

Explanatory Notes

See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.

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)

Formal Axioms

First-Order Logic Definition

Supplier(x) ↔ Person(x) ∨ Organization(x) ∧ ∃r(SupplierRole(r) ∧ hasRole(x,r))

Description Logic

constr:Supplier ≡ (constr:Organization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:SupplierRole

constr:Supplier ⊑ constr:Agent

EquivalentTo: (constr:Organization or constr:Person) and constr:hasRole some constr:SupplierRole

SubClassOf: constr:Agent