A Temporal Terminological Logic
Albrecht Schmiedel · 1990
An attempt is made to integrate three well-known formalisms of knowledge representation: termino-logical logic in the tradition of KL-ONE, the tem-poral logic of Shoham, and Allen’s interval calcu-lus. Drawing on each of these sources, a temporal terminological logic is proposed which combines structural with temporal abstraction. A formal semantics is provided, and some hints are given for exploring the computational properties of rea-soning in the formalism.