We present a logical theory of space where only tridimensional regions are assumed in the domain. Three distinct primitives are used to describe their mereological, topological and morphological properties: mereology is described by a parthood relation satisfying the axioms of Closed Extensional Mereology; topology is described by means of a "simple region" predicate, by which a relation of "strong connection" between regions having at least a surface in common is defined; morphology is described by means of a "congruence" primitive, whose axioms exploit Tarski's analogy between points and spheres.
A Pointless Theory of Space based on Strong Connection and Congruence
Contributo in atti di convegno
Principles of knowledge representation and reasoning (KR), pp. 220–229, 2-4/11/1996
info:cnr-pdr/source/autori:Borgo, Stefano and Guarino, Nicola and Masolo, Claudio/congresso_nome:Principles of knowledge representation and reasoning (KR)/congresso_luogo:/congresso_data:2-4/11/1996/anno:1996/pagina_da:220/pagina_a:229/intervallo_pagine:2