Spatial locations via morpho-mereology
Matteo Cristani, Anthony G. Cohn, Brandon Bennett · 2000
We present a calculus for representing and reasoning about the location of rigid objects which may move within some region (we will speak of mobile parts). The calculus has both a mereological primitive and a morphological one, hence the title of the paper. We present an axiomatisation for congruence, our chosen morphological primitive, define the notion of mobile part, describe a subset of morphomereological relations suitable for representing spatial locations, and analyze the computational complexity of this set. 1 Introduction Developing formalisms for representing and reasoning about qualitative spatial information is now an active research area, both within AI, and within the field of geographical information systems [14]. Much of the e#ort has been devoted to developing e#cient representations for reasoning about topological information [2, 25, 24, 20], although other aspects such as orientation [22, 19], distance [18] and qualitative morphology [12] have also been ...