The EGG/YOLK reliability hierarchy: semantic data integration using sorts with prototypes
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Combining topological and size information for spatial reasoning
Artificial Intelligence
Reasoning about categories in conceptual spaces
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Combining RCC-8 with qualitative direction calculi: algorithms and complexity
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Reasoning System of Ternary Projective Relations
IEEE Transactions on Knowledge and Data Engineering
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Hi-index | 0.00 |
RCC5 is an important and well-known calculus for representing and reasoning about mereological relations. Among many other applications, it is pivotal in the formalization of commonsense reasoning about natural categories. In particular, it allows for a qualitative representation of conceptual spaces in the sense of Gärdenfors. To further the role of RCC5 as a vehicle for conceptual reasoning, in this paper we combine RCC5 relations with information about betweenness of regions. The resulting calculus allows us to express, for instance, that some part (but not all) of region B is between regions A and C. We show how consistency can be decided in polynomial time for atomic networks, even when regions are required to be convex. From an application perspective, the ability to express betweenness information allows us to use RCC5 as a basis for interpolative reasoning, while the restriction to convex regions ensures that all consistent networks can be faithfully represented as a conceptual space.