RCC and the theory of simple regions in R2

The theory of mereology and its topological extensions, called mereotopologies, are point-free approaches that allow to model information while avoiding several puzzling assumptions typical of set-theoretical systems. Although points can be introduced in a mereology or mereotopology, the idea is that one does so only when their existence is clearly motivated. The Region Connection Calculus, RCC, is a mereotopological system that assumes upfront the existence of points: points must be accepted for the system to have the desired semantics. This is awkward from the mereological viewpoint and is considered unsatisfactory from the cognitive and the philosophical perspectives on which mereology rests. We prove that, in dimension two and with the standard semantics, a theory equivalent to RCC can be given without any reference to points at the semantic level also. The theory, based on mereology, uses the topological primitive 'being a simple region' (aka 'being strongly self-connected'). © 2013 Springer International Publishing Switzerland.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Borgo
Stefano
Publisher: 
Springer, Berlin , Germania
Source: 
International Conference COSIT 2013, pp. 457–474, Scarborough, UK, 3-5 settembre 2013
Date: 
2013
Resource Identifier: 
http://www.cnr.it/prodotto/i/319705
https://dx.doi.org/10.1007/978-3-319-01790-7-25
info:doi:10.1007/978-3-319-01790-7-25
http://www.scopus.com/record/display.url?eid=2-s2.0-84885013491&origin=inward
urn:isbn:9783319017891
Language: 
Eng
ISTC Author: 
Stefano Borgo's picture
Real name: