Title: Relations algebras in qualitative spatial reasoning
Authors: Ivo Düntsch , Dept of Computer Science , Brock University , St Catherines, Ontario, L2S 3A1, Canada
Hui Wang, Steve McCloskey , School of Information and Software Engineering , University of Ulster
Status: Theoretical Computer Science (A) 255 (2001), 229-248
Abstract: The formalization of the "part-of" relationship goes back to the mereology of S. Lesniewski, subsequently taken up by Leonard & Goodman, and Clarke. In this paper we investigate relation algebras obtained from different notions of "part-of", respectively, ``connectedness'' in various domains. We obtain minimal models for the relational part of mereology in a general setting, and when the underlying set is an atomless Boolean algebra.

View technical report version