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)