Terminological Logic Involving Time and Evolution: a Preliminary Report

Résumé du livre

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."