Temporal reasoning based on semi-intervals
Artificial Intelligence
Reasoning about Gradual Changes of Topological Relationships
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Computing Transivity Tables: A Challenge For Automated Theorem Provers
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Extensionality of the RCC8 composition table
Fundamenta Informaticae
Topological relationships between complex spatial objects
ACM Transactions on Database Systems (TODS)
Spherical topological relations
Journal on Data Semantics III
The 9 + -Intersection: A Universal Framework for Modeling Topological Relations
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
Single-Holed Regions: Their Relations and Inferences
GIScience '08 Proceedings of the 5th international conference on Geographic Information Science
A Reference System for Topological Relations between Compound Spatial Objects
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Comparing relations with a multi-holed region
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Hi-index | 0.00 |
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regions (9-intersection) or treat them indistinguishably from regions without holes (RCC-8). This paper highlights that inferences over a region with a hole need to be made separately from, and in addition to, the inferences over regions without holes. First the set of 23 topological relations between a region and a region with a hole is derived systematically. Then these relations' compositions over the region with the hole are calculated so that the inferences can be compared with the compositions of the topological relations over regions without holes. For 266 out of the 529 compositions the results over the region with the hole were more detailed than the corresponding results over regions without holes, with 95 of these refined cases providing even a unique result. In 27 cases, this refinement up to uniqueness compares with a completely undetermined inference for the relations over regions without holes.