Extensionality of the RCC8 Composition Table

Authors:
Sanjiang Li;Mingsheng Ying
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
Venue:
Fundamenta Informaticae
Year:
2003

Citing 18
Cited 2

On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the region connection calculus

Artificial Intelligence
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
Relation Algebras and their Application in Temporal and Spatial Reasoning

Artificial Intelligence Review
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
Topological inference

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
A Categorical Axiomatisation of Region-Based Geometry

Fundamenta Informaticae - Qualitative Spatial Reasoning

On countable RCC models

Fundamenta Informaticae
Reasoning With Topological And Directional Spatial Information

Computational Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.