Exploiting Temporal Continuity in Qualitative Spatial Calculi

  title={Exploiting Temporal Continuity in Qualitative Spatial Calculi},
  author={Reginald G. Golledge and Max J. Egenhofer and Nicholas Mark Gotts and Zhan Cui},
It is argued that rigorous formal theories are a necessity if proper use is to be made of computers' ability to store and manipulate spatial and spatiotemporal information. A qualitative spatial calculus constructed within rst-order logic is described. This calculus treats extended regions rather than points as fundamental, and is based on primitive concepts of`connection' between regions, and of convexity. A sorted logic, and subsumption lattices of spatial relations and of spatial and… CONTINUE READING