Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms

该项目将极大地促进在定性空间推理和地理信息系统的智能信息使用方面的突破性科学知识的发展。具有表现力的空间语言在组织空间知识、定义空间查询语言和指导空间数据挖掘方面具有重要意义。有效的空间推理机制使理论更接近于应用，包括一致性检查和空间查询预处理。该项目将有助于从海量空间数据库中提取知识，满足初级用户对空间信息日益增长的需求，并使澳大利亚成为空间认知研究和发展地理位置服务的主要参与者。

The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.