Modeling Consistency of Spatio-Temporal Graphs uri icon