qq-rcc is a reasoner, which checks the consistency of RCC-5 and RCC-8 networks with variables and constants represented by polygons.


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. We present the first reasoner that takes as input RCC-5 or RCC-8 networks with variables and constants and decides their consistency.


Download the source code of the latest version:




qq-rcc is subject to the terms of the Mozilla Public License, v.2.0.

Copyright (C) 2013, 2014 Department of Informatics and
Telecommunications, National and Kapodistrian University of Athens
Author: Stella Giannakopoulou