material location change process

IRI: https://spec.industrialontologies.org/ontology/construct/MaterialLocationChangeProcess

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › material location change process

Direct subclasses:

Definition

planned process that results in a material entity moving from one physical location to another

Explanatory Notes

  1. Material transfer process includes both the internal (e.g., inside a factory) and external (e.g., between factories) movement of an object

  2. BFO:Site is the synonym for physical location which is why Site is used in the axioms

Examples

  • Shipping goods from a warehouse to a customer; moving a tool from one location (work center) to another within the factory; transporting finished goods from one warehouse to another; pumping portions of crude oil through a pipeline; transferring a load of apples from a bin to a container; picking an apple; transporting passengers on a bus;

Counter-Examples

  • A specific type of material handling: E.g., changing only the orientation of the object within the same site (this does not change the site from t to t’); throwing waste into a garbage bin; removing a wing nut from a fixture in preparation for inserting a workpiece into the fixture.

Adapted From

  • http://www.ontologyrepository.com/CommonCoreOntologies/Mid/EventOntology and https://www.merriam-webster.com/dictionary/motion

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

Patterns for adequate reification of the n-ary pattern that is change of location need further refinement and testing.

Formal Axioms

First-Order Logic Axioms 

MaterialLocationChangeProcess(​x​) → PlannedProcess(​x)​ ∧ ​∃​y∃​​t∃​​t​1∃​​t2∃​s∃​s1∃​z∃​z1(MaterialEntity(​y​) ∧ TemporalInstant(t) ∧ TemporalInstant(t1) ∧ TemporalRegion(t2) ∧ IndependentContinuant(s) ∧ IndependentContinuant(s1) ∧ Site(z) ∧ Site(z1) ∧ hasParticipantAtSomeTime(x,y)
∧ firstInstantOf(​t​, ​t2) ∧ lastInstantOf(​t1​, ​t2​) ∧ occupiesTemporalRegion(​x,​t2)​ ∧ existsAt(s,t) ∧ existsAt(s1,t1) ∧ locatedInAtalltimes(s,z) ∧ locatedInAtAlltimes(s1,z1) ∧ locationOfAtAlltimes(s,y) ∧ locationOfAtAllTimes(s1,y))

Semi-Formal Natural Language Axioms

if x is a ‘material location change process’ then x is a ‘planned process’ in which a ‘material entity’ is moved from one ‘site’ to another

Description Logic

constr:MaterialLocationChangeProcess ⊑ constr:PlannedProcess

constr:MaterialLocationChangeProcess ⊑ ∃ bfo:has_participant .(bfo:material_entity ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ (∃ bfo:first_instant_of .bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))) ⊓ ∃ bfo:location_of_at_all_times⁻ .(bfo:independent_continuant ⊓ ∃ bfo:located_in_at_all_times .bfo:site ⊓ ∃ bfo:exists_at .(bfo:temporal_instant ⊓ ∃ bfo:last_instant_of .(bfo:temporal_region ⊓ ∃ bfo:occupies_temporal_region⁻ .constr:PlannedProcess))))

SubClassOf: constr:PlannedProcess

SubClassOf: bfo:has_participant some (bfo:material_entity and inverse bfo:location_of_at_all_times some (bfo:independent_continuant and bfo:located_in_at_all_times some bfo:site and bfo:exists_at some (bfo:temporal_instant and (bfo:first_instant_of some bfo:temporal_region and inverse bfo:occupies_temporal_region some constr:PlannedProcess))) and inverse bfo:location_of_at_all_times some (bfo:independent_continuant and bfo:located_in_at_all_times some bfo:site and bfo:exists_at some (bfo:temporal_instant and bfo:last_instant_of some (bfo:temporal_region and inverse bfo:occupies_temporal_region some constr:PlannedProcess))))