| Abstract: | We investigate a formal representation of time units , calendars , and time unit instances as restricted temporal entities for reasoning about repeated events. We generalize Allen's interval relations to a class level, and based on interval classes we define time units. We examine characteristics of time units, and provide a categorization of the hierarchical relations among them. Hence we define an abstract hierarchical unit structure (a calendar structure ) that expresses specific relations and properties among the units that compose it. Specific objects in the time line are represented based on this formalism, including nonconvex intervals corresponding to repeated events. A goal of this research is to be able to represent and reason efficiently about repetition in time. |
