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