supply chain transport process
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainTransportProcess
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: supply chain process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › supply chain process › supply chain transport process
Definition
transport process which involves movement of goods between sending trading party’s location and receiving trading party’s locations over the public logistics pathway/infrastructure
Semi-Formal Definition:
every instance of ‘supply chain transport process’ is defined as exactly an instance of a ‘supply chain process’ that ‘has occurrent part’ some ‘transport process’ that ‘starts at’ and ‘ends at’ some ‘supply chain node’ and ‘has participant at some time’ some ‘shipment’
Examples
- transporting semi-finished assemblies from one supplier to another
Formal Axioms
First-Order Logic Definition
SupplyingChainTransportProcess(x) ↔ SupplyChainProcess(x) ∧ ∃p(TransportProcess(p) ∧ hasOccurrentPart(x,p)) ∧ ∃n1∃n2(SupplyChainNode(n1) ∧ SupplyChainNode(n2) ∧ startsAt(x,n1) ∧ endsAt(x,n2)) ∧ ∃s(Shipment(s) ∧ hasParticipantAtSomeTime (x,s))
Description Logic
constr:SupplyChainTransportProcess ≡ constr:SupplyChainProcess ⊓ ∃ bfo:has_occurrent_part .(constr:TransportProcess ⊓ ∃ constr:endsAt .constr:SupplyChainNode ⊓ ∃ constr:startsAt .constr:SupplyChainNode) ⊓ ∃ bfo:has_participant_at_all_times .constr:Shipment
EquivalentTo: constr:SupplyChainProcess and bfo:has_occurrent_part some (constr:TransportProcess and constr:endsAt some constr:SupplyChainNode and constr:startsAt some constr:SupplyChainNode) and bfo:has_participant_at_all_times some constr:Shipment
SubClassOf: owl:Thing