A Spatial Logic based on Regions and Connection
Maintaining knowledge about temporal intervals