A temporal terminological logic

Authors:
Albrecht Schmiedel
Affiliations:
Technische Universität Berlin, Berlin 10, West-Germany
Venue:
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Year:
1990

Citing 7
Cited 3

Temporal logics in AI: semantical and ontological considerations

Artificial Intelligence
Computational complexity of terminological reasoning in BACK

Artificial Intelligence
Maintaining knowledge about temporal intervals

Communications of the ACM
Towards a Theory of Frames and Rules

Towards a Theory of Frames and Rules
The BACK System Revisited

The BACK System Revisited
Approximation algorithms for temporal reasoning

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
A common-sense theory of time

IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1

Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

Artificial Intelligence
LTL over description logic axioms

ACM Transactions on Computational Logic (TOCL)
Modal description logics: modalizing roles

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.