Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Temporal annotated constraint logic programming
Journal of Symbolic Computation - Special issue: executable temporal logics
The DEDALE system for complex spatial queries
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
An Extended Algebra for Constraint Databases
IEEE Transactions on Knowledge and Data Engineering
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Geographic Data Handling in a Deductive Object-Oriented Database
DEXA '94 Proceedings of the 5th International Conference on Database and Expert Systems Applications
Temporal Annotated Constraint Logic Programming with Multiple Theories
DEXA '99 Proceedings of the 10th International Workshop on Database & Expert Systems Applications
Temporal Reasoning in Geographical Information Systems
DEXA '00 Proceedings of the 11th International Workshop on Database and Expert Systems Applications
GIS: A Computing Perspective, 2nd Edition
GIS: A Computing Perspective, 2nd Edition
Spatiotemporal reasoning about epidemiological data
Artificial Intelligence in Medicine
Management of large spatial ontology bases
ODBIS'05/06 Proceedings of the First and Second VLDB conference on Ontologies-based databases and information systems
A qualitative spatio-temporal abstraction of a disaster space
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
Deductive and inductive reasoning on spatio-temporal data
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
Programming spatio-temporal data streaming applications with high-level specifications
Proceedings of the Third ACM SIGSPATIAL International Workshop on Querying and Mining Uncertain Spatio-Temporal Data
Hi-index | 0.00 |
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.