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