measurement process

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

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

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › measurement process

Direct subclasses:

Definition

planned process to determine the value of an attribute (specifically dependent continuant or temporal region or process characteristic) of an entity of interest

Explanatory Notes

  1. Determining the value here is to be interpreted in the context of qualitative, semi-quantitative, and quantitative measurements. As such, it comprehends both categorical and numerical measurements.
  2. Typically, the results of measurements are recorded and stored as a measurement information content entity.
  3. Measurement processes can have as temporal or occurrent parts other measurement processes as well data transformation processes which transform the raw measurement data.
  4. The entity whose attribute is measured might either participate in the process if it is a continuant or occupy a temporal interval that precedes or partially coincides with the measurement process if it is an occurrent.
  5. The material entity measuring the attribute must be capable of measuring that attribute. This is axiomatically captured by mandating that the material entity that is measuring the attribute must have a measurement capability.

Examples

  • measuring the pH of a buffer by a pH probe; measuring of a weight of a bulk of a substance by an industrial scale; measuring the rate of an enzymatic reaction by a spectrophotometer; measuring the time it takes to produce a unit of a product

Adapted From

  • ISO 9000:2015(en), 3.11.5

Primitive Class

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

Primitive Rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely, n-ary constructs that are able to adequately capture the relation between the process, attribute and the entity of interest are still lacking. Also formalization of being an entity of interest is lacking.

Formal Axioms

First-Order Logic Axioms 

LA1: MeasurementProcess(x) ↔ PlannedProcess(x) ∧ ∃m∃y∃z∃c(MaterialEntity(m) ∧ MeasurementCapability(c) ∧ hasCapability(m,c) ∧ (((IndependentContinuant(y) ∧ ¬SpatialRegion(y)) ∧ SpecificallyDependentContinuant(z) ∧ bearerOf(y,z) ∧ participatesInAtSomeTime(y,x)) ∨ ((Process(y) ∨ ProcessBoundary(y)) ∧ TemporalRegion(z) ∧ occupiesTemporalRegion(y,z) ∧ ∃t(temporalRegion(t) ∧ occupiesTemporalRegion(x,t) ∧ (occurrentPartOf(t,z) ∨ hasOccurrentPart(t,z))) ∨ (ProcessCharacteristic(z) ∧ processCharacteristicOf(z,y)) ∨ (ProcessProfile(z) ∧ processProfileOf(z,y) ∧ (preceedes(y,x) ∨ ∃t1∃t2(temporalRegion(t1) ∧ temporalRegion(t2) ∧ occupiesTemporalRegion(x,t1) ∧ occupiesTemporalRegion(y,t2) ∧ (occurrentPartOf(t1,t2) ∨ hasOccurrentPart(t1,t2))))))) ∧ measuresAtSomeTime(m,z)) ∧ ∀b(hasSpecifiedOutput(x,b) → MeasurementInformationContentEntity(b))

Semi-Formal Natural Language Axioms

if x is a ‘measurement process’ then x is a ‘planned process’ that ‘has participant at some time’ some ‘material entity’ y that ‘has capability’ some ‘measurement capability’ and y ‘measures at some time’ either (1) a ‘process characteristic’ that is ‘process characteristic of’ a ‘process’ that ‘precedes’ or temporally overlaps with x, or (2) a ‘specifically dependent continuant’ that ‘inheres in’ an ‘independent continuant’ (not a ‘spatial region’) which ‘participates in at some time’ x, or (3) a ‘temporal region’ that is ‘occupied by’ some ‘process’ or ‘process boundary’ and that ‘has occurrent part’ or is ‘occurrent part of’ a ‘temporal region’ that is ‘occupied by’ x, or (4) a ‘process profile’ that is ‘process profile of’ a ‘process’ that ‘precedes’ or temporally overlaps with x, and whenever x ‘has specified output’ b, b must be a ‘measurement information content entity’.

Description Logic

constr:MeasurementProcess ⊑ constr:PlannedProcess

constr:MeasurementProcess ⊑ ∀ constr:hasSpecifiedOutput .constr:MeasurementInformationContentEntity

constr:MeasurementProcess ⊑ ∃ bfo:has_participant .((bfo:material_entity ⊓ ∃ constr:hasCapability .constr:MeasurementCapability) ⊓ ∃ constr:measuresAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic))

SubClassOf: constr:PlannedProcess

SubClassOf: constr:hasSpecifiedOutput only constr:MeasurementInformationContentEntity

SubClassOf: bfo:has_participant some ((bfo:material_entity and constr:hasCapability some constr:MeasurementCapability) and constr:measuresAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic))