The design and analysis of spatial data structures
The design and analysis of spatial data structures
Modelling topological and metrical properties in physical processes
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence
Imprecision in Finite Resolution Spatial Data
Geoinformatica
Topology in Raster and Vector Representation
Geoinformatica
A Qualitative Account of Discrete Space
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Topological Relations Between Regions in R² and Z²
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
A Canonical Model for a Class of Areal Spatial Objects
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Qualitative and Topological Relationships in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Topological Relations between Regions in Raster
SSD '95 Proceedings of the 4th International Symposium on Advances in Spatial Databases
Qualitative Spatial Representation and Reasoning Techniques
KI '97 Proceedings of the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Region connection calculus: its models and composition table
Artificial Intelligence
Fundamenta Informaticae
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
On Topological Consistency and Realization
Constraints
Fundamenta Informaticae
On minimal models of the Region Connection Calculus
Fundamenta Informaticae
A New Approach to the Concepts of Boundary and Contact: Toward an Alternative to Mereotopology
Fundamenta Informaticae
Modal Logics for Region-based Theories of Space
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
GIS-based multicriteria spatial modeling generic framework
International Journal of Geographical Information Science
Spatial reasoning in a fuzzy region connection calculus
Artificial Intelligence
Stonian p-ortholattices: A new approach to the mereotopology RT0
Artificial Intelligence
Hi-index | 0.00 |
The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC assumes a continuous representation of space. This contrasts sharply with the fact that spatial information obtained from physical recording devices is nowadays invariably digital in form and therefore implicitly uses a discrete representation of space. Recently, Galton developed a theory of discrete space that parallels RCC, but question still lies in that can we have a theory of qualitative spatial reasoning admitting models of discrete spaces as well as continuous spaces? In this paper we aim at establishing a formal theory which accommodates both discrete and continuous spatial information, and a generalization of Region Connection Calculus is introduced. GRCC, the new theory, takes two primitives: the mereological notion of part and the topological notion of connection. RCC and Galton's theory for discrete space are both extensions of GRCC. The relation between continuous models and discrete ones is also clarified by introducing some operations on models of GRCC. In particular, we propose a general approach for constructing countable RCC models as direct limits of collections of finite models. Compared with standard RCC models given rise from regular connected spaces, these countable models have the nice property that each region can be constructed in finite steps from basic regions. Two interesting countable RCC models are also given: one is a minimal RCC model, the other is a countable sub-model of the continuous space R2.