The Lattice of Contact Relations on a Boolean Algebra

Contact relations on an algebra have been studied since the early part of the previous century, and have recently become a powerful tool in several areas of artificial intelligence, in particular, qualitative spatial reasoning and ontology building. In this paper we investigate the structure of the set of all contact relations on a Boolean algebra.

[1]  Ivo Düntsch,et al.  Axioms, Algebras and Topology , 2007, Handbook of Spatial Logics.

[2]  Michael Winter,et al.  Construction of Boolean contact algebras , 2004, AI Commun..

[3]  Dimiter Vakarelov,et al.  Topological Representation of Precontact Algebras , 2005, RelMiCS.

[4]  Ivo Düntsch,et al.  Region–based theory of discrete spaces: A proximity approach , 2007, Annals of Mathematics and Artificial Intelligence.

[5]  Dimiter Vakarelov,et al.  Contact Algebras and Region-based Theory of Space: A Proximity Approach - I , 2006, Fundam. Informaticae.

[6]  Johan van Benthem,et al.  Handbook of Spatial Logics , 2007 .

[7]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

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

[9]  DimovGeorgi,et al.  Contact Algebras and Region-based Theory of Space: Proximity Approach - II , 2006 .

[10]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[11]  H. Priestley,et al.  Distributive Lattices , 2004 .

[12]  T. D. Laguna.  Point, Line, and Surface, as Sets of Solids , 1922 .

[13]  Stephan Winter,et al.  Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19-23, 2007, Proceedings , 2007, COSIT.

[14]  David M. Mark,et al.  Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science , 1999 .

[15]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[16]  Christian Freksa,et al.  Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science , 1999, Lecture Notes in Computer Science.

[17]  O. Stock.  Spatial and Temporal Reasoning , 1899 .

[18]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .