Spatial reasoning in RCC-8 with Boolean region terms
Frank Wolter, Michael Zakharyaschev · BIROn (Birkbeck, University of London) · 2000
We extend the expressive power of the region connection calculus RCC-8 by allowing applications of the 8 binary relations of RCC-8 not only to atomic regions but also to Boolean combinations of them. It is shown that the statisfiability problem for the extended language in arbitrary topological spaces is still in NP; however, it becomes PSPACE-complete if only the Euclidean spaces ℝn, n > 0, are regarded as possible interpretations. In particular, in contrast to pure RCC-8, the new language is capable of distinguishing between connected and non-connected topological spaces.