TY - GEN
T1 - Towards a temporal reasoning approach dealing with instance-of, part-of and periodicity
AU - Terenziani, Paolo
AU - Anselma, Luca
N1 - Publisher Copyright:
© 2003 IEEE.
PY - 2003
Y1 - 2003
N2 - In many application areas, including planning, workflow, guidelines and protocol management, the description of the domain requires the use of part-of relations between events, the modeling of periodic repetitions and the treatment of "standard" temporal constraints between such events. Events in plans, workflows etc. represent "classes", in the sense that they can be instantiated to specific executions of the plan guideline, etc. Of course, such executions must respect (i.e., be consistent with) the temporal constraints explicitly or implicitly (e.g., by the part-of relation) conveyed by the class descriptions. In this paper, we propose a tractable domain-independent temporal server dealing with the above phenomena. We first sketch a representation formalism coping with part-of and instance-of relations, periodicity and temporal constraints, and then we describe two algorithms to deal with inheritance and to perform temporal consistency checking.
AB - In many application areas, including planning, workflow, guidelines and protocol management, the description of the domain requires the use of part-of relations between events, the modeling of periodic repetitions and the treatment of "standard" temporal constraints between such events. Events in plans, workflows etc. represent "classes", in the sense that they can be instantiated to specific executions of the plan guideline, etc. Of course, such executions must respect (i.e., be consistent with) the temporal constraints explicitly or implicitly (e.g., by the part-of relation) conveyed by the class descriptions. In this paper, we propose a tractable domain-independent temporal server dealing with the above phenomena. We first sketch a representation formalism coping with part-of and instance-of relations, periodicity and temporal constraints, and then we describe two algorithms to deal with inheritance and to perform temporal consistency checking.
UR - http://www.scopus.com/inward/record.url?scp=84944060007&partnerID=8YFLogxK
U2 - 10.1109/TIME.2003.1214878
DO - 10.1109/TIME.2003.1214878
M3 - Conference contribution
AN - SCOPUS:84944060007
T3 - Proceedings of the International Workshop on Temporal Representation and Reasoning
SP - 37
EP - 46
BT - Proceedings - 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, TIME-ICTL 2003
A2 - Reynolds, Mark
A2 - Sattar, Abdul
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, TIME-ICTL 2003
Y2 - 8 July 2003 through 10 July 2003
ER -