Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
Beard, K. 1988 “Multiple representations from a detailed database: A scheme for automated generalization.” Ph.D. thesis, University of Wisconsin, Madison
Bittner, T. and Stell, J. G. 1998 “A Boundary-Sensitive Approach to Qualitative Location,” Annals of Mathematics and Artificial Intelligence, 24, 93–114.
Bittner, T. and B. Smith 2001 “Vagueness and Granular Partitions.” to appear in C. Welty and B. Smith (eds.), Proceedings of FOIS-2001: The 2nd International Conference on Formal Ontology in Information Systems, Sheridan Press.
Bunge, W. 1966 Theoretical Geography. Lund: Gleerup.
Casati, R. and Varzi, A.C. 1995 “The Structure of Spatial Location”, Philosophical Studies, 82, 205–239
Casati, R. and Varzi, A. C. 1999 Parts and Places, Cambridge, MA: MIT Press.
Chrisman, N. 1982 “Models of Spatial Analysis Based on Error in Categorical Maps.” Ph.D. thesis, University of Bristol, England
Erwig, Martin and Schneider, Markus 1999 “The Honeycomb Model of Spatio-Temporal Partitions,” International Workshop on Spatio-Temporal Database Management (Lecture Notes in Computer Science 1678), Berlin: Springer, 39–59.
Frank, A., Volta, G., and McGranaghan, M. 1997 “Formalization of families of categorical coverages,” International Journal of Geographic Information Science, 11:3, 214–231
Galton, A. C. 1999 “The Mereotopology of Discrete Space”, in C. Freksa and D. M. Mark (eds.) Spatial Information Theory: Cognitive and Computational Foundations of Geographic Science (Lecture Notes in Computer Science 1661), Berlin/New York: Springer, 251–266.
Guarino N. and Welty, C. 2000 “Ontological Analysis of Taxonomic Relationships,” to appear in A. Laender and V. Storey, (eds.), Proceedings of ER-2000: The 19th International Conference on Conceptual Modeling (Lecture Notes in Computer Science), Berlin/New York: Springer-Verlag.
Lewis, D. 1991 Parts of Classes, Oxford: Blackwell.
Searle, J. R. 1983 Intentionality. An Essay in the Philosophy of Mind, Cambridge: Cambridge University Press.
Simons, P. M. 1987 Parts: A Study in Ontology. Oxford: Clarendon Press.
Smith, B. 1991 “Relevance, Relatedness and Restricted Set Theory”, in G Schurz and G. J. W. Dorn (eds.), Advances in Scientific Philosophy. Essays in Honour of Paul Weingartner, Amsterdam/Atlanta: Rodopi, 1991, 45–56.
Smith, B. 1995 “On Drawing Lines on a Map”, in Andrew U. Frank and Werner Kuhn (eds.), Spatial Information Theory. A Theoretical Basis for GIS (Lecture Notes in Computer Science 988), Berlin/Heidelberg/New York, etc.: Springer, 475–484.
Smith, B. 1999 “Truthmaker Realism”, Australasian Journal of Philosophy, 77(3), 274–291.
Smith, B. 2001 “True Grid”, in this volume.
Smith, B. and Brogaard, B. 2000 “Quantum Mereotopology,” forthcoming in Annals of Mathematics and Artificial Intelligence.
Smith, B. and Brogaard, B. 2001 “A Unified Theory of Truth and Reference,” Logique et Analyse, in press.
Smith, B. and Mark, D. M. 1999 “Ontology with Human Subjects Testing: An Empirical Investigation of Geographic Categories,” American Journal of Economics and Sociology, 58:2, 245–272.
Volta, G. and Egenhofer, M. 1993 “Interaction with GIS Attribute Data Based on Categorical Coverages.” in: Frank, A. and Campari, I. (eds.) Conference on Spatial Information Theory, Proceedings. (Lecture Notes in Computer Science, 716).
Wilson, R. J. and J. J. Watkins (1990). Graphs–An Introductory Approach. New York, John Willey and Sons, Inc.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bittner, T., Smith, B. (2001). A Taxonomy of Granular Partitions. In: Montello, D.R. (eds) Spatial Information Theory. COSIT 2001. Lecture Notes in Computer Science, vol 2205. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45424-1_3
Download citation
DOI: https://doi.org/10.1007/3-540-45424-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42613-4
Online ISBN: 978-3-540-45424-3
eBook Packages: Springer Book Archive