product production process

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › product production process

Definition

business process that consists of at least one manufacturing process through which raw materials and components are transformed or modified to create a material product

Semi-Formal Definition:

every instance of ‘product production process’ is defined as exactly an instance of ‘business process’ that ‘has occurrent part’, some ‘manufacturing process’, and ‘has specified output’ some ‘material product’ which did not ‘exist at’ the beginning of the ‘product production process’

Explanatory Notes

  1. A product production process is distinct from a maintenance process in that, in the latter case, the product exists both before and after the process occurs.

  2. A product production process has several planned processes as parts (sub-processes), including at least one manufacturing or assembly process, and optionally, may include other planned process types such as inspection, packaging, rework, and material handling.

  3. Note that the various parts of a product production process, for example, inspection, and testing, cannot be a product production process alone.

  4. Some manufacturing processes will also be product production processes.

Examples

  • Making of an engine block as a product that consists of many processes such as manufacturing process, assembly process, inspection process etc.

Counter-Examples

1.Providing a service that does not deliver any tangible good 2.Acquiring unprocessed raw material (e.g., roll of aluminum) with intention to sell them or reselling. The Product existed before the initiation of the planned process.

Adapted From

  • https://en.wikipedia.org/wiki/Manufacturing and ISO 23952:2020(en)

Formal Axioms

First-Order Logic Definition 

ProductProductionProcess(x) ↔ BusinessProcess(x) ∧ ∃m(ManufacturingProcess(m) ∧ occurentPartOf(m,x)) ∧ ∃y∃t∃t1(MaterialProduct(y) ∧ TemporalRegion(t) ∧ TemporalRegion(t1) ∧ hasSpecifiedOutput(x, y) ∧ occupiesTemporalRegion(x, t) ∧ temporallyOverlaps(t, t1) ∧ existsAt(y, t1))

Description Logic

constr:ProductProductionProcess ≡ constr:BusinessProcess ⊓ ∃ bfo:has_occurrent_part .constr:ManufacturingProcess ⊓ ∃ bfo:occupies_temporal_region .(bfo:temporal_region ⊓ ∃ constr:temporallyOverlaps .∃ bfo:exists_at⁻ .constr:MaterialProduct) ⊓ ∃ constr:hasSpecifiedOutput .constr:MaterialProduct

constr:ProductProductionProcess ⊑ constr:BusinessProcess

EquivalentTo: constr:BusinessProcess and bfo:has_occurrent_part some constr:ManufacturingProcess and bfo:occupies_temporal_region some (bfo:temporal_region and constr:temporallyOverlaps some inverse bfo:exists_at some constr:MaterialProduct) and constr:hasSpecifiedOutput some constr:MaterialProduct

SubClassOf: constr:BusinessProcess