Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
Journal of the ACM (JACM)
Topological relations in the world of minimum bounding rectangles: a study with R-trees
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
Multiple view geometry in computer vision
Multiple view geometry in computer vision
Computer Vision: A Modern Approach
Computer Vision: A Modern Approach
Proceedings of the Ninth International Conference on Data Engineering
Reasoning About Spatial Relationships in Picture Retrieval Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Orderings
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
Qualitative and Topological Relationships in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Using Orientation Information for Qualitative Spatial Reasoning
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
Fast Synthetic Vision, Memory, and Learning Models for Virtual Humans
CA '99 Proceedings of the Computer Animation
Region connection calculus: its models and composition table
Artificial Intelligence
Similarity assessment for cardinal directions between extended spatial objects
Similarity assessment for cardinal directions between extended spatial objects
Composing cardinal direction relations
Artificial Intelligence
On the consistency of cardinal direction constraints
Artificial Intelligence
Computing and Managing Cardinal Direction Relations
IEEE Transactions on Knowledge and Data Engineering
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Correction to "A Family of Directional Relation Models for Extended Objects"
IEEE Transactions on Knowledge and Data Engineering
Monitoring Orientation of Moving Objects around Focal Points
SSTD '09 Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases
Reasoning about cardinal directions between extended objects
Artificial Intelligence
Evaluation of cardinal direction developments between moving points
Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems
Positions, regions, and clusters: strata of granularity in location modelling
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Computing the cardinal direction development between moving points in spatio-temporal databases
SSTD'11 Proceedings of the 12th international conference on Advances in spatial and temporal databases
A splitting line model for directional relations
Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
The objects interaction matrix for modeling cardinal directions in spatial databases
DASFAA'10 Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I
Cardinal directions between complex regions
ACM Transactions on Database Systems (TODS)
Reasoning With Topological And Directional Spatial Information
Computational Intelligence
Hi-index | 0.00 |
In this paper, we introduce a family of expressive models for qualitative spatial reasoning with directions. The proposed family is based on the cognitive plausible cone-based model. We formally define the directional relations that can be expressed in each model of the family. Then, we use our formal framework to study two interesting problems: computing the inverse of a directional relation and composing two directional relations. For the composition operator, in particular, we concentrate on two commonly used definitions, namely, consistency-based and existential composition. Our formal framework allows us to prove that our solutions are correct. The presented solutions are handled in a uniform manner and apply to all of the models of the family.