A modification of RCC*-9
conference contributionposted on 18.09.2019 by Azadeh Izadi, Torsten Hahmann, Hans Guesgen, Kristin Stock
Any type of content contributed to an academic conference, such as papers, presentations, lectures or proceedings.
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 modified 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 modified theory. Finally, we confirm the consistency of RCC*0-9 using a finite model finder.