Time and provenance in KR
How to include temporal and/or provenance information in an ontology?
Standards
- W3C Time Ontology for OWL 2 DL
- W3C PROV Ontology for OWL 2
- Expresses the W3C PROV Data Model , which is independent of the Semantic Web
- Extended by PAV ontology (doi)
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:
- Temporal arguments
- Modal temporal logics
- Reified temporal logics
- Paper is an overview of the third approach
- Mentions three main logical approaches to representation of temporal
information:
Category theory
Beginning with Goguen, sheaves have been used to model time (as well as space).