A Family of Temporal Terminological Logics

We present a family of temporal terminological logics that share the characteristic of having temporal operators on intervals as concept forming operators. These logics allow to represent concepts whose set of instances depends on the interval of time considered. Moreover, the temporal operators allow to define concepts by the pattern of change of properties of their instances. They are derived from the logic presented in [8], but differ in both their terminological and temporal expressiveness. The formalism and the semantics show a tight relation with propositional modal logics of time intervals. We also briefly present results on the problems of decidability of subsumption, relevance of the temporal structure and incomplete subsumption algorithms.