Vagueness and Rough Location

This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). The indeterminacy of the location of spatial objects is caused by the vagueness of the unity condition provided by the underlying human concepts valley and dune. We propose the notion of rough, i.e., approximate, location for representing and processing information about indeterminate location of objects subject to vagueness. We provide an analysis of the relationships between vagueness of concepts, indeterminacy of location of objects, and rough approximations using methods of formal ontology. In the second part of the paper we propose an algebraic formalization of rough location, and hence, a formal method for the representation of objects subject to vagueness on a computer. We further define operations on those representations, which can be interpreted as union and intersection operations between those objects. The discussion of vagueness of concepts, indeterminacy of location, rough location and the relationships between these notions contributes to the theory about the ontology of geographic space. The formalization presented can provide the foundation for the implementation of vague objects and their location indeterminacy in GIS.

[1]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[2]  N. Chrisman.  Exploring Geographic Information Systems , 1997 .

[3]  P. Simons.  Parts: A Study in Ontology , 1991 .

[4]  Thomas Bittner,et al.  Rough Sets in Approximate Spatial Reasoning , 2000, Rough Sets and Current Trends in Computing.

[5]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

[6]  Max J. Egenhofer,et al.  Advances in spatial databases : 4th International Symposium, SSD '95, Portland, ME, USA, August 6-9, 1995 : proceedings , 1995 .

[7]  Markus Schneider,et al.  Partition and Conquer , 1997, COSIT.

[8]  Simone Pribbenow,et al.  Midwinters, end games, and body parts: a classification of part-whole relations , 1995, Int. J. Hum. Comput. Stud..

[9]  Barry Smith,et al.  Ontology and Geographic Kinds , 1998 .

[10]  Achille C. Varzi,et al.  Holes and Other Superficialities , 1994 .

[11]  B. V. Fraassen.  Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[12]  Thomas Bittner,et al.  A boundary-sensitive approach to qualitative location , 2004, Annals of Mathematics and Artificial Intelligence.

[13]  P. Halmos.  Lectures on Boolean Algebras , 1963 .

[14]  Achille C. Varzi,et al.  The structure of spatial localization , 1996 .

[15]  Michael F. Worboys,et al.  The Algebraic Structure of Sets of Regions , 1997, COSIT.

[16]  K. Fine.  Vagueness, truth and logic , 1975, Synthese.

[17]  Barry Smith,et al.  A Taxonomy of Granular Partitions , 2001, COSIT.

[18]  Markus Schneider,et al.  Vague Regions , 1997, SSD.

[19]  Stephan Winter.  Topological Relations between Regions in Raster , 1995, SSD.

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

[21]  John G. Stell,et al.  Spatial relations between indeterminate regions , 2001, Int. J. Approx. Reason..

[22]  Thomas Bittner,et al.  A unified theory of granularity, vagueness and approximation , 2001 .

[23]  Barry Smith,et al.  A Unified Theory of Truth and Reference , 2000 .

[24]  Thomas Bittner,et al.  A Qualitative Coordinate Language of Location of Figures within the Ground , 1997, COSIT.

[25]  John G. Stell,et al.  Stratified Map Spaces: A Formal Basis for Multi-resolution Spatial Databases , 2001 .

[26]  Andrew U. Frank,et al.  Formalization of Families of Categorical Coverages , 1997, Int. J. Geogr. Inf. Sci..