| | |
Summary: Recursive Representation of Periodicity and Temporal Reasoning*
Luca Anselma
Dipartimento di Informatica, Universitą di Torino,
Corso Svizzera 185, 10149 Torino, Italy
Phone: +39 011 6706821 anselma@di.unito.it
Abstract
Representing and reasoning with repeated and
periodic events is important in many real-world
domains, such as protocol and guideline
management. In this set, it is important to give
support to complex periodicities, that can involve
non-symmetric repetitions, uncertainness,
variability, pauses between repetitions, and nested
time intervals. Also, in these domains it can be
useful to give support to composite events, as well
as classes of events (i.e. types of actions) and
instances of events (i.e. specific actions). In this
paper we propose a general-purpose domain-
independent knowledge server dealing with all
these issues. In particular, we describe a compact
|
