README
Cardinal Direction Calculi
Elementary Geometry
Mereotopology
Region Connection Calculus
Spatial Logic
CRITERIA