Enhancing GISs for spatio-temporal reasoning

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.

[1]  Norman W. Paton,et al.  Geographic Data Handling in a Deductive Object-Oriented Database , 1994, DEXA.

[2]  Elisa Bertino,et al.  An Extended Algebra for Constraint Databases , 1998, IEEE Trans. Knowl. Data Eng..

[3]  Jan Chomicki,et al.  Constraint-based Interoperability of Spatiotemporal Databases* , 1999, GeoInformatica.

[4]  David J. Maguire,et al.  Geographical Information Systems , 1993 .

[5]  Michael F. Worboys,et al.  GIS : a computing perspective , 2004 .

[6]  Franco Turini,et al.  MuTACLP: A Language for Temporal Reasoning with Multiple Theories , 2002, Computational Logic: Logic Programming and Beyond.

[7]  Franco Turini,et al.  Temporal annotated constraint logic programming with multiple theories , 1999, Proceedings. Tenth International Workshop on Database and Expert Systems Applications. DEXA 99.

[8]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[9]  Franco Turini,et al.  Qualitative Reasoning in a Spatio-Temporal Language , 2002, SEBD.

[10]  David M. Mark,et al.  Naive Geography , 1995, COSIT.

[11]  Stéphane Grumbach,et al.  The DEDALE system for complex spatial queries , 1998, SIGMOD '98.

[12]  Chiara Renso,et al.  Temporal reasoning in geographical information systems , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[13]  Franco Turini,et al.  MuTACLP: A Language for Declarative GIS Analysis , 2000, Computational Logic.

[14]  Thom W. Frühwirth,et al.  Temporal Annotated Constraint Logic Programming , 1996, J. Symb. Comput..

[15]  F. Turini,et al.  Using MedLan to Integrate Geographical Data , 2000, J. Log. Program..

[16]  Gabriel M. Kuper,et al.  Constraint Query Languages , 1995, J. Comput. Syst. Sci..