process step specification
IRI: https://spec.industrialontologies.org/ontology/construct/ProcessStepSpecification
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 › process step specification
Definition
action specification that prescribes some process step
Explanatory Notes
A process-step specification is the atomic instruction within a process plan—the most specific, detailed, and direct component. It defines required input materials, recipes, dimensions, tolerances, attributes, and any necessary in-process handling or machine configurations. In some cases, it may be as simple as a label or brief instruction, such as “drill ten 0.45-inch holes in a 3’ × 5’ sheet.”
Examples
- drilling instruction requiring a 10-millimeter hole to be drilled to a depth of 20 millimeters; mixing instruction requiring a chemical batch to be agitated at 60 revolutions per minute for 10 minutes
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: ProcessStepSpecification(s) ∧ hasContinuantPartAtAllTimes(s,x) → ¬ProcessPlan(x) ∧ ¬ProductionPlan(x) ∧ ¬OperationSpecification(x)
LA2: ProcessStepSpecification(s) ∧ hasProperContinuantPartAtAllTimes(s,s') → ¬ProcessStepSpecification(s')
LA3: ActionSpecification(s) ∧ ∃p(ProcessStep(p) ∧ prescribes(s,p)) → ProcessStepSpecification(s)
Semi-Formal Natural Language Axioms
LA1: if an instance of ‘process step specification’ ‘has continuant part at all times’ an entity, then that entity is not an instance of ‘process plan’, ‘production plan’, or ‘operation specification’
LA2: if an instance of ‘process step specification’ ‘has proper continuant part at all times’ an entity, then that entity is not an instance of ‘process step specification’
LA3: if an instance of ‘action specification’ ‘prescribes’ some instance of ‘process step’, then it is an instance of ‘process step specification’
Description Logic
constr:ProcessStepSpecification ⊑ constr:ActionSpecification
constr:ProcessStepSpecification ⊑ ∀ bfo:has_proper_continuant_part_at_all_times .¬ constr:ProcessStepSpecification
constr:ProcessStepSpecification ⊑ ∀ bfo:has_continuant_part_at_all_times .¬ constr:OperationSpecification ⊔ constr:ProcessPlan ⊔ constr:ProductionPlan
constr:ActionSpecification ⊓ ∃ constr:prescribes .constr:ProcessStep ⊑ constr:ProcessStepSpecification
SubClassOf: constr:ActionSpecification
SubClassOf: bfo:has_proper_continuant_part_at_all_times only not constr:ProcessStepSpecification
SubClassOf: bfo:has_continuant_part_at_all_times only not (constr:OperationSpecification or constr:ProcessPlan or constr:ProductionPlan)
constr:ActionSpecification and constr:prescribes some constr:ProcessStep SubClassOf: constr:ProcessStepSpecification