Vagueness and Rough Location
GeoInformaticaPublished 1 June 2002
Thomas Bittner, John G. Stell
Citations51
SJR quartileQ2
SJR score0.47
SNIP1.13
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An algebraic formalization of rough location is proposed, and hence, a formal method for the representation of objects subject to vagueness on a computer is presented, which can provide the foundation for the implementation of vague objects and their location indeterminacy in GIS.
Abstract
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.
Keywords
Computer ScienceSocial Sciences
A Spatial Logic based on Regions and Connection.
1,927 Citations1992David Randell, Zhanfeng Cui +1 more
An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness.
International Journal of Geographical Information SystemsPoint-set topological spatial relations
1,651 Citations1991Max J. Egenhofer, Robert Franzosa
A novel theory of topological spatial relations between sets is developed in which the relations are defined in terms of the intersections of the boundaries and interiors of two sets, and it is shown that these relations correspond to some of the standard set theoretical andTopological spatial Relations between sets such as equality, disjointness and containment in the interior.
Parts : a Study in Ontology
983 Citations1987Peter Simons
Population and Development ReviewGeographic Objects with Indeterminate Boundaries.
721 Citations1997Geoffrey McNicoll, P.A. Burrough +1 more
Elsevier eBooksFundamentals of Spatial Information Systems
712 Citations1992
This book describes the construction of donnees spatiales and their role in the geomatique, as well as some of the mechanisms used to design and construct them.
Infoscience (Ecole Polytechnique Fédérale de Lausanne)Exploring Geographic Information Systems
251 Citations1997Nicholas Chrisman
This paper presents a meta-modelling architecture for estimating distance relationships between surfaces and Near Neighbors using reference systems for Measurement and attribute-based operations.
Lecture notes in computer scienceNaive Geography
231 Citations1995Max J. Egenhofer, David Mark
The notion and concepts of Naive Geography are defined to comprise a set of theories that provide the basis for designing future Geographic Information Systems that follow human intuition and are, therefore, easily accessible to a large range of users.
The MIT Press eBooksHoles and Other Superficialities
212 Citations1994Roberto Casati, Achille C. Varzi
The Philosophical ReviewHoles and Other Superficialities.
205 Citations1996David Lewis, Roberto Casati +1 more
Ontology and Geographic Kinds
204 Citations1998Barry Smith, David Mark
This paper first demonstrates that geographical objects and kinds are not just larger versions of the everyday objects and kind previously studied in cognitive science, and that their spatial boundaries are in many cases the most salient features for categorization.
Lecture notes in computer scienceVague regions
119 Citations1997Martin Erwig, Markus Schneider
This work presents a model of vague regions which covers and extends previous approaches and gives a formal definition of basic operations and predicates which particularly allow a more fine-grained investigation of spatial situations than in the pure exact case.
A unified theory of granularity, vagueness and approximation
97 Citations2001Thomas Bittner, Barry Smith
It is attempted to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy, and how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations.
International Journal of Human-Computer StudiesMidwinters, end games, and body parts: a classification of part-whole relations
96 Citations1995Peter Gerstl, Simone Pribbenow
This paper presents a classification of part-whole relations that is suitable for different cognitive tasks and gives proposals for the representation and processing of these relations.
International Journal of Approximate ReasoningSpatial relations between indeterminate regions
72 Citations2001Abhideep Roy, John G. Stell
It is shown that it is possible to define part-of in terms of connection in the indeterminate case and an algebraic approach to spatial indeterminacy using Łukasiewicz algebras is developed, which provides a generalisation of the “egg-yolk” model of ind determinate regions.
Stratified Map Spaces: A Formal Basis for Multi-resolution Spatial Databases
71 Citations2001John G. Stell
A formal approach to multi-resolution in spatial data handling is provided to provide a formal foundation for generalization and vague regions, focusing on the new concept of a stratified map space.
Philosophical StudiesThe structure of spatial localization
70 Citations1996Roberto Casati, Achille C. Varzi
Lecture notes in computer sciencePartition and conquer
59 Citations1997Martin Erwig, Markus Schneider
A rigorous definition for spatial partitions is given and it is indicated that partitions can be effectively used as a meta-model to describe other spatial data types.
A Unified Theory of Truth and Reference
52 Citations2000Barry Smith, Berit Brogaard
Lecture notes in computer scienceThe algebraic structure of sets of regions
49 Citations1997John G. Stell, Mike Worboys
A proof that elements of certain Heyting algebras provide models of the Region-Connection Calculus developed by Cohn et al. is presented, using the mathematically well known techniques of “pointless topology”.
Lecture notes in computer scienceA Taxonomy of Granular Partitions
49 Citations2001Thomas Bittner, Barry Smith
A formal theory of granular partitions (ways of dividing up or sorting or mapping reality) is proposed and it is shown how the theory can be applied in the geospatial domain.
Annals of Mathematics and Artificial IntelligenceA boundary-sensitive approach to qualitative location
47 Citations1998Thomas Bittner, John G. Stell
A new approach to describing figure-ground relationships is presented which is able to take account of how the figure relates to boundaries between cells as well as to their interiors, and is applied to the case of the boundary-sensitive model of location.
Lecture notes in computer scienceTopological relations between discrete regions
43 Citations1995Stephan Winter
This work changes the requirements in case of reasoning in raster images from simple raster to a cellular decomposition of ℝ2 — what it calls a hyper-raster — which is also discrete, but preserves the topology of ™2.
Lecture notes in computer scienceRough Sets in Approximate Spatial Reasoning
35 Citations2001Thomas Bittner, John G. Stell
This paper shows how systems of relations between regions can be extended from precisely known regions to approximate ones, and the equivalence between them is proved.
International Journal of Geographical Information SystemsFormalization of families of categorical coverages
34 Citations1997Andrew U. Frank, Gary S. Volta +1 more
It is shown that categorical coverages are partially ordered by refinement of partitions, and a formalization of these rules based on the concepts of a partition of space and the refinement of such partitions of space is presented.
Lecture notes in computer scienceA qualitative coordinate language of location of figures within the ground
17 Citations1997Thomas Bittner
It is shown that representing a configuration of regions using a coordinate language of regional individuals supports a primary breakup of a spatial configuration into primary objects of focus and secondary objects of reference, i.e., in figure and ground.