has date-time instant value

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

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

Type: Data Property

SubProperty Of: has simple expression value

Domain: temporal instant value expression

Range: datetime

Definition

data property that relates a time instance value to a XSD date-time

Explanatory Notes

  1. This data property may be used to specify a ‘temporal instant value expression’ in XSD date-time format (e.g., 2002-10-10T17:00:00Z). For a detailed description of xsd:DateTime, see https://www.w3.org/TR/xmlschema-2/#dateTime.
  2. While comparing two ‘temporal instant value expression’, it is important to make sure that their date-time expressions are given in the same calendar and clock system.
  3. 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 point at 16:30pm at UTC on 3rd March 2023 is asserted by the associated (‘is value expression of at all times’) ‘temporal instant value expression’ having date-time value (‘has date-time instant value’) 2023-03-03T16:30:00Z.

Description Logic

constr:hasDateTimeInstantValue ⊑ constr:hasSimpleExpressionValue

domain: constr:TemporalInstantValueExpression

range: xsd:dateTime

SubPropertyOf: constr:hasSimpleExpressionValue

domain: constr:TemporalInstantValueExpression

range: xsd:dateTime