Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Boolean connection algebras: a new approach to the Region-Connection Calculus
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
A relation — algebraic approach to the region connection calculus
Theoretical Computer Science
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence
Imprecision in Finite Resolution Spatial Data
Geoinformatica
A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Reasoning about Binary Topological Relations
SSD '91 Proceedings of the Second International Symposium on Advances in Spatial Databases
A Canonical Model for a Class of Areal Spatial Objects
SSD '93 Proceedings of the Third 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
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Region connection calculus: its models and composition table
Artificial Intelligence
A Categorical Axiomatisation of Region-Based Geometry
Fundamenta Informaticae - Qualitative Spatial Reasoning
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
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Qualitative spatial reasoning with topological information
Qualitative spatial reasoning with topological information
Relation Algebras and their Application in Temporal and Spatial Reasoning
Artificial Intelligence Review
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
On Topological Consistency and Realization
Constraints
Fundamenta Informaticae
Geo-tagging for imprecise regions of different sizes
Proceedings of the 4th ACM workshop on Geographical information retrieval
GNet: A generalized network model and its applications in qualitative spatial reasoning
Information Sciences: an International Journal
RCC8 binary constraint network can be consistently extended
Artificial Intelligence
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
RCC8 is polynomial on networks of bounded treewidth
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Hi-index | 0.00 |
This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the Egenhofer model is indeed an extensional one for the RCC8 composition table. Moreover this model is the maximal extensional one for the RCC8 composition table in a sense.