Various views on spatial prepositions
AI Magazine
Temporal reasoning based on semi-intervals
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Spatial SQL: A Query and Presentation Language
IEEE Transactions on Knowledge and Data Engineering
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
Topological relationships between complex spatial objects
ACM Transactions on Database Systems (TODS)
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
The endpoint hypothesis: a topological-cognitive assessment of geographic scale movement patterns
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
The head-body-tail intersection for spatial relations between directed line segments
GIScience'06 Proceedings of the 4th international conference on Geographic Information Science
Spherical topological relations
Journal on Data Semantics III
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Towards modeling dynamic behavior with integrated qualitative spatial relations
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Hi-index | 0.00 |
This paper revisits conceptual neighborhood graphs for the topological relations between two regions, in order to bridge from the A-B-C neighborhoods defined for interval relations in R1 to region relations in R2 and on the sphere S2. A categorization of deformation types--built from same and different positions, orientations, sizes, and shapes--gives rise to four different neighborhood graphs. They include transitions that are constrained by the regions' geometry, yielding some directed, not undirected neighborhood graphs. Two of the four neighborhood graphs correspond to type B and C. The lattice of conceptual neighborhood graphs captures the relationships among the graphs, showing completeness under union and intersection.