In view of the growing prominence of corporate modeling, an important area of research concerns techniques for facilitating the design and utilization of models. In this paper we show how first-order ...

This is a preview. Log in through your library . Abstract This paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A ...