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.

[1]  David J. Maguire,et al.  Geographical Information Systems , 1993 .

[2]  Thomas Bittner,et al.  Approximate Qualitative Temporal Reasoning , 2002, Annals of Mathematics and Artificial Intelligence.

[3]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[4]  Y. Heymann,et al.  CORINE Land Cover. Technical Guide , 1994 .

[5]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[6]  Max J. Egenhofer,et al.  Advances in Spatial Databases , 1997, Lecture Notes in Computer Science.

[7]  Ronald R. Yager,et al.  Modeling Uncertainty Using Partial Information , 1999, Inf. Sci..

[8]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[9]  Kevin P. Price,et al.  Spatial Data Acquisition and Integration , 2004 .

[10]  Michael F. Worboys,et al.  An algebraic approach to automated geospatial information fusion , 2005, Int. J. Geogr. Inf. Sci..

[11]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[12]  Nigel J. Brown,et al.  A CORINE Map of Great Britain by Automated Means, Techniques for Automatic Generalization of the Land Cover Map of Great Britain , 1996, Int. J. Geogr. Inf. Sci..

[13]  K. Lowell,et al.  Spatial Accuracy Assessment : Land Information Uncertainty in Natural Resources , 1999 .

[14]  Andrew U. Frank,et al.  Specifying Open GIS with Functional Languages , 1995, SSD.

[15]  Michael F. Worboys,et al.  Integrating Spatio-Thematic Information , 2002, GIScience.

[16]  Ola Ahlqvist,et al.  Rough classification and accuracy assessment , 2000, Int. J. Geogr. Inf. Sci..

[17]  Jeffrey A. Newcomer,et al.  Accumulation of Thematic Map Errors in Digital Overlay Analysis , 1984 .

[18]  Anthony Hunter,et al.  Information Fusion in Logic: A Brief Overview , 1997, ECSQARU-FAPR.

[19]  Ullrich Hustadt,et al.  Issues of Decidability for Description Logics in the Framework of Resolution , 1998, FTP.

[20]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[21]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[22]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[23]  Bill Swartout,et al.  Description-Logic Knowledge Representation System Specification from the KRSS Group of the ARPA Know , 1993 .

[24]  Hans W. Guesgen,et al.  Imprecise reasoning in geographic information systems , 2000, Fuzzy Sets Syst..

[25]  Eliseo Clementini,et al.  A Model for Representing Topological Relationships between Complex Geometric Features in Spatial Databases , 1996, Inf. Sci..

[26]  Odile Papini,et al.  Belief change: a brief overview , 2004 .

[27]  John G. Stell.  Part and Complement: Fundamental Concepts in Spatial Relations , 2004, Annals of Mathematics and Artificial Intelligence.

[28]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[29]  A. Jones,et al.  The Land Cover Map of Great Britain: an automated classification of Landsat Thematic Mapper data , 1994 .

[30]  Sabine Timpf,et al.  Using Ontologies for resolution of Semantic Heterogeneity in GIS , 2001 .

[31]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[32]  Dov M. Gabbay,et al.  Logical Handling of Inconsistent and Default Information , 1996, Uncertainty Management in Information Systems.

[33]  Volker Haarslev,et al.  A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[34]  Waldo R. Tobler,et al.  A Graphical Introduction to Survey Adjustment , 1995 .

[35]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .

[36]  Ashton Shortridge,et al.  Encapsulating simulation models with geospatial data sets , 1999 .

[37]  Andrej Včkovski,et al.  Interoperable and distributed processing in GIS , 1998 .

[38]  Peter Gärdenfors,et al.  Reasoning about Categories in Conceptual Spaces , 2001, IJCAI.

[39]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

[40]  M. Worboys.  Computation with imprecise geospatial data , 1998 .

[41]  J. B. Harley,et al.  Ordnance Survey Maps - A Descriptive Manual , 1975 .

[42]  Odile Papini,et al.  Belief change and pre-orders: a brief overview , 2004, Int. J. Geogr. Inf. Sci..

[43]  Özgür Ulusoy,et al.  Dealing with Fuzziness in Active Mobile Database Systems , 1999, Inf. Sci..

[44]  Dov M. Gabbay,et al.  Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.

[45]  Michael F. Worboys,et al.  Imprecision in Finite Resolution Spatial Data , 1998, GeoInformatica.

[46]  Gerard B. M. Heuvelink,et al.  Error Propagation in Environmental Modelling with GIS , 1998 .

[47]  N. Foo.  Conceptual Spaces—The Geometry of Thought , 2022 .

[48]  Alan Robinson,et al.  Handbook of automated reasoning , 2001 .

[49]  John F. Sowa,et al.  Principles of semantic networks , 1991 .

[50]  Amihai Motro,et al.  Uncertainty Management in Information Systems , 2011, Springer US.

[51]  M. J. Egenhofer,et al.  LOBSTER : combining Al and database techniques for GIS , 1990 .

[52]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[53]  Max J. Egenhofer,et al.  Object-Oriented Modeling for GIS , 2003 .

[54]  Dov M. Gabbay,et al.  Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.

[55]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.