A Taxonomy of Granular Partitions

In this paper we propose a formal theory of granular partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize granular partitions at two levels: as systems of cells, and in terms of their projective relation to reality. We lay down conditions of well-formedness for granular partitions, and we define what it means for partitions to project transparently onto reality in such a way as to be structure-preserving. We continue by classifying granular partitions along three axes, according to: (a) the degree to which a partition represents the mereological structure of the domain it is projected onto; (b) the degree of completeness and exhaustiveness with which a partition represents reality; and (c) the degree of redundancy in the partition structure. This classification is used to characterize three types of granular partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain.

[1]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[2]  Roberto Casati,et al.  Parts And Places , 1999 .

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

[4]  Barry Smith,et al.  True Grid , 2001, COSIT.

[5]  Antony Galton,et al.  The Mereotopology of Discrete Space , 1999, COSIT.

[6]  Robin Wilson,et al.  Graphs an Introductory Approach , 1990, The Mathematical Gazette.

[7]  Christian Freksa,et al.  Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science , 1999, Lecture Notes in Computer Science.

[8]  Markus Schneider,et al.  The Honeycomb Model of Spatio-Temporal Partitions , 1999, Spatio-Temporal Database Management.

[9]  J. Searle.  Intentionality: An Essay in the Philosophy of Mind , 1983 .

[10]  Barry Smith,et al.  Relevance, relatedness and restricted set theory , 1991 .

[11]  Nicola Guarino,et al.  Ontological Analysis of Taxonomic Relationships , 2000, ER.

[12]  Barry Smith,et al.  Ontology with Human Subjects Testing: An Empirical Investigation of Geographic Categories , 1998 .

[13]  J. Searle.  Intentionality: Name index , 1983 .

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

[15]  Barry Smith,et al.  Granular partitions and vagueness , 2001, FOIS.

[16]  Barry Smith.  Truthmaker Realism 1 , 1999 .

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

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

[19]  K. I. Gerenchuk.  ON THEORETICAL GEOGRAPHY , 1980 .

[20]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[21]  David Lewis,et al.  Parts Of Classes , 1991 .

[22]  Thomas Bittner,et al.  Vagueness and Granular Partitions , 2001 .

[23]  Barry Smith,et al.  Truthmaker Realism , 1998 .

[24]  Max J. Egenhofer,et al.  Interaction with GIS Attribute Data Based on Categorial Coverages , 1993, COSIT.

[25]  Barry Smith.  Truthmaker Realism: Response to Gregory , 2002 .

[26]  Mary Kate Beard.  Multiple representations from a detailed database : a scheme for automated generalization , 1988 .