| Title:
| Contact relations algebras
|
| Authors:
|
Ivo Düntsch ,
Dept of Computer Science ,
Brock University ,
St Catherines, Ontario, L2S 3A1, Canada
|
| Status:
| In: Relational Methods in Algebra and Computer Science, Ed: E. Orlowska and A. Szalas, (2001), 113 - 134
|
| Abstract:
|
Contact relation algebras (CRAs), introduced in
``Relations algebras in qualitative spatial reasoning'' (Düntsch,
Wang, McCloskey) arise from the study of ``part--of'' and ``contact''
relations rooted in mereology and have applications, for example, in
qualitative spatial reasoning. We give an overview of the origins of CRAs
and numerous examples.
|
View technical report version