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

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.

Explanatory Notes

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.

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

∀x (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:MachineTransferProcess ⊑ constr:MaterialHandlingPlan

SubClassOf: constr:PlanSpecification

constr:PlanSpecification and bfo:has_continuant_part_at_all_times some constr:prescribes some constr:MachineTransferProcess SubClassOf: constr:MaterialHandlingPlan