production plan
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionPlan
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 › production plan
Definition
Plan that aims at producing one or multiple products as specified or fulfills some production order.
Semi-Formal Definition:
A production plan is a type of plan specification that has as continuant parts, at all times, at least one objective specification that is a production order, and any continuant part that is a plan specification must be either a process plan, an inspection plan, or a material handling plan
Examples
- Production of a batch of 1,000 plastic containers and 100 lids in one week, production of 200 wooden chairs at the wood workshop to be completed by August 9. In the first quarter of 2025, the sewing department will produce 500 shirts.
Formal Axioms
First-Order Logic Definition
ProductionPlan(x) ↔ PlanSpecification(x) ∧ ∀y (continuantPartAtAllTimes(y,x) ∧ ObjectiveSpecification(y)) → ProductionOrder(y)) ∧ ∀z (continuantPartAtAllTimes(z,x) ∧ PlanSpecification(z) → (ProcessPlan(z) V InspectionPlan(z) V MaterialHandlingPlan(z)))
First-Order Logic Axioms
PlanSpecification(x) ∧ ∃y(prescribes(x,y) ∧ ProductProductionProcess(y)) → ProductionPlan(x)
Semi-Formal Natural Language Axioms
x is a ‘plan specifcation’ if and only if x prescribes a ‘product production process’ then x is a ‘production plan’.
Description Logic
constr:ProductionPlan ≡ constr:PlanSpecification ⊓ ∀ bfo:has_continuant_part_at_all_times .(constr:InspectionPlan ⊔ constr:MaterialHandlingPlan ⊔ constr:ProcessPlan) ⊓ ∀ bfo:has_proper_continuant_part_at_all_times .constr:ProductionOrder
constr:ProductionPlan ⊑ constr:PlanSpecification
constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:ProductProductionProcess ⊑ constr:ProductionPlan
EquivalentTo: constr:PlanSpecification and bfo:has_continuant_part_at_all_times only (constr:InspectionPlan or constr:MaterialHandlingPlan or constr:ProcessPlan) and bfo:has_proper_continuant_part_at_all_times only constr:ProductionOrder
SubClassOf: constr:PlanSpecification
constr:PlanSpecification and constr:prescribes some constr:ProductProductionProcess SubClassOf: constr:ProductionPlan