Terminological Logic Involving Time and Evolution: A Preliminary Report
1993 (English)In: Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings, Springer Berlin/Heidelberg, 1993, 162-171 p.Chapter in book (Refereed)
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.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 1993. 162-171 p.
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 689
IdentifiersURN: urn:nbn:se:liu:diva-119312DOI: 10.1007/3-540-56804-2_16ISBN: 978-3-540-56804-9ISBN: 978-3-540-47750-1OAI: oai:DiVA.org:liu-119312DiVA: diva2:820786