process step
IRI: https://spec.industrialontologies.org/ontology/construct/ProcessStep
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: manufacturing enterprise process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › manufacturing enterprise process › process step
Definition
manufacturing enterprise process within a manufacturing operation that contains one manufacturing process and no smaller process steps
Usage Notes
Along with the instance of manufacturing process, process step may also include instances of setup process and inspection process as subprocesses.
Examples
- drill hole, steps- centering, twist drilling, enlarging the hole, and finish the holes- these four steps each of them are process step
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
The class may contain many other varieties of processes along with a manufacturing process. The clause of “no further decomposition of step using step” is avoided to keep OWL axioms negation-free. Also, we do not use cardinality in axioms.
Formal Axioms
First-Order Logic Axioms
ProcessStep(x) → ManufacturingEnterpriseProcess(x) ∧ ∃p(ManufacturingProcess(p) ∧ occurrentPartOfAtSomeTime(p,x)) ∧ ∀s((ProcessStep(s) ∧ occurrentPartOfAtSomeTime(s,x)) → s = x)
Semi-Formal Natural Language Axioms
if an entity is an instance of ‘process step’, then it is an instance of ‘manufacturing enterprise process’, has some instance of ‘manufacturing process’ as an occurrent part at some time, and every instance of ‘process step’ that is an occurrent part of it at some time is identical to it
Description Logic
constr:ProcessStep ⊑ constr:ManufacturingEnterpriseProcess ⊓ ∃ bfo:has_proper_occurrent_part .constr:ManufacturingProcess
SubClassOf: owl:Thing
SubClassOf: constr:ManufacturingEnterpriseProcess and bfo:has_proper_occurrent_part some constr:ManufacturingProcess