A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants
Authors: Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis
AAAI 2014 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Experimental | 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. |
| Researcher Affiliation | Academia | Stella Giannakopoulou, Charalampos Nikolaou, Manolis Koubarakis National and Kapodistrian University of Athens, Greece {sgian,charnik,koubarak}@di.uo.gr |
| Pseudocode | Yes | The paper includes several algorithm blocks: “Algorithm 1: CONSISTENCY”, “Algorithm 2: HYBRID CONSISTENCY”, “Algorithm 3: Interior point method”, “Algorithm 4: Overlay method”, “Algorithm 5: Consolidated method”. |
| Open Source Code | No | The paper does not provide any link or explicit statement about the release of its own source code. |
| Open Datasets | Yes | We use the following real datasets that are available on the Web as linked data. ... Greek Administrative Geography (GAG): This dataset (http://www.linkedopendata.gr/dataset/greek-administrative-geography) ... Global Administrative Areas (GADM): GADM (http://www.gadm.org/) ... German Administrative Units (GAU): This dataset (http://www.geodatenzentrum.de/) ... Nomenclature of Territorial Units for Statistics (NUTS): This dataset (http://nuts.geovocab.org/). |
| Dataset Splits | No | The paper mentions splitting datasets based on the number of constants or using different spatial resolutions, but does not provide explicit training/validation/test dataset splits with percentages, counts, or standard split references for reproducibility. |
| Hardware Specification | Yes | Setup: Intel(R) Xeon(R) CPU E5620 @ 2.40GHz, 12MB L3, RAID 5, 24GB RAM, Ubuntu 12.04 |
| Software Dependencies | Yes | The CGAL Project. 2013. CGAL User and Reference Manual. CGAL Editorial Board, 4.3 edition. (This citation in the reference list indicates CGAL version 4.3 was used). Ubuntu 12.04 |
| Experiment Setup | No | The paper describes the algorithms and various methods for geometric computations (e.g., interior point, overlay, consolidated arrangement) and optimizations like parallelization, but it does not provide specific numerical hyperparameters or detailed system-level training configurations typically found in experimental setup sections (e.g., learning rates, batch sizes, number of threads used beyond a general statement of parallelization). |