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 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 ‘temporal region’ or ‘specifically dependent continuant’
Explanatory Notes
-
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.
-
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) ∨ SpecificallyDependentContinuant(e))
∧ isMeasuredValueOfAtSomeTime(x,e))
Description Logic
constr:MeasuredValueExpression ≡ constr:ValueExpression ⊓ ∃ constr:isMeasuredValueOfAtSomeTime .(bfo:temporal_region ⊔ bfo:specifically_dependent_continuant ⊔ constr:ProcessCharacteristic)
EquivalentTo: constr:ValueExpression and constr:isMeasuredValueOfAtSomeTime some (bfo:temporal_region or bfo:specifically_dependent_continuant or constr:ProcessCharacteristic)
SubClassOf: constr:ValueExpression