Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …

Qualitative spatial relations are symbol abstractions of geometric representations, which
allow computational analyses independent of, but consistent with, graphical depictions. This …

Qualitative temporal and spatial reasoning is in many cases based on binary relations such
as before, after, starts, contains, contact, part of, and others derived from these by relational …

Chapter 3 AXIOMS, ALGEBRAS AND TOPOLOGY Page 1 Chapter 3 AXIOMS, ALGEBRAS
AND TOPOLOGY Brandon Bennett University of Leeds Ivo Düntsch Brock University Second …

Current models cannot distinguish detailed topological relations between regions with
holes. In order to solve this problem, a new detailed representation model for topological …

We construct an homogeneous (and ω-categorical) representation of the relation algebra
RCC8, which is one of the fundamental formalisms for spatial reasoning. As a consequence …

Cavities in spatial phenomena require geometric representations of regions with holes.
Existing models for reasoning over topological relations either exclude such specialized …

Topological relations are important in various tasks of spatial reasoning, scene description
and object recognition. The RCC8 spatial constraint language developed by Randell, Cui …

Relational composition-based reasoning has become the most prevalent method for
qualitative reasoning since Allen's 1983 work on temporal intervals. Underlying this …

We consider quantifier-free spatial logics, designed for qualitative spatial representation and
reasoning in AI, and extend them with the means to represent topological connectedness of …