Ontological modelling of form and function for architectural design
A Spatial Logic based on Regions and Connection