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 specification that contains a set of production orders and prescribes how they are to be fulfilled
Semi-Formal Definition:
every instance of ‘production plan’ is defined as exactly an instance of ‘plan specification’ that ‘has proper continuant part at all times’ some instance of ‘production order’
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(p) ↔ PlanSpecification(p) ∧ ∃o(ProductionOrder(o) ∧ hasProperContinuantPartAtAllTimes(p,o))
First-Order Logic Axioms
LA1: ProductionPlan(p) ∧ hasProperContinuantPartAtSomeTime(p,p') → ¬ProductionPlan(p')
LA2: PlanSpecification(p) ∧ ∃q(PlannedProcess(q) ∧ prescribes(p,q) ∧ ∃o(ProductProductionProcess(o) ∧ hasOccurrentPart(q,o))) → ProductionPlan(p)
Semi-Formal Natural Language Axioms
LA1: if p is an instance of ‘production plan’ and p ‘has proper continuant part at some time’ p’, then p’ is not an instance of ‘production plan’
LA2: if an instance of ‘plan specification’ ‘prescribes’ some instance of ‘planned process’ that ‘has occurrent part’ some instance of ‘product production process’, then it is an instance of ‘production plan’
Description Logic
constr:ProductionPlan ≡ constr:PlanSpecification ⊓ ∃ bfo:has_proper_continuant_part_at_all_times .constr:ProductionOrder
constr:ProductionPlan ⊑ constr:PlanSpecification
constr:ProductionPlan ⊑ ∀ bfo:has_proper_continuant_part_at_some_time .¬ constr:ProductionPlan
constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:ProcessPlan ⊓ ∃ constr:prescribes .(constr:PlannedProcess ⊓ ∃ bfo:has_occurrent_part .constr:ProductProductionProcess) ⊑ constr:ProductionPlan
EquivalentTo: constr:PlanSpecification and bfo:has_proper_continuant_part_at_all_times some constr:ProductionOrder
SubClassOf: constr:PlanSpecification
SubClassOf: bfo:has_proper_continuant_part_at_some_time only not constr:ProductionPlan
constr:PlanSpecification and bfo:has_continuant_part_at_all_times some constr:ProcessPlan and constr:prescribes some (constr:PlannedProcess and bfo:has_occurrent_part some constr:ProductProductionProcess) SubClassOf: constr:ProductionPlan