The University of Auckland
Browse
4_5_Izadi_et_al.pdf (688.08 kB)

A modification of RCC*-9

Download (688.08 kB)
Version 3 2019-12-01, 23:21
Version 2 2019-09-18, 00:07
Version 1 2019-09-18, 00:06
conference contribution
posted on 2019-09-18, 00:07 authored by Azadeh Izadi, Torsten Hahmann, Hans Guesgen, Kristin Stock
RCC*-9 is a recently developed member of the region connection calculus family, and was introduced to represent topological relations in multidimensional space. In this paper, we discuss and address an inconsistency found in the RCC*-9 formalism, and propose a modi fied version of RCC*-9 which we call RCC*0-9. Furthermore, we prove the jointly exclusive and pairwise disjoint property of relations and theorems in the lattice of relations in the modi fied theory. Finally, we confi rm the consistency of RCC*0-9 using a finite model finder.

History

Publisher

University of Auckland