Locological spaces: knowledge representation in an intensional setting
COGNITIVA 90 Proceedings of the third COGNITIVA symposium on At the crossroads of artificial intelligence, cognitive science, and neuroscience
Semi-metrics, closure spaces and digital topology
Selected papers of the workshop on Topology and completion in semantics
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 note on proximity spaces and connection based mereology
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
The Algebraic Structure of Sets of Regions
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
A representation theorem for Boolean contact algebras
Theoretical Computer Science
Generalized region connection calculus
Artificial Intelligence
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
Topological representation of contact lattices
RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra
Hi-index | 0.00 |
Mereotopology is a class of formal theories devoted to the analysis of spatiotemporal entities and their interactions. It has produced important advances in the analysis of natural language, naive geography and computer vision, illustrating a broad range of applications. However, it has been shown that the modelling of interactions between spatiotemporal entities with mereotopology can lead to unsolvable problems, including disconnectedness of the representation space as well as a mixup of the relationships of contact and overlap. The origin of these problems, which fundamentally limit the usefulness of mereotopology, has not been fully identified. In this paper, we first formally demonstrate that these problems originate from the incompatibility of the concepts of boundary, continuity and contact within the framework of mereotopology, as suggested by previous studies. Secondly, we prove that this incompatibility stems from the formalization of these concepts through topology. We show that a solution can be found by substituting for topology an alternative theory, known as locology, which provides new mathematical tools for the modelling of spatiotemporal entities.