A Categorical Axiomatisation of Region-Based Geometry

Issue title: Qualitative Spatial Reasoning

Article type: Research Article

Authors: Bennett, Brandon

Abstract: Region Based Geometry (RBG) is an axiomatic theory of qualitative configurations of spatial regions. It is based on Tarski's Geometry of Solids, in which the parthood relation and the concept of sphere are taken as primitive. Whereas in Tarski's theory the combination of mereological and geometrical axioms involves set theory, in RBG the interface is achieved by purely 1st-order axioms. This means that the elementary sublanguage of RBG is extremely expressive, supporting inferences involving both mereological and geometrical concepts. Categoricity of the RBG axioms is proved: all models are isomorphic to a standard interpretation in terms of Cartesian spaces over R.

Keywords:

Journal: Fundamenta Informaticae, vol. 46, no. 1-2, pp. 145-158, 2001