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

An action specification that prescribes some manufacturing operation.

Semi-Formal Definition:

If x is an ‘action specification’ and there exists a ‘manufacturing operation’ y that is ‘prescribed by’ x then x is an ‘operation specification’.

Explanatory Notes

This part of the plan specifies one or many steps, each of which are to be performed using one or more specific manufacturing resource or parallely or consecutively.

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 Definition

ActionSpecification(x) ∧ ∃y (ManufacturingOperation(y) ∧ prescribes(x,y)) → OperationSpecification(x)

Description Logic

constr:OperationSpecification ⊑ constr:ActionSpecification

constr:ActionSpecification ⊓ ∃ constr:prescribes .constr:ManufacturingOperation ⊑ constr:OperationSpecification

SubClassOf: constr:ActionSpecification

constr:ActionSpecification and constr:prescribes some constr:ManufacturingOperation SubClassOf: constr:OperationSpecification