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.
|