AAAI Publications, Twenty-Eighth AAAI Conference on Artificial Intelligence

Font Size: 
A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis

Last modified: 2014-06-21


The problem of checking the consistency of spatial calculi that contain both unknown and known entities (constants, i.e., real geometries) has recently been studied. Until now, all the approaches are theoretical and no implementation has been proposed. In this paper we present the first reasoner that takes as input RCC-5 or RCC-8 networks with variables and constants and decides their consistency. We investigate the performance of the reasoner experimentally using real-world networks and show that we can achieve significantly better times by geometry simplification and parallelization.


Qualitative spatial reasoning; Constraint Satisfaction Problems; Landmarks; Reasoning

Full Text: PDF