A Necessary Relation Algebra for Mereotopology

The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T0 topological space with an additional "contact relation" C defined by xCy ⇔ x ∩ ≠ ØA (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, and hence, in any standard model of mereotopology. It follows that the expressiveness of the RCC in relational logic is much greater than the original 8 RCC base relations might suggest. We also interpret these 25 relations in the the standard model of the collection of regular open sets in the two-dimensional Euclidean plane.

[1]  B. Bennett,et al.  When does a Composition Table Provide a Complete and TractableProof Procedure for a Relational Constraint Language ? , 1997 .

[2]  Ivo Düntsch,et al.  Relations Algebras in Qualitative Spatial Reasoning , 1999, Fundam. Informaticae.

[3]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[4]  A. Tarski,et al.  Zur Grundlegung der Boole'schen Algebra. I , 1935 .

[5]  Michael Winter.  Strukturtheorie heterogener Relationenalgebren mit Anwendung auf Nichtdeterminismus in Programmiersprachen , 1998 .

[6]  Rudolf Berghammer,et al.  Algorithms from Relational Specifications , 1997, Relational Methods in Computer Science.

[7]  Ivo Düntsch,et al.  A relation - algebraic approach to the region connection calculus , 2001, Theor. Comput. Sci..

[8]  M. Egenhofer.  Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[9]  Giangiacomo Gerla,et al.  Connection Structures , 1991, Notre Dame J. Formal Log..

[10]  Alfred Tarski,et al.  Distributive and Modular Laws in the Arithmetic of Relation Algebras , 1953 .

[11]  Gunther Schmidt,et al.  Relational Methods in Computer Science , 1999, Inf. Sci..

[12]  Max J. Egenhofer,et al.  Relation algebras over containers and surfaces: An ontological study of a room space , 1999, Spatial Cogn. Comput..

[13]  Gunther Schmidt,et al.  Programs as Partial Graphs I: Flow Equivalence and Correctness , 1981, Theor. Comput. Sci..

[14]  Gunther Schmidt,et al.  Relationen und Graphen , 1989, Mathematik für Informatiker.

[15]  C. J. Everett,et al.  The Representation of Relational Algebras. , 1951 .

[16]  Rudolf Berghammer,et al.  Relational Algebraic Semantics of Deterministic and Nondeterministic Programs , 1986, Theor. Comput. Sci..

[17]  Carus Paul.  The Foundation of Mathematics. , 1920 .

[18]  B. Jonsson.  Maximal algebras of binary relations , 1984 .

[19]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[20]  Giangiacomo Gerla,et al.  Connection Structures: Grzegorczyk's and Whitehead's Definitions of Point , 1996, Notre Dame J. Formal Log..

[21]  Gunther Schmidt,et al.  Programs as Partial Graphs II: Recursion , 1981, Theor. Comput. Sci..

[22]  Gunther Schmidt,et al.  Relations and Graphs: Discrete Mathematics for Computer Scientists , 1993 .

[23]  Brandon Bennett,et al.  Logical representations for automated reasoning about spatial relationships , 1997 .

[24]  R. Maddux.  Some varieties containing relation algebras , 1982 .

[25]  N. Gotts.  An Axiomatic Approach to Topology For Spatial Information Systems , 1996 .

[26]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[27]  N. Gotts.  Topology from a Single Primitive Relation: Deening Topological Properties and Relations in Terms of Connection 1 , 1996 .

[28]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

[29]  Ian Pratt-Hartmann,et al.  Expressivity in Polygonal, Plane Mereotopology , 2000, J. Symb. Log..

[30]  Ivo Düntsch,et al.  Contact relation algebras , 2001 .

[31]  Ian Pratt-Hartmann,et al.  A Complete Axiom System for Polygonal Mereotopology of the Real Plane , 1998, J. Philos. Log..

[32]  H. Arnold Schmidt.  Algebra der →⌝-Logik , 1959 .

[33]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[34]  Vaughan R. Pratt,et al.  Dynamic algebras as a well-behaved fragment of relation algebras , 1988, Algebraic Logic and Universal Algebra in Computer Science.

[35]  Gunther Schmidt,et al.  Prototyping Relational Specifications Using Higher-Order Objects , 1993, HOA.

[36]  A. Tarski,et al.  A Formalization Of Set Theory Without Variables , 1987 .

[37]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[38]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[39]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.