qq-rcc
qq-rcc is a reasoner, which checks the consistency of RCC-5 and RCC-8 networks
with variables and constants represented by polygons.
Introduction
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
Download the source code of the latest version:
Datasets
Publications
- 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.
License
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
