supply chain agent role
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainAgentRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: agent role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supply chain agent role
Definition
role held by an agent that is a part of a supply chain system when it supplies material products or commercial services to other agents in the supply chain system
Semi-Formal Definition:
if x is a ‘supply chain agent role’ then x is a ‘role’ that is the ‘role of’ some ‘agent’ a that is ‘member part of at some time’ some ‘group of suppliers’ and that ‘has realization’ in some ‘supply chain process’
Examples
- role held by a manufacturer in a supply chain; role held by a carrier in a supply chain; roe held by a contractor who is responsible for on-site inspection of batches produced by a supplier of ventilator components
Formal Axioms
First-Order Logic Definition
SupplyChainAgentRolel(x) ↔ AgentRole(x) ∧ ∃a∃s∃p(Agent(a) ∧ SupplyChainProcess(p) ∧ GroupOfSuppliers(p) ∧ hasRelization(x,p) ∧ memberPartAtSomeTime(a,s) ∧ roleOf(x,a))
Description Logic
constr:SupplyChainAgentRole ≡ constr:AgentRole ⊓ ∃ bfo:has_realization .constr:SupplyChainProcess ⊓ ∃ constr:roleOf .(constr:Agent ⊓ ∃ bfo:member_part_of_at_some_time .constr:GroupOfSuppliers)
EquivalentTo: constr:AgentRole and bfo:has_realization some constr:SupplyChainProcess and constr:roleOf some (constr:Agent and bfo:member_part_of_at_some_time some constr:GroupOfSuppliers)
SubClassOf: owl:Thing