|| Contact relations algebras
Ivo Düntsch ,
Dept of Computer Science ,
Brock University ,
St Catherines, Ontario, L2S 3A1, Canada
|| In: Relational Methods in Algebra and Computer Science, Ed: E. Orlowska and A. Szalas, (2001), 113 - 134
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.