supply chain process
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainProcess
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: business process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › supply chain process
Direct subclasses:
Definition
planned process in which a supply chain plan specification is realized by a number of supply chain agents
Semi-Formal Definition:
every instance of ‘supply chain process’ is defined as exactly an instance of ‘business process’ that ‘has participant at some time’ some ‘supply chain agent’ and ‘concretizes at some time’ some ‘supply chain plan specification’ that ‘generically depends on at some time’ supply chain agent’
Examples
- shipment of a batch of semi-finished assemblies from a tier-2 supplier to a tier-1 supplier, inspection of a batch of parts before being shipped to the OEM, heat treatment of a batch of gears to be used in a transmission assembly by a BMW supplier
- the process of transporting good from supplier 1 to supplier 2, the product production process related to fulfillment of an order received from a tier-1 supplier
Formal Axioms
First-Order Logic Definition
SupplyChainProcess(x) ↔ BusinessProcess(x) ∧ ∃s∃p(SupplyChainAgent(s) ∧ SupplyChainPlanSpecification(p)) ∧ (hasParticipantAtSomeTime (x,s) ∧ concretizesAtSomeTime (x,p) ∧ genericallyDependsOnAtSomeTime (p,s))
Description Logic
constr:SupplyChainProcess ≡ constr:BusinessProcess ⊓ ∃ bfo:has_participant .constr:SupplyChainAgent ⊓ ∃ bfo:concretizes .(constr:SupplyChainPlanSpecification ⊓ ∃ bfo:generically_depends_on .constr:SupplyChainAgent)
EquivalentTo: constr:BusinessProcess and bfo:has_participant some constr:SupplyChainAgent and bfo:concretizes some (constr:SupplyChainPlanSpecification and bfo:generically_depends_on some constr:SupplyChainAgent)
SubClassOf: constr:BusinessProcess