material handling plan
IRI: https://spec.industrialontologies.org/ontology/construct/MaterialHandlingPlan
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: plan specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › material handling plan
Definition
plan specification containing instructions that prescribe the movement of material between production machines
Explanatory Notes
A specification (PlanSpecification) that prescribes one or more material handling operations—sequences of actions, resource allocations, and constraints—designed to govern the efficient, safe, and controlled movement of materials or entities within production, storage, or distribution contexts.
The class is open to be further constrained by different kinds of material handling types. At this point only machine transfer process is included. The term can be overloaded by users with other general class axioms, e.g., some part of it describing the raw material sourcing process.
As the natural language suggests, planning in warehouse will require a more detailed characterization, this term needs to be shared between two modules by some upper level mapping, however such proposal are yet to be made.
Examples
- batch-transfer schedule for moving chemicals from a reactor to a storage tank; warehouse picking and delivery instructions for supplying components to an assembly line; pallet-movement schedule for transporting finished products to shipping
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
See the rationale provided under information content entity for informational entity types.
Formal Axioms
First-Order Logic Axioms
PlanSpecification(x) ∧ ∃y,z (prescribes(y, z) ∧ MachineTransferProcess(z)) ∧ hasContinuantPartAtAllTimes(x, y) → MaterialHandlingPlan(x)
Semi-Formal Natural Language Axioms
if x is a ‘plan specification’ that ‘has continuant part at all times’ some ‘action specification’ that ‘prescribes’ some ‘machine transfer process’, then x is a ‘material handling plan’
Description Logic
constr:MaterialHandlingPlan ⊑ constr:PlanSpecification
constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .∃ constr:prescribes .constr:WorkInProgressTransferProcess ⊑ constr:MaterialHandlingPlan
SubClassOf: constr:PlanSpecification
constr:PlanSpecification and bfo:has_continuant_part_at_all_times some constr:prescribes some constr:WorkInProgressTransferProcess SubClassOf: constr:MaterialHandlingPlan