Digital topology: introduction and survey
Computer Vision, Graphics, and Image Processing
Temporal reasoning based on semi-intervals
Artificial Intelligence
Continuous Change in Spatial Region
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
A Taxonomy of Granular Partitions
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
A Qualitative Account of Discrete Space
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Topological representation of precontact algebras
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
A mereotopological product relationship description approach for assembly oriented design
Robotics and Computer-Integrated Manufacturing
Nearness of Objects: Extension of Approximation Space Model
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
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
Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
Fundamenta Informaticae
Fundamenta Informaticae
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
On Connection Synthesis via Rough Mereology
Fundamenta Informaticae - Qualitative Spatial Reasoning
Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning
Fundamenta Informaticae
Development of Near Sets Within the Framework of Axiomatic Fuzzy Sets
Fundamenta Informaticae
Extension properties of boolean contact algebras
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Hi-index | 0.00 |
High-level qualitative approaches to handling spatial information are widely perceived as having little relevance to the domain of low-level quantitative data inhabited by "real-world" applications. Amongst many possible reasons for this, we concentrate on the incongruity between the continuous-space models favoured by high-level approaches and the discrete, digital representations used at the lower level. In this paper a preliminary attempt is made to bridge this gap by developing a high-level qualitative spatial theory premissed on a discrete model of space. The axioms and definitions of mereotopology are replaced by analogous axioms and definitions that are appropriate to the discrete framework. In the development of the theory, many analogies and disanalogies between the continuous and discrete models are revealed. In particular, we exploit the intrinsic metric of the discrete framework to define a measure of distinctness for regions, which in turn affords an analogue of continuous change, thus allowing the temporal dimension to be introduced in a natural way.