As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Mereotopology is an approach to modeling space that allows to formalize human spatial intuition without reference to points. A predominant formal theory in this area is the Regions Connection Calculus (RCC) introduced in 1992. RCC has an original fault: it relies on the notion of (Euclidean) point for the interpretation of its primitive, i.e., the connection relation C. In this paper we show that in the natural structures for mereotopology, RCC is a theory of manifolds in disguise. It follows that RCC can be reformulated without reference to any notion of point both at the syntactic and at the semantic levels.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.