Introduction ============ This project takes as input a network of nodes which can either have a known geometry (constants) or not and checks its consistency. The project uses CGAL and GEOS to create the arrangement that is induced from the input constants, which are represented as polygons given in WKT representation. The first line of the input file must contain the number of input nodes and then, a complete network with the qualitative relations between any two nodes ending with a period (.). Then, the geometry of each node should be listed, one line per geometry, without quotes ("), periods (;), or URIs for the encoding of the coordinate reference system of the geometries ending with a period (.). All geometries should be given with respect to the same coordinate reference system. Dependencies ============ This project depends on the following libraries/packages: * GEOS (version 3.3.8 or later) - earlier versions are not fully compatible with dynamic_cast from Geometry to Polygon/Multipolygon and may cause runtime errors. * CGAL (tested with version 3.9) * CMAKE * Boost's system, thread, and program options libraries (tested versions: 1.46): - boost_thread (use suffix -mt for Darwin) - boost_system (use suffix -mt for Darwin) - boost_program_options (use suffix -mt for Darwin) How to build landmark_consistency ================================= To build the project, run the following commands: $ cmake src/ $ make The first command above should generate, among others, a Makefile, which is used as input in the second command. In case you installed any of the above dependencies in a non-standard location, then you first need to specify and export the directories for headers and libraries respectively: export CMAKE_INCLUDE_PATH= export CMAKE_LIBRARY_PATH= How to run landmark_consistency =============================== $ landmark_consistency [OPTIONS] input_file Examples ======== Under directory `examples/` there are some test inputs. License ======= This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/. Copyright (C) 2013, 2014 Department of Informatics and Telecommunications, National and Kapodistrian University of Athens Author: Author: Stella Giannakopoulou How to apply the license ======================== * In the beginning of script files (after the shell directive) paste the following statement: # # This Source Code Form is subject to the terms of the Mozilla Public # License, v. 2.0. If a copy of the MPL was not distributed with this # file, You can obtain one at http://mozilla.org/MPL/2.0/. # # Copyright (C) 2013, 2014 Department of Informatics and # Telecommunications, National and Kapodistrian University of Athens # # Author: Stella Giannakopoulou # * In the beginning of C/C++ source code files paste the following statement: /** * This Source Code Form is subject to the terms of the Mozilla Public * License, v. 2.0. If a copy of the MPL was not distributed with this * file, You can obtain one at http://mozilla.org/MPL/2.0/. * * Copyright (C) 2013, 2014 Department of Informatics and * Telecommunications, National and Kapodistrian University of Athens * * Author: Stella Giannakopoulou */ 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 Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI'14), Québec, Canada, July 27–31, 2014.