manufacturing operation

IRI: https://spec.industrialontologies.org/ontology/construct/ManufacturingOperation

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 › manufacturing operation

Definition

Manufacturing enterprise process that aggregates only those process steps which are part of the same product production process and there exists at least one common manufacturing resource, used in the manufacturing process for each step.

Explanatory Notes

An operation may consist of a single step and in such cases may include the same information as that in the process specification. However, in many situations, multiple steps are required to be performed on a machine to produce a single feature or to achieve a specific quality, geometric shape, or dimension of the designated product or component. In such multi-step operations, the primary equipment may require reconfiguration, including the attachment or detachment of tools or accessories. Additionally, the material may need to be repositioned or handled between steps, all of which are considered integral parts of the operation.

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The common grouping criteria cannot be formalized for this class and therefore only a necessary condition could be derived which does not check the “common resource for all step” condition. Furthermore, the use of operation in batch and continuous manufacturing many provide some more refinement on the role of the common participant.

Formal Axioms

First-Order Logic Axioms

∀o, x1, x2 ( ProcessStep(x1) ∧ ProcessStep(x2) ∧ ManufacturingOperation(o) ∧ occurrentPartOfAtSomeTime(x1, o) ∧ occurrentPartOfAtSomeTime(x2, o) ∧ (x1 ≠ x2) → ∃e, p1, p2, r1, r2 (ManufacturingProcess(p1) ∧ ManufacturingProcess(p2) ∧ occurrentPartOfAtSomeTime(p1, x1) ∧ occurrentPartOfAtSomeTime(p2, x2) ∧     hasParticipantAtSomeTimes(p1, e) ∧ hasParticipantAtSomeTimes(p2, e) ∧      hasRole(e, r1) ∧ hasRole(e, r2) ∧ EquipmentRole(r1) ∧ EquipmentRole(r2)))

Semi-Formal Natural Language Axioms

if ‘x1’ and ‘x2’ are distinct ‘process steps’ that are ‘occurrent part of at some time’ the same ‘manufacturing operation’, then there exists some ‘equipment’ that ‘has role’ some ‘equipment role’ and that ‘has participant at some times’ both a ‘manufacturing process’ that is ‘occurrent part of at some time’ x1 and a ‘manufacturing process’ that is ‘occurrent part of at some time’ x2

Description Logic

constr:ManufacturingOperation ⊑ ⊤

constr:ManufacturingOperation ⊑ constr:ManufacturingEnterpriseProcess ⊓ ∃ bfo:has_participant_at_some_time .(bfo:material_entity ⊓ ∃ constr:hasRole .(constr:EquipmentRole ⊔ constr:OperatorRole)) ⊓ ∃ bfo:has_proper_occurrent_part .constr:ProcessStep

SubClassOf: owl:Thing

SubClassOf: constr:ManufacturingEnterpriseProcess and bfo:has_participant_at_some_time some (bfo:material_entity and constr:hasRole some (constr:EquipmentRole or constr:OperatorRole)) and bfo:has_proper_occurrent_part some constr:ProcessStep