Abstract
Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last two years, few attempts have been made to integrate these fields. We study the combination of the temporal logic LITE and a terminological logic to obtain a temporal terminological logic. We emphasize defining a terminological logic (T-LITE) where the extensions of concepts are time-dependent in the following sense: first, the individuals belonging to a concept are appearances of objects in a temporal context; secondly, we allow concepts to be defined in terms of developments of objects. A formal semantics for T-LITE is provided.
This work is supported by funds from the Swedish Institute for Technical Development, under grant # 8802819P
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Allen, J.F.,’ Maintaining Knowledge About Temporal Intervals', in Communications of the ACM, Vol 26(11), pp 832–843, 1983.
Borgida, A., Brachman, R.J., McGuinnes, D.L., Resnick,’ CLASSIC: A Structural Data Model for Objects', in Proceedings of the International Conference on Management of Data — SIGM0D89, pp 59–67, 1989.
Brachman, R.J., Schmolze, J.G.,’ An Overview of the KL-ONE Knowledge Representation System', in Cognitive Science, 9(2), pp 171–216, 1985.
Brachman, R.J., Pigman Gilbert, V., Levesque, H.J.,’ An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRYPTON', in Proceedings of the International Joint Conference on Artificial Intelligence-IJCAI85, pp 532–539, 1985.
Devanbu, P.T., Litman, D.J.,’ Plan-Based Terminological Reasoning', in Proceedings of the Conference on Representation of Knowledge-KR91, pp 128–138, 1991.
Koomen, J.A.G.M.,’ Reasoning about Recurrence', in International Journal of Intelligent Systems, Vol 6, pp 461–496, 1991.
MacGregor, R., Bates, R.,’ The LOOM Representation Language', Technical Report ISI/RS-87-1988, University of Southern California, Information Science Institute, Marina del Rey, CA, 1987.
Nebel, B., Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, 422, 1990.
Patel-Schneider, P., 'small Can Be Beautiful in Knowledge Representation', in Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pp 11–16, 1984.
Patel-Schneider, P.,’ Adding Number Restrictions to a Four-Valued Terminological Logic', in Proceedings of the National Conference on Artificial Intelligence — AAAI88, pp 485–490, 1988.
Rönnquist, R.,’ A Logic for Propagation Based Characterisation of Process Behaviour', in Proceedings of the International Symposium on Methodologies for Intelligent Systems — ISMIS90, pp 297–304, 1990.
Rönnquist, R., Theory and Practice of Tense-bound Object References, Ph.D. thesis, nr 270, Dpt. of Computer Science, Linköping University, 1992.
Schmiedel, A.,’ A Temporal Terminological Logic', in Proceedings of the National Conference on Artificial Intelligence-AAAI90, pp 640–645, 1990.
Shoham, Y.,’ Temporal Logics in AI: Semantical and Ontological Considerations', in Artificial Intelligence, Vol 33(1), pp 89–104, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lambrix, P., Rönnquist, R. (1993). Terminological logic involving time and evolution: A preliminary report. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive