A conceptual framework for geographic knowledge engineering
A Spatial Logic based on Regions and Connection