measured value expression

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

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

SubClass Of: value expression

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › value expression › measured value expression

Definition

value expression that contains the measured value of an attribute (specifically dependent continuant or process characteristic or process profile or temporal region)

Semi-Formal Definition:

every instance of ‘measured value expression’ is defined exactly as an instance of ‘information content entity’ that ‘is measured value of at some time’ some ‘process characteristic’ or ‘process profile’ or ‘temporal region’ or ‘specifically dependent continuant’

Explanatory Notes

  1. The values of the measured value expression are generated during the measurement process that produces the measurement information content entity the measured value expression is a part of. The corresponding parthood axiom is captured in the measurement information content entity class and is not reintroduced in the formal definition here to avoid redundancy.

  2. Since this class is a subclassOf: value expression, the values contained in the measured value expression are always according to a classification scheme or a quantitative scale.

Examples

  • the value of ‘20g’ that represents the measured weight of a mouse and that is determined on the quantitative scale of mass

Adapted From

  • International Vocabulary of Metrology Fourth edition,2.11

Formal Axioms

First-Order Logic Definition 

MeasuredValueSpecification(x) ↔ ValueExpression(x) ∧ ∃e((TemporalRegion(e) ∨ ProcessCharacteristic(e) ∨ ProcessProfile(e) ∨ SpecificallyDependentContinuant(e)) 
∧ isMeasuredValueOfAtSomeTime(x,e))

Description Logic

constr:MeasuredValueExpression ≡ constr:ValueExpression ⊓ ∃ constr:isMeasuredValueOfAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ bfo:process_profile ⊔ constr:ProcessCharacteristic)

constr:MeasuredValueExpression ⊑ constr:ValueExpression

EquivalentTo: constr:ValueExpression and constr:isMeasuredValueOfAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or bfo:process_profile or constr:ProcessCharacteristic)

SubClassOf: constr:ValueExpression