Integrating knowledge representation and reasoning in Geographical Information Systems

We propose a formalism and a programming environment in which sophisticated spatio-temporal reasoning can be performed, while keeping the capabilities of manipulating and presenting large amounts of geographical data, typical of commercial Geographical Information Systems (GISs). The spatio-temporal knowledge representation language, named MuTACLP+, is based on constraint logic programming and is integrated via a middleware of commands and translation features with a commercial GIS. The paper presents the language, the architecture of the environment, and a few examples of its use in the field of event planning.

[1]  Stéphane Grumbach,et al.  Spatio-Temporal Data Handling with Constraints , 1998, GIS '98.

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

[3]  Antonio Brogi,et al.  Dynamic composition of parameterised logic modules , 1999, Comput. Lang..

[4]  D. Manocha,et al.  Fast Polygon Triangulation Based on Seidel's Algorithm , 1995 .

[5]  Jim Holder,et al.  User interfaces , 1985, ALET.

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

[7]  Gio Wiederhold,et al.  Mediators in the architecture of future information systems , 1992, Computer.

[8]  Franco Turini,et al.  Language Extensions for Semantic Integration of Deductive Databases , 1996, Logic in Databases.

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

[10]  Alessandra Raffaetà.  Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories , 2000 .

[11]  Michel Scholl,et al.  DEDALE, A Spatial Constraint Database , 1997, DBPL.

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

[13]  Robert A. Kowalski,et al.  Amalgamating language and metalanguage in logic programming , 1982 .

[14]  Franco Turini,et al.  Enhancing GISs for spatio-temporal reasoning , 2002, GIS '02.

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

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

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

[18]  Antonio Brogi,et al.  Modular logic programming , 1994, TOPL.

[19]  Jan Chomicki,et al.  Constraint-Based Interoperability of Spatiotemporal Databases , 1997, SSD.