D. Ameyed, M. Miraoui, C. Tadj
Pervasive context-aware computing,
is one of the topics that received particular attention from
researchers. The context, itself is an important notion explored in
many works discussing its: acquisition, definition, modelling,
reasoning and more. In view of the permanent evolution of context-aware
systems, today context modeling, still a complex task due to the lack
of; an adequate, dynamic, formal and relevant context representation.
In this paper we discuss various context modeling approaches and
previous logic based works. We also propose a preliminary formal
spatiotemporal context modelling based on first order logic, derived
from the structure of natural languages.