Authors

 

Title

 

Status, Abstract

Ivo Düntsch

Brock University, St. Catharines, Ontario, Canada
duentsch@cosc.brocku.ca
 

A necessary relation algebra
for mereotopology


.pdf .bib

Preprint, later published in

Studia Logica 69 (3) 2001, 381-409

Gunther Schmidt

Department of Computing Science
University of the Federal Armed Forces Munich
schmidt@informatik.unibw-muenchen.de
We show that the basis operations of the relational calculus on a
``contact relation'' generate at least 25 relations in any model of
the Region Connection Calculus, and interpret these relations in the
collection of regular open sets in the two-dimensional Euclidean plane.

Michael Winter

Brock University, St. Catharines, Ontario, Canada
mwinter@cosc.brocku.ca