Qualitative Spatial Representation and Reasoning with the Region Connection Calculus

  • Authors:

  • Anthony G. Cohn;Brandon Bennett;John Gooday;Nicholas Mark Gotts

  • Affiliations:

  • Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. agc@scs.leeds.ac.uk;Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. brandon@scs.leeds.ac.uk;Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. jgooday@ds.equifax.co.uk;Division of Artificial Intelligence, School of Computer Studies, University of Leeds, Leeds LS2 9JT, England. nmg@aber.ac.uk

  • Venue:
  • Geoinformatica
  • Year:
  • 1997

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper surveys the work of the qualitative spatial reasoninggroup at the University of Leeds. The group has developed a number oflogical calculi for representing and reasoning with qualitative spatialrelations over regions. We motivate the use of regions as the primaryspatial entity and show how a rich language can be built up fromsurprisingly few primitives. This language can distinguish between convexand a variety of concave shapes and there is also an extension which handlesregions with uncertain boundaries. We also present a variety of reasoningtechniques, both for static and dynamic situations. A number of possibleapplication areas are briefly mentioned.