operation specification
IRI: https://spec.industrialontologies.org/ontology/construct/OperationSpecification
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: action specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › action specification › operation specification
Definition
action specification that prescribes a manufacturing operation and includes specifications for its process steps
Explanatory Notes
This part of the plan specifies one or many steps, each of which is to be performed using one or more specific manufacturing resource in parallel or consecutively.
Examples
- machining work instruction specifying centering, drilling, reaming, and hole finishing; injection-molding instruction specifying mold closing, polymer injection, cooling, and part ejection, NC Program for machining a part on a lathe
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
see the rationale provided under information content entity for informational entity types.
Formal Axioms
First-Order Logic Axioms
LA1: OperationSpecification(o) ∧ hasContinuantPartAtAllTimes(o,p) → ¬ProcessPlan(p) ∧ ¬ProductionPlan(p)
LA2: OperationSpecification(o) ∧ hasProperContinuantPartAtAllTimes(o,o') → ¬OperationSpecification(o')
LA3: ActionSpecification(o) ∧ ∃s(ProcessStepSpecification(s) ∧ hasContinuantPartAtAllTimes(o,s)) ∧ ∃p(ManufacturingOperation(p) ∧ prescribes(o,p)) → OperationSpecification(o)
Semi-Formal Natural Language Axioms
LA1: if an instance of ‘operation specification’ ‘has continuant part at all times’ an entity, then that entity is neither an instance of ‘process plan’ nor an instance of ‘production plan’
LA2: if an instance of ‘operation specification’ ‘has proper continuant part at all times’ an entity, then that entity is not an instance of ‘operation specification’
LA3: if an instance of ‘action specification’ ‘has continuant part at all times’ some instance of ‘process step specification’ and ‘prescribes’ some instance of ‘manufacturing operation’, then it is an instance of ‘operation specification’
Description Logic
constr:OperationSpecification ⊑ constr:ActionSpecification
constr:OperationSpecification ⊑ ∀ bfo:has_proper_continuant_part_at_all_times .¬ constr:OperationSpecification
constr:OperationSpecification ⊑ ∀ bfo:has_continuant_part_at_all_times .¬ constr:ProcessPlan ⊔ constr:ProductionPlan
constr:ActionSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:ProcessStepSpecification ⊓ ∃ constr:prescribes .constr:ManufacturingOperation ⊑ constr:OperationSpecification
SubClassOf: constr:ActionSpecification
SubClassOf: bfo:has_proper_continuant_part_at_all_times only not constr:OperationSpecification
SubClassOf: bfo:has_continuant_part_at_all_times only not (constr:ProcessPlan or constr:ProductionPlan)
constr:ActionSpecification and bfo:has_continuant_part_at_all_times some constr:ProcessStepSpecification and constr:prescribes some constr:ManufacturingOperation SubClassOf: constr:OperationSpecification