Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
SIGMOD RECORD 2002
ADBIS 2002
CIKM 2002
= CIKM'02 Website
= CIKM'02 Papers
= CIKM Workshop_1
<<< = GIS'02 Papers>>>
= CIKM Workshop_2
= DOLAP'02 Papers
= CIKM Workshop_3
= WIDM'02 Papers
CoopIS 2002
EDBT 2002
ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
SIGIR 2002
SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002

Enhancing GISs for spatio-temporal reasoning


A. Raffaetą, F. Turini, and C. Renso

  View Paper (PDF)  

Return to Spatio-temporal data handling


Abstract

We present a system which provides geographical information systems (GISs) with enhanced capabilities for supporting spatio-temporal reasoning. On top of a commercial GIS we build a software layer supplying the user with a declarative spatio-temporal interaction with the underlying GIS. Declarative spatio-temporal reasoning is supported by the language MuTACLP, a constraint logic based knowledge representation language that offers facilities for modeling and handling spatio-temporal information, enriched with some basic operators for combining different spatio-temporal knowledge bases. We describe the architecture of the system and we illustrate an actual implementation. The underlying GIS is ArcGIS 8.1, the language MuTACLP is implemented in Sicstus Prolog and the GIS interface establishing the connection between ArcGIS 8.1 and MuTACLP is realized in Visual Basic. Finally, we highlight the usefulness of this approach by modeling a case study regarding the behavioral ecology of crested porcupines.


DiSC'03 © 2003 Association for Computing Machinery