process plan

IRI: https://spec.industrialontologies.org/ontology/construct/ProcessPlan

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 › process plan

Definition

Plan which include steps and sequence required to produce a product at the required quality level and cost.

Semi-Formal Definition:

If x is ‘process plan’ then x is a ‘plan specification’ and every ‘objective specification’ which is a continuant part of x is a ‘production order’, and every ‘action specification’, which is a continuant part of x is either a ‘operation specification’ or ‘process specification’.

Examples

• IKEA instructions to assemble furniture such as tables and chairs, and a step-by-step recipe for preparing a cake.

Formal Axioms

First-Order Logic Definition

ProcessPlan(x) ↔ PlanSpecification(x) ∧
∀y ((continuantPartAtAllTimes(y, x) ∧ ObjectiveSpecification(y)) → ProductionOrder(y)) ∧
∀z ((continuantPartAtAllTimes(z, x) ∧ ActionSpecification(z)) → (OperationSpecification(z) ∨ ProcessSpecification(z)))

First-Order Logic Axioms

PlanSpecification(x) ∧ ∃y(prescribes(x,y) ∧ ProductProductionProcess(y)) → ProcessPlan(x)

Semi-Formal Natural Language Axioms

x is a ‘plan specification’ if and only if x prescribes a ‘product production process’ then x is a ‘process plan’.

Description Logic

constr:ProcessPlan ≡ constr:PlanSpecification ⊓ ∀ bfo:has_proper_continuant_part_at_all_times .(constr:ObjectiveSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:MaterialProductSpecification) ⊓ ∀ bfo:has_proper_continuant_part_at_all_times .(constr:OperationSpecification ⊔ constr:ProcessStepSpecification)

constr:ProcessPlan ⊑ constr:PlanSpecification

constr:PlanSpecification ⊓ ∃ constr:prescribes .∃ bfo:occurrent_part_of .constr:ProductProductionProcess ⊑ constr:ProcessPlan

EquivalentTo: constr:PlanSpecification and bfo:has_proper_continuant_part_at_all_times only (constr:ObjectiveSpecification and bfo:has_continuant_part_at_all_times some constr:MaterialProductSpecification) and bfo:has_proper_continuant_part_at_all_times only (constr:OperationSpecification or constr:ProcessStepSpecification)

SubClassOf: constr:PlanSpecification

constr:PlanSpecification and constr:prescribes some bfo:occurrent_part_of some constr:ProductProductionProcess SubClassOf: constr:ProcessPlan