Algebraization and representation of mereotopological structures

Ivo Düntsch and Michael Winter

Boolean contact algebras are the abstract counterpart of region--based theories of space, which date back to the early 1920s. In this paper, we survey the development of these algebras and relevant construction and representation theorems.

Journal on Relation Methods in Computer Science, Vol. 1, pp. 161-180, 2004