Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical Applications.
Marilisa E. Carboni, Annalisa Di Deo, Fosca Giannotti, Maria Vittoria Masserotti · 1996
In this paper we describe our experiment using an extension of the deductive database system LDL ++ [AOTZ93, AOZ93, AO93] to express situations that need spatio-temporal reasoning in Sea monitoring. The temporal extension we used is LDLT [DM94], a temporal database proposal that integrates the expressiveness and deductive power of the logic language LDL [NT88] with the possibility to perform temporal reasoning based on the Interval Algebra by Allen [All83]. The aim of our work is to realize an efficient integration between Deductive Databases and Geographical Information Systems (GIS) to study the advantages that the integration can bring to both of them. We want to understand, from one side, the adaptability and the contribution that Deductive Databases technology can give to GIS and from the other side, which kind of temporal reasoning GIS need or which applications GIS are addressed to. In particular, using the Sea monitoring application problem, it can be seen how a minimal tempora...