@techreport{R-93-10, PSURL = {/publications/cgi-bin/tr-fetch.pl?r-93-10+ps}, ABSTRACTURL = {/publications/cgi-bin/tr-fetch.pl?r-93-10+abstr}, ABSTRACT = {Although terminological logics as well as temporal reasoning has received considerable attention in the knowledge representation community in the last years, few attempts have been made to integrate those 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. Formal semantics for T-LITE are provided. }, TITLE = {Terminological Logic Involving Time and Evolution: A Preliminary Report}, AUTHOR = {Patrick Lambrix and Ralph R{\"o}nnquist}, EMAIL = {patla@ida.liu.se}, YEAR = {1993}, NUMBER = {R-93-10}, INSTITUTION = ida, ADDRESS = idaaddr, IDANR = {LiTH-IDA-R-93-10}, NOTE = {Accepted to International Symposium on Methodologies for Intelligent Systems, Trondheim, Norway, June 15-18, 1993}