value expression

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

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

SubClass Of: information content entity

Class Hierarchy

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

Direct subclasses:

Definition

information content entity that contains a value of an entity within a classification scheme or on a quantitative scale

Explanatory Notes

  1. Value expressions comprehend qualitative, semi-quantitative, or quantitative values.

  2. All value expressions have a value associated with them through ‘has simple expression value’. This part is not formally captured as we do not want to impose a specific datatype constraint (e.g., xsd:int,rdfs:Literal) with the value expression. Nevertheless, any instance of ‘value expression’ MUST have a ‘has simple expression value’ or its subproperty pointing to a value.

  3. This class is intended to provide a single framework for representing unit-value pairs and the connection between a value and a particular classification scheme in the case of qualitative values. While currently, IOF still needs to define classification schemes and quantitative scales, this class is compatible with and thus can be mapped to external ontologies such as the QUDT and the Units Ontology to get the necessary representation of units.

Examples

  • 1cm is the value expression of the diameter of a screw head that is specified in its design; 37C is the value expression of the temperature of a bioreactor measured during the production process; “low risk” is the value expression of a process parameter based on the risk analysis classification scheme; 3 g/l is the value expression of titer of an antibody generated by a process simulation

Synonyms

  • value information content entity

Adapted From

  • http://purl.obolibrary.org/obo/OBI_0001933

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 constructs for representing classification schemes and quantitative scales are still missing.

Formal Axioms

First-Order Logic Axioms 

ValueExpression(x) → InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ isValueExpressionOfAtSomeTime(x,e))

Semi-Formal Natural Language Axioms

If x is a ‘value expression’ then x is an ‘information content entity’ that ‘is value expression of at some time’ some ‘entity’

Description Logic

constr:ValueExpression ⊑ constr:InformationContentEntity

constr:ValueExpression ⊑ ∃ constr:isValueExpressionOfAtSomeTime .bfo:entity

SubClassOf: constr:InformationContentEntity

SubClassOf: constr:isValueExpressionOfAtSomeTime some bfo:entity