A Temporal Terminological Logic

Albrecht Schmiedel

An attempt is made to integrate three well-known formalisms of knowledge representation: terminological logic in the tradition of KL-ONE, the temporal logic of Shoham, and Allen’s interval calculus. 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 reasoning in the formalism.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.