Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Naimpally, S.A., Warrack, B.D.: Proximity Spaces. Cambridge University Press, Cambridge (1970)
de Laguna, T.: Point, line and surface as sets of solids. The Journal of Philosophy 19, 449–461 (1922)
Nicod, J.: Geometry in a sensible world. In: Doctoral thesis, Sorbonne, Paris (1924), English translation in Geometry and Induction, Routledge and Kegan Paul (1969)
Tarski, A.: Foundation of the geometry of solids. In: Woodger, J.H. (ed.) Logic, Semantics, Metamathematics, pp. 24–29. Clarendon Press, Oxford (1956), Translation of the summary of an address given by A. Tarski to the First Polish Mathematical Congress, Lwów (1927)
Whitehead, A.N.: Process and reality. MacMillan, New York (1929)
Bennett, B., Düntsch, I.: Algebras, axioms, and topology. In: Aiello, M., van Benthem, J., Pratt-Hartmann, I. (eds.) Handbook of Spatial Logics, pp. 99–159. Kluwer, Dordrecht (2007)
Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and reasoning with qualitative spatial relations about regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97–134. Kluwer, Dordrecht (1997)
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
Koppelberg, S.: General Theory of Boolean Algebras. Handbook on Boolean Algebras, vol. 1. North Holland, Amsterdam (1989)
Engelking, R.: General Topology. PWN, Warszawa (1977)
Dimov, G., Vakarelov, D.: Contact algebras and region–based theory of space: A proximity approach – I. Fundamenta Informaticae 74, 209–249 (2006)
Düntsch, I., Winter, M.: A representation theorem for Boolean contact algebras. Theoretical Computer Science (B) 347, 498–512 (2005)
Dimov, G., Vakarelov, D.: Contact algebras and region–based theory of space: A proximity approach –II. Fundamenta Informaticae 74, 251–282 (2006)
Düntsch, I., Vakarelov, D.: Region–based theory of discrete spaces: A proximity approach. Annals of Mathematics and Artificial Intelligence 49, 5–14 (2007)
Dimov, G., Vakarelov, D.: Topological representation of precontact algebras. In: MacCaull, W., Winter, M., Düntsch, I. (eds.) RelMiCS 2005. LNCS, vol. 3929, pp. 1–16. Springer, Heidelberg (2006)
Galton, A.: The mereotopology of discrete space. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol. 1661, pp. 251–266. Springer, Heidelberg (1999)
Düntsch, I., Winter, M.: Construction of Boolean contact algebras. AI Communications 13, 235–246 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Düntsch, I., Winter, M. (2008). The Lattice of Contact Relations on a Boolean Algebra. In: Berghammer, R., Möller, B., Struth, G. (eds) Relations and Kleene Algebra in Computer Science. RelMiCS 2008. Lecture Notes in Computer Science, vol 4988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78913-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-78913-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78912-3
Online ISBN: 978-3-540-78913-0
eBook Packages: Computer ScienceComputer Science (R0)