manufacturing enterprise process

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

Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › manufacturing enterprise process

Direct subclasses:

• changeover process
• manufacturing operation
• process step

Definition

business process that consists of at least one manufacturing process

Examples

• process of completing a truck assembly, process for refining the crude oil into petrol, process for production of frozen food items

Primitive Class

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

Primitive Rationale

This term is included as an umbrella term for every kind of process which is not typically ‘business process’ but also cannot be classified as types of ‘manufacturing processes’ either. Although they contain manufacturing process as parts, and most of the time, the primary sub-process, the sub-types of this class group or identify manufacturing processes and other ancillary processes for better organization, planning resources and raw materials, and sometimes scheduling and logistical management. Still, the question remains on the need of this class if the above criterion is hard to express formally.

Formal Axioms

First-Order Logic Axioms

ManufacturingEnterpriseProcess(p) → ∃m(ManufacturingProcess(m) ∧ hasOccurrentPart(p,m))

Semi-Formal Natural Language Axioms

if an entity is an instance of ‘manufacturing enterprise process’, then it ‘has occurrent part’ some instance of ‘manufacturing process’

Description Logic

constr:ManufacturingEnterpriseProcess ⊑ constr:BusinessProcess

constr:ManufacturingEnterpriseProcess ⊑ ∃ bfo:has_occurrent_part .constr:ManufacturingProcess

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:has_occurrent_part some constr:ManufacturingProcess