Temporal reasoning based on semi-intervals
Artificial Intelligence
A comparison of methods for representing topological relationships
Information Sciences—Applications: An International Journal
Maintaining knowledge about temporal intervals
Communications of the ACM
Spatial Reasoning with Topological Information
Spatial Cognition, An Interdisciplinary Approach to Representing and Processing Spatial Knowledge
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
A Small Set of Formal Topological Relationships Suitable for End-User Interaction
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Modeling Motion Qualitatively: Integrating Space and Time
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Hi-index | 0.00 |
Qualitative spatial reasoning (QSR) has many and varied applications among which reasoning about cartographic entities. We focus on reasoning about topological relations for which two approaches can be found in the literature: region-based approaches, for which the basic spatial entity is the spatial region; and point-set approaches, for which spatial regions are viewed as sets of points. We will follow the latter approach and provide a calculus for reasoning about point-like, linear and areal entities in geographic maps. The calculus consists of a constraint-based approach to the calculus-based method (CBM) in (Clementini et al., 1993). It is presented as an algebra alike to Allen's (1983) temporal interval algebra. One advantage of presenting the CBM calculus in this way is that Allen's incremental constraint propagation algorithm can then be used to reason about knowledge expressed in the calculus. The algorithm is guided by composition tables and a converse table provided in this contribution.