Istituto di Scienza e Tecnologie dell'Informazione     
Nanni M., Raffaetà A., Renso C., Turini F. A declarative Framework for reasoning on spatio-temporal data. Physica Verlag Geoscience Geoinformation Series ed. Rita de Caluwe, Guy de Tré, Gloria Bordogna (eds.). Berlin: Springer Verlag, 2004.
We present a framework for a declarative approach to spatio-temporal reasoning on geographical data. We introduce a constraint logical language STACLP, providing a set of spatial and temporal primitive operators that allow the user to perform temporal reasoning on spatial data. Formulae can be annotated with labels (annotations) to represent both temporal and spatial information, and relations between these labels can be expressed by using constraints. The role of such formalism can be manifold: first, it can be used as an advanced spatio-temporal query language on geographical data. Second, it can be exploited as a deductive rule-based approach to represent domain knowledge on such data. Third, it is well suited to represent trajectories of moving objects. Such trajectories can be analysed by using inductive techniques, like clustering, in order to find common movement patterns. It is worth to point out that STACLP allows one to tackle several analysis tasks requiring the integration of deductive and inductive capabilities. This is exemplified by means of a case study in the field of behavioural ecology.
Subject Spatio temporal reasoning
Data mining
Declarative programming
Constraint programming
D.1.6 Logic Programming

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional