Abstract
A unifying ontology dealing with both user-defined periodicity and temporal constraints was presented. A first-order logic axiomatic description of some basic ontological notions underlying the meaning of different types of temporal constraints about repeated events was proposed. It was shown that such an ontology provided a homogeneous framework which could be used to model and compare the intended meaning of different formalisms in the artificial intelligence and temporal databases literature.
Original language | English |
---|---|
Pages (from-to) | 336-385 |
Number of pages | 50 |
Journal | Computational Intelligence |
Volume | 18 |
Issue number | 3 |
DOIs | |
Publication status | Published - Aug 2002 |
Keywords
- Calendars
- Formal ontology
- Knowledge representation
- Repeated events
- Temporal constraints