Time and provenance in KR

How to include temporal and/or provenance information in an ontology?

Standards

Literature

Surveys

  • Fisher, 2008: Temporal representation and reasoning (doi, pdf)
    • Ch 12 in Handbook of Knowledge Representation
  • Galton, 2009: Spatial and temporal knowledge representation (doi)

Logic

  • Ma & Knight, 2001: Reified temporal logics: an overview (doi )
    • Mentions three main logical approaches to representation of temporal information:
      1. Temporal arguments
      2. Modal temporal logics
      3. Reified temporal logics
    • Paper is an overview of the third approach

Category theory

Beginning with Goguen, sheaves have been used to model time (as well as space).