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_at_some_time .constr:SupplyChainAgent ⊓ ∃ bfo:concretizes_at_some_time .(constr:SupplyChainPlanSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:SupplyChainAgent)
EquivalentTo: constr:BusinessProcess and bfo:has_participant_at_some_time some constr:SupplyChainAgent and bfo:concretizes_at_some_time some (constr:SupplyChainPlanSpecification and bfo:generically_depends_on_at_some_time some constr:SupplyChainAgent)
SubClassOf: constr:BusinessProcess