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:
- Stella Giannakopoulou, Charalampos Nikolaou and Manolis Koubarakis: A reasoner for the RCC-5 and RCC-8 calculi extended with constants.
In proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI '14), Québec, Canada, July 27–31, 2014.
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