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 › business process › manufacturing enterprise process › manufacturing operation
Definition
manufacturing enterprise process composed of process steps from the same product production process, with at least one manufacturing resource used in every 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.
Examples
- hole making in an engine block consisting of centering, drilling, reaming, and finishing on one machining center; injection molding of a plastic housing consisting of mold closing, material injection, cooling, and part ejection
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 steps” condition. Furthermore, the use of operation in batch and continuous manufacturing may provide some more refinement on the role of the common participant.
Formal Axioms
First-Order Logic Axioms
LA1: ManufacturingOperation(o) → ManufacturingEnterpriseProcess(o) ∧ ∃m(MaterialEntity(m) ∧ hasParticipantAtSomeTime(o,m) ∧ ∃r((EquipmentRole(r) ∨ OperatorRole(r)) ∧ hasRole(m,r))) ∧ ∃s(ProcessStep(s) ∧ hasProperOccurrentPart(o,s))
LA2: 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
LA1: if an entity is an instance of ‘manufacturing operation’, then it is an instance of ‘manufacturing enterprise process’, ‘has participant at some time’ some instance of ‘material entity’ that ‘has role’ some instance of ‘equipment role’ or ‘operator role’, and ‘has proper occurrent part’ some instance of ‘process step’
LA2: if two distinct instances of ‘process step’ are occurrent parts of a ‘manufacturing operation’ at some time, then there are instances of ‘manufacturing process’, each occurrent part of one of those process steps at some time, that have a common participant at some times; that participant ‘has role’ instances of ‘equipment role’ in both processe
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