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 › manufacturing enterprise process › process step
Definition
A unit subprocess of an operation which does not contain any other process step and exactly one manufacturing process as a subprocess.
Semi-Formal Definition:
every instance of ‘process step’ is defined as exactly an instance of ‘manufacturing enterprise process’ that has at least one ‘manufacturing process’ as an ‘occurrent part at some time’ and does not have any other ‘process step’ as an ‘occurrent part at some time’.
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 Definition
processStep(x) ↔ ManufacturingEnterpriseProcess(x) ∧ ∃p (ManufacturingProcess(p) ∧ occurrentPartOfAtSomeTime(p,x)) ∧ ∀s ((processStep(s) ∧ occurrentPartOfAtSomeTime(s,x)) → (s = x))
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