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

An action specification that prescribes some process steps.

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.”

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

ActionSpecification(x) ∧ ∃y (ProcessStep(y)∧prescribes(x,y)) → ProcessSpecification(x)

Semi-Formal Natural Language Axioms

If x is an ‘action specifciation’ and there exists a ‘process step’ y that is ‘prescribed by’ x then x is an ‘process specification’.

Description Logic

constr:ProcessStepSpecification ⊑ constr:ActionSpecification

constr:ActionSpecification ⊓ ∃ constr:prescribes .constr:ProcessStep ⊑ constr:ProcessStepSpecification

SubClassOf: constr:ActionSpecification

constr:ActionSpecification and constr:prescribes some constr:ProcessStep SubClassOf: constr:ProcessStepSpecification