AAAI Publications, Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Ontologies for Dates and Duration
Michael Gruninger

Last modified: 2010-04-27


Reasoning with dates and duration has long been addressed by the community. Existing duration ontologies, however, lack complete axiomatizations of their intended models; many simply represent timedurations as real numbers and treat the duration function as a metric on the timeline. We show that such approaches are inadequate and provide a first-order ontology of duration that overcomes these limitations.


ontologies; time; duration; first-order logic

Full Text: PDF