Toward a unifying ontology dealing with both user-defined periodicity and temporal constraints about repeated events
This article proposes a first-order logic axiomatic description of some basic ontological notions underlying the meaning of different types of temporal constraints about repeated events. The article also shows that such an ontology provides an homogeneous framework that can be used to model and compare the intended meaning of different formalisms in the artificial intelligence and temporal databases literature which deal with user-defined calendar dates and/or qualitative and quantitative constraints between different types of repeated events.
temporal constraints repeated events calendars knowledge representation formal ontology