Brinell Test Ontology-BFO

Last uploaded: July 30, 2024
Preferred Name

ValueExpression
Synonyms
ID

https://spec.industrialontologies.org/ontology/core/Core/ValueExpression

adapted from

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

explanatory note

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.

first-order logic axiom

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

is defined by

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

is primitive

true

maturity

https://spec.industrialontologies.org/ontology/core/meta/AnnotationVocabulary/Provisional

prefixIRI

iof:ValueExpression

iof-core:ValueExpression

prefLabel

ValueExpression

primitive rationale

There are insufficient constructs to create necessary and sufficient conditions. Namely constructs for representing classification schemes and quantitative scales are still missing.

semi-formal natural language axiom

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

subClassOf

https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity

Delete Subject Author Type Created
No notes to display