temporal instant value expression

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

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 › temporal instant value expression

Definition

value expression that describes the position of a time instant in the time line

Semi-Formal Definition:

every instance of ‘temporal instant value expression’ is defined exactly as an instance of ‘value expression’ that ‘is value expression of at all times’ some ‘temporal instant’

Explanatory Notes

  1. This class was introduced as a helper class to map OWL time to IOF Core. For detailed expression of date and time in a specific calendar system, use a suitable subclass of TemporalPosition class from Time ontology (https://www.w3.org/TR/owl-time/) instead of ‘temporal instant value expression’ (see mapping file https://spec.industrialontologies.org/ontology/core/commonstocoremapping/MappingOWLTimeToIOF/)

Examples

  • The time instant at which a train arrives at a station has its clock time expressed by a temporal instant value expression.

Formal Axioms

First-Order Logic Definition 

TemporalInstantValueExpression(x) ↔ ValueExpression(x) ∧ ∃y(TemporalInstant(y) ∧ isValueExpressionOfAtAllTimes(x,y))

Description Logic

constr:TemporalInstantValueExpression ≡ constr:ValueExpression ⊓ ∃ constr:isValueExpressionOfAtAllTimes .bfo:temporal_instant

constr:TemporalInstantValueExpression ⊑ constr:ValueExpression

constr:TemporalInstantValueExpression ⊓ constr:TemporalDurationValueExpression ⊑ ⊥

EquivalentTo: constr:ValueExpression and constr:isValueExpressionOfAtAllTimes some bfo:temporal_instant

SubClassOf: constr:ValueExpression

constr:TemporalInstantValueExpression DisjointWith: constr:TemporalDurationValueExpression