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 specification that prescribes a product production process and includes specifications for its operations or process steps
Semi-Formal Definition:
every instance of ‘process plan’ is defined as exactly an instance of ‘plan specification’ that ‘has proper continuant part at all times’ some ‘objective specification’ that ‘has continuant part at all times’ some ‘material product specification’, and that is ‘proper continuant part of at all times’ some ‘production plan’
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(p) ↔ PlanSpecification(p) ∧ ∃o(ObjectiveSpecification(o) ∧ hasProperContinuantPartAtAllTimes(p,o) ∧ ∃m(MaterialProductSpecification(m) ∧ hasContinuantPartAtAllTimes(o,m))) ∧ ∃p'(ProductionPlan(p') ∧ properContinuantPartOfAtAllTimes(p,p'))
First-Order Logic Axioms
LA1: ProcessPlan(p) ∧ hasProperContinuantPartAtAllTimes(p,p') → ¬ProcessPlan(p')
LA2: ProcessPlan(p) ∧ hasContinuantPartAtAllTimes(p,x) → ¬ProductionPlan(x)
LA3: PlanSpecification(p) ∧ ∃s((OperationSpecification(s) ∨ ProcessStepSpecification(s)) ∧ hasContinuantPartAtAllTimes(p,s)) ∧ ∃o(ProductProductionProcess(o) ∧ prescribes(p,o)) → ProcessPlan(p)
Semi-Formal Natural Language Axioms
LA1: if p is an instance of ‘process plan’ and p ‘has proper continuant part at all times’ p’, then p’ is not an instance of ‘process plan’
LA2: if p is an instance of ‘process plan’ and p ‘has continuant part at all times’ x, then x is not an instance of ‘production plan’
LA3: if an instance of ‘plan specification’ ‘has continuant part at all times’ some instance of ‘operation specification’ or ‘process step specification’ and ‘prescribes’ some instance of ‘product production process’, then it is an instance of ‘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:proper_continuant_part_of_at_all_times .constr:ProductionPlan
constr:ProcessPlan ⊑ constr:PlanSpecification
constr:ProcessPlan ⊑ ∀ bfo:has_proper_continuant_part_at_all_times .¬ constr:ProcessPlan
constr:ProcessPlan ⊑ ∀ bfo:has_continuant_part_at_all_times .¬ constr:ProductionPlan
constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .(constr:OperationSpecification ⊔ constr:ProcessStepSpecification) ⊓ ∃ constr:prescribes .constr:ProductProductionProcess ⊑ constr:ProcessPlan
EquivalentTo: constr:PlanSpecification and bfo:has_proper_continuant_part_at_all_times some (constr:ObjectiveSpecification and bfo:has_continuant_part_at_all_times some constr:MaterialProductSpecification) and bfo:proper_continuant_part_of_at_all_times some constr:ProductionPlan
SubClassOf: constr:PlanSpecification
SubClassOf: bfo:has_proper_continuant_part_at_all_times only not constr:ProcessPlan
SubClassOf: bfo:has_continuant_part_at_all_times only not constr:ProductionPlan
constr:PlanSpecification and bfo:has_continuant_part_at_all_times some (constr:OperationSpecification or constr:ProcessStepSpecification) and constr:prescribes some constr:ProductProductionProcess SubClassOf: constr:ProcessPlan