Qualitative reasoning about consistency in geographic information

Information Sciences

Volumn 176, Issue 6, 2006, Pages 601-627

  Duckham, Matt ^a   Lingham, Jenny ^b   Mason, Keith ^b   Worboys, Michael ^c  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b KEELE UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF MAINE   (United States)

Author keywords

Description logic; GIS; Information fusion; Interoperability; Region connection calculus

Indexed keywords

DATA PROCESSING; FORMAL LOGIC; INFORMATION ANALYSIS; INTEROPERABILITY;

DESCRIPTION LOGIC; INFORMATION FUSION; REGION CONNECTION CALCULUS;

GEOGRAPHIC INFORMATION SYSTEMS;

EID: 29744451796     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2005.01.021     Document Type: Article

References (54)

1. R.R. Yager Modeling uncertainty using partial information Information Sciences 121 3-4 1999 271 294
2. L. Cholvy, and A. Hunter Information fusion in logic: a brief overview Qualitative and Quantitative Practical Reasoning (ECSQARU'97/FAPR'97) Lecture Notes in Computer Science vol. 1244 1997 Springer-Verlag Berlin 86 95
3. D. Gabbay, and A. Hunter Making inconsistencies respectable: Part 1-a logical framework for inconsistency in reasoning P. Jorrand J. Keleman Foundations of Artificial Intelligence Research vol. 535 1991 Springer-Verlag Berlin 19 32
4. D. Gabbay, and A. Hunter Making inconsistencies respectable: Part 2-meta-level handling of inconsistency M. Clarke R. Kruse S. Moral Symbolic and qualitative approaches to reasoning and uncertainty (ECSQARU'93) Lecture Notes in Computer Science vol. 747 1993 Springer-Verlag Berlin 137 144
5. J. Jensen, A. Saalfield, F. Broome, D. Cowan, K. Price, D. Ramsey, L. Lapine, Spatial data acquisition and integration, UCGIS Research Agenda, 1998. Available from: .
6. C. Date fifth ed. An Introduction to Database Systems vol. 1 1990 Addison-Wesley Massachusetts
7. M. Egenhofer, and A. Frank Object-oriented modelling for GIS URISA Journal 4 2 1992 3 19
8. P. Besnard, L. del Cerro, D. Gabbay, and A. Hunter Logical handling of inconsistent and default information P. Smets A. Motro Uncertainty Management in Information Systems 1997 Kluwer Boston 325 341 Chapter 11
9. M. Goodchild, A. Shortridge, and P. Fohl Encapsulating simulation models with geospatial data sets K. Lowell A. Jaton Spatial Accuracy Assessment: Land Information Uncertainty in Natural Resources 1999 Ann Arbor Michigan 123 130 Chapter 14
10. K. Reinke, G. Hunter, Communicating quality in spatial information: notification-the first step, in: W. Shi, M. Goodchild, P. Fisher (Eds.), Proceedings of the International Symposium on Spatial Data Quality, 1999, pp. 66-75.
11. M. Beard, and B. Buttenfield Detecting and evaluating errors by graphical means P. Longley M. Goodchild D. Maguire D. Rhind Geographical Information Systems vol. 1 1999 Wiley New York 219 233 Chapter 15
12. W. Tobler A graphical introduction to survey adjustment Cartographica 16 4 1996 33 42
13. G. Heuvelink Error propagation in environmental modelling with GIS Research Monographs in GIS 1998 Taylor and Francis London
14. J. Newcomer, and J. Szajgin Accumulation of thematic map error in digital overlay analysis American Cartographer 11 1 1984 58 62
15. S. Benferhat, S. Lagrue, and O. Papini Belief change: a brief overview International Journal of Geographical Information Science 18 4 2004 355 390
16. Y. Saygin, O. Ulusoy, and A. Yazici Dealing with fuzziness in active mobile database systems Information Sciences 120 1-4 1999 23 44
17. H. Guesgen, and J. Albrecht Imprecise reasoning in geographic information systems Fuzzy Sets and Systems 113 2000 121 131
18. O. Ahlqvist, J. Keukelaar, and K. Oukbir Rough classification and accuracy assessment International Journal of Geographical Information Science 14 5 2000 475 496
19. A. Cohn, B. Bennett, J. Gooday, and N. Gotts Qualitative spatial representation and reasoning with the region connection calculus GeoInformatica 1 3 1997 275 316
20. D. Randell, Z. Cui, and A. Cohn A spatial logic based on regions and connection Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning 1992 Morgan Kaufmann San Mateo 165 176
21. P. Gärdenfors Conceptual Spaces: The Geometry of Thought 2000 MIT Press Cambridge, Massachusetts
22. P. Gärdenfors, and M.-A. Williams Reasoning about categories in conceptual spaces Proceedings of the International Joint Conferences on Artificial Intelligence (IJCAI) 2001 Morgan Kaufmann Palo Alto 385 392
23. B. Clarke A calculus of individuals based on connection Notre Dame Journal of Formal Logic 23 3 1981 204 218
24. S. Russell, and P. Norvig Artificial Intelligence: A Modern Approach 1995 Prentice Hall New Jersey
25. M. Egenhofer, and A. Frank LOBSTER: combining AI and database techniques for GIS Photogrammetric Engineering and Remote Sensing 56 6 1990 919 926
26. V. Haarslev, C. Lutz, and R. Möller A description logic with concrete domains and a role-forming predicate operator Journal of Logic and Computation 9 3 1999 351 384
27. F. Hakimpour, S. Timpf, Using ontologies for resolution of semantic heterogeneities in GIS, in: 4th AGILE Conference on Geographic Information Science, Brno, Czech Republic, 2001.
28. R. Brachman, and J. Schmolze An overview of the KL-ONE knowledge representation system Cognitive Science 9 2 1985 171 216
29. F. Dononi, M. Lenzerini, D. Nardi, and A. Schaerf Reasoning in description logics G. Brewka Principles of Knowledge Representation and Reasoning 1996 CSLI Publications 193 238
30. D. Calvanese, G. De Giacomo, D. Nardi, and M. Lenzerini Reasoning in expressive description logics A. Robinson A. Voronkov Handbook of Automated Reasoning vol. 2 2001 Elsevier Science Amsterdam 1581 1634 Chapter 23
31. U. Hustadt, and R. Schmidt Issues of decidability for description logics in the framework of resolution R. Caferra G. Salzer Automated deduction in classical and non-classical logic Lecture Notes in Artificial Intelligence vol. 1761 2000 Springer-Verlag Berlin 191 205
32. H. Veregin Data quality parameters second ed. P. Longley M. Goodchild D. Maguire D. Rhind Geographical Information Systems vol. 1 1999 Longman Essex 177 189 Chapter 12
33. M. Worboys Computation with imprecise geospatial data Computers, Environment and Urban Systems 22 2 1998 85 106
34. M. Worboys Imprecision in finite resolution spatial data GeoInformatica 2 3 1998 257 279
35. A. Frank, and W. Kuhn Advances in spatial databases M. Egenhofer J. Herring Specifying Open GIS with Functional Languages Lecture Notes in Computer Science vol. 951 1995 Springer-Verlag New York 184 195
36. M. Sondheim, K. Gardels, and K. Buehler GIS interoperability P. Longley M. Goodchild D. Maguire D. Rhind Geographical Information Systems vol. 1 1999 Wiley New York 327 358 Chapter 24
37. R. Brachman, D. McGuinness, P. Patel-Schneider, L. Resnick, and A. Borgida Living with CLASSIC: when and how to use a KL-ONE-like language J. Sowa Principles of Semantic Networks: Explorations in the Representation of Knowledge 1991 Morgan Kaufmann California 401 456
38. F. de Bertrand de Beuvron, F. Rousselot, M. Grathwohl, D. Rudloff, M. Schlick, CICLOP, in: P. Lambrix, A. Borgida, M. Lenzerini, R. Möller, P. Patel-Schneider (Eds.), Proceedings of the International Description Logics Workshop (DL-99), 1999. Available from: .
39. V. Haarslev, R. Möller, Description of the RACER system and its applications, in: C. Goble, R. Möller, P. Patel-Schneider (Eds.), Proceedings of the International Description Logics Workshop (DL-2001), 2001. Available from: .
40. P. Patel-Schneider, B. Swartout, Description logic knowledge representation system specification from the KRSS group of the ARPA knowledge sharing effort. , 1993 (accessed 28.12.01).
41. R. Fuller, G. Groom, and A. Jones A land cover map of Great Britain: an automated classification of Landsat Thematic Mapper data Photogrammetric Engineering and Remote Sensing 60 5 1994 553 562
42. M. Bossard, J. Feranec, J. Otahel, Corine land cover technical guide, Tech. rep., European Environment Agency, technical report No. 40 (2000).
43. R. Fuller, and N. Brown A CORINE map of Great Britain by automated means, techniques for automatic generalization of the Land Cover Map of Great Britain International Journal of Geographical Information Science 10 8 1996 937 953
44. Ordnance Survey, Digital National Framework-an introduction, Tech. Rep., Ordnance Survey, consultation paper 1/2000 (2000).
45. Ordnance Survey, Associating data with the Digital National Framework, Tech. Rep., Ordnance Survey, consultation paper 5/2000 (2000).
46. J. Harley, Ordnance Survey Maps a descriptive manual, Ordnance Survey, Southampton, 1975.
47. A. Vckovski Interoperable and distributed processing in GIS Research Monographs in GIS 1998 Taylor and Francis London
48. A. Cohn, and N. Gotts The 'egg-yolk' representation of regions with indeterminate boundaries P.A. Burrough A.U. Frank Geographic Objects with Indeterminate Boundaries, GIS Data 2 1996 Taylor and Francis London
49. J. Stell Part and complement: fundamental concepts in spatial relations Annals of Artificial Intelligence and Mathematics 41 1 2002 1 17
50. R. Franzosa, M. Egenhofer, Point-set topological spatial relations, International Journal of Geographic Information Systems 5 (2) (1991) 160-174.
51. E. Clementini, and P. Di Felice A model for representing topological relationships between complex geometric features in spatial databases Information Sciences 90 1-4 1996 121 136
52. T. Bittner Approximate qualitative temporal reasoning Annals of Mathematics and Artificial Intelligence 35 1-2 2002 39 80
53. M. Worboys, and M. Duckham Integrating spatio-thematic information M. Egenhofer D. Mark Geographic Information Science Lecture Notes in Computer Science vol. 2478 2002 Springer Berlin 346 361
54. M. Duckham, and M.F. Worboys An algebraic approach to automated geospatial information fusion International Journal of Geographic Information Science 19 5 2005 537 557