Qualitative reasoning about consistency in geographic information

This paper explores the development and use of a qualitative reasoning system for describing consistency between different geographic data sets. Consistency is closely related to issues of uncertainty and interoperability in geographic information, and the paper assesses how automated reasoning about consistency can be used to support the integration of heterogeneous geographic data sets. The system developed is based on description logic. The decidability and tractability characteristics of description logic allow consistency checking to be deferred during data integration, so minimizing the information loss that usually accompanies any data integration task. Further, the user interface allows users to negotiate with the system in defining consistency. The results of the research suggest that further work could significantly increase the level of automation for many geographic data integration tasks.