Time Instant

A Time Instant is a specific point in Time.



  • http://www.isi.edu/~hobbs/bgt-time.text
    • There are two kinds of temporal entities -- instants and intervals.
      • (1)(forall (t) (if (instant t)(temporalEntity t)))
      • (2)(forall (t) (if (interval t)(temporalEntity t)))
    • No assumptions are made about whether intervals _consist_ of instants. Rather one can specify relations between the two, such as that an instant begins or ends or is inside an interval.


  • Jerry R Hobbs, and Feng Pan. (2004). “An Ontology of Time for the Semantic Web.” In: ACM Transactions on Asian Language Information Processing, Vol. 3, No. 1.


  • James F Allen, and George Ferguson. (1997). “Actions and Events in Interval Temporal Logic.” In: O. Stock (ed.). “Spatial and Temporal Reasoning, Kluwer Academic Publishers.


  • James F Allen, and Henry A. Kautz. (1985). “A Model of Naive Temporal Reasoning.” In: Formal Theories of the Commonsense World. ed. by Jerry R. Hobbs and Robert C. Moore, Ablex Publishing Corp.