arrival process
IRI: https://spec.industrialontologies.org/ontology/construct/ArrivalProcess
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: material location change process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material location change process › arrival process
Definition
material location change process that consists of the participating entity reaching its destination such that the travel or transport process which it is a part of is completed
Examples
- the process during which a truck enters the facility of the receiver
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
To provide the necessary and sufficient conditions, the relationships representing Allen’s Interval Algebra elements are needed.
Formal Axioms
First-Order Logic Axioms
ArrivalProcess(x) → MaterialLocationChangeProcess(x) ∧ ∃y(TravelProcess(y) ∨ TransportProcess(y)) ∧ occurrentPartOf(x,y) ∧ ∃z∃z1∃t(TemporalRegion(z) ∧ TemporalRegion(z1) ∧ TemporalInstant(t)) ∧ occupiesTemporalRegion(x,z) ∧ occupiesTemporalRegion(y,z1) ∧ lastInstantOf(t,z1) ∧ occupiesTemporalRegion(x,t)
Semi-Formal Natural Language Axioms
if x is an ‘arrival process’ then x is a ‘material location change process’ that is ‘occurent part of’ some ‘transport process’ or ‘travel process’ y and that ‘occupies temporal region’ some ‘temporal region’ z which has ‘last instant of’ the temporal region of y as occurent part
Description Logic
constr:ArrivalProcess ⊑ constr:MaterialLocationChangeProcess
constr:ArrivalProcess ⊑ ∃ bfo:occurrent_part_of .(constr:TransportProcess ⊔ constr:TravelProcess)
constr:ArrivalProcess ⊑ ∃ bfo:occupies_temporal_region .∃ bfo:has_occurrent_part .∃ bfo:last_instant_of .∃ bfo:occupies_temporal_region⁻ .(constr:TransportProcess ⊔ constr:TravelProcess)
SubClassOf: constr:MaterialLocationChangeProcess
SubClassOf: bfo:occurrent_part_of some (constr:TransportProcess or constr:TravelProcess)
SubClassOf: bfo:occupies_temporal_region some bfo:has_occurrent_part some bfo:last_instant_of some inverse bfo:occupies_temporal_region some (constr:TransportProcess or constr:TravelProcess)