Extensionality of the RCC8 composition table

S Li, M Ying - Fundamenta Informaticae, 2003 - content.iospress.com
Fundamenta Informaticae, 2003content.iospress.com
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 …
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.
content.iospress.com
以上显示的是最相近的搜索结果。 查看全部搜索结果