Modeling consistency of spatio-temporal graphs

Authors:
G. Del Mondo;M. A. RodríGuez;C. Claramunt;L. Bravo;R. Thibaud
Affiliations:
University of Normandy, INSA/LITIS, Avenue de l'Université, 76801 Saint-ítienne-du-Rouvray Cedex, France;Department of Computer Science, University of Concepción Edmundo Larenas 219, 4070409 Concepción, Chile;Naval Academy Research Institute, CC600, 29240 Brest Cedex 9, France;Department of Computer Science, University of Concepción Edmundo Larenas 219, 4070409 Concepción, Chile;Naval Academy Research Institute, CC600, 29240 Brest Cedex 9, France
Venue:
Data & Knowledge Engineering
Year:
2013

Citing 21
Cited 2

Towards a general theory of action and time

Artificial Intelligence
Logic-based approach to semantic query optimization

ACM Transactions on Database Systems (TODS)
Modeling Moving Objects over Multiple Granularities

Annals of Mathematics and Artificial Intelligence
Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

Geoinformatica
A Methodology for Spatial Consistency Improvement of Geographic Databases

Geoinformatica
A Spatio-Temporal Model for the Manipulation of Lineage Metadata

Geoinformatica
Qualitative Representation of Change

COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
A Spatio-Temporal Taxonomy for the Representation of Spatial Set Behaviours

STDBM '99 Proceedings of the International Workshop on Spatio-Temporal Database Management
Managing Time in GIS: An Event-Oriented Approach

Proceedings of the International Workshop on Temporal Databases: Recent Advances in Temporal Databases
Using Orientation Information for Qualitative Spatial Reasoning

Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
The Tripod spatio-historical data model

Data & Knowledge Engineering
A Relative Representation of Trajectories in Geogaphical Spaces

Geoinformatica
A conceptual view on trajectories

Data & Knowledge Engineering
An inconsistency tolerant approach to querying spatial databases

Proceedings of the 16th ACM SIGSPATIAL international conference on Advances in geographic information systems
Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Event-based topology for dynamic planar areal objects

International Journal of Geographical Information Science
A taxonomy of collective phenomena

Applied Ontology
Implementing a qualitative calculus to analyse moving point objects

Expert Systems with Applications: An International Journal
Spatio-temporal evolution as bigraph dynamics

COSIT'11 Proceedings of the 10th international conference on Spatial information theory
Formalization and reasoning about spatial semantic integrity constraints

Data & Knowledge Engineering
A fuzzy identity-based temporal GIS for the analysis of geomorphometry changes

Journal on Data Semantics III

A graph-based model for the representation of land spaces

Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Continuum: a spatiotemporal data model to represent and qualify filiation relationships

Proceedings of the 4th ACM SIGSPATIAL International Workshop on GeoStreaming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work introduces a graph-based approach to the representation of evolving entities in space and time. At an abstract level, the model makes a distinction between filiation and spatial relationships between entities, while at the database level, it stores derivation relationships and determines continuation and spatial relationships in time. An extended relational database specification implements the spatio-temporal graph model. A formal language models integrity constraints that are inherent to the model and those that are semantic and application dependent. The satisfiability of these constraints is studied and an algorithm for checking consistency of spatio-temporal graph is provided. An experimental evaluation shows the potential of the model.