Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
James F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832–843, November 1983.
Claudio Bettini. A formalization of interval based temporal subsumption in first order logic. In Workshop Notes of the ECAI Workshop on Theoretical Foundations of Knowledge Representation and Reasoning, Vienna, Austria, 1992.
Claudio Bettini. Estensioni temporali dei linguaggi terminologici. PhD thesis, Dip. Scienze dell'Informazione — University of Milano, Italy, 1993. (in Italian).
Ronald J. Brachman and Hector J. Levesque. The tractability of subsumption in frame-based description languages. In Proc. of the American National Conference on Artificial Intelligence (AAAI-84), pages 34–37, Austin, TX, 1984.
F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proc. of the 2 nd International Conference on Principles of Knowledge Representation and Reasoning, pages 151–162, Cambridge, MA, 1991.
J. Y. Halpern and Y. Shoham. A propositional modal logic for time intervals. In Proceedings of the Symposium on Logic In Computer Science, 1986.
Klaus Schild. A tense-logical extension of terminological logics. Technical Report KIT Report 92, Computer Science Department, Technische Universität Berlin, 1991.
Albrecht Schmiedel. A temporal terminological logic. In Proc. of the American National Conference on Artificial Intelligence (AAAI-90), pages 640–645, Boston, MA, 1990.
Y. Shoham. Reasoning about Change. The MIT Press, 1988.
P. van Beek and R. Cohen. Exact and approximate reasoning about temporal relations. Computational Intelligence, 6, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bettini, C. (1993). A family of temporal terminological logics. In: Torasso, P. (eds) Advances in Artificial Intelligence. AI*IA 1993. Lecture Notes in Computer Science, vol 728. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57292-9_50
Download citation
DOI: https://doi.org/10.1007/3-540-57292-9_50
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57292-3
Online ISBN: 978-3-540-48038-9
eBook Packages: Springer Book Archive