Temporal Terminological Logic
Abstract
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.
Cite
Text
Schmiedel. "Temporal Terminological Logic." AAAI Conference on Artificial Intelligence, 1990.Markdown
[Schmiedel. "Temporal Terminological Logic." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/schmiedel1990aaai-temporal/)BibTeX
@inproceedings{schmiedel1990aaai-temporal,
title = {{Temporal Terminological Logic}},
author = {Schmiedel, Albrecht},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1990},
pages = {640-645},
url = {https://mlanthology.org/aaai/1990/schmiedel1990aaai-temporal/}
}