A survey of qualitative spatial representations

Representation and reasoning with qualitative spatial relations is an important problem in artificial intelligence and has wide applications in the fields of geographic information system, computer vision, autonomous robot navigation, natural language understanding, spatial databases and so on. The reasons for this interest in using qualitative spatial relations include cognitive comprehensibility, efficiency and computational facility. This paper summarizes progress in qualitative spatial representation by describing key calculi representing different types of spatial relationships. The paper concludes with a discussion of current research and glimpse of future work

Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments

We study the translation of reasoning problems involving qualitative spatio-temporal calculi into answer set programming (ASP). We present various alternative transformations and provide a qualitative comparison among them. An implementation of these transformations is provided by a tool that transforms problem instances specified in the language of the Generic Qualitative Reasoner (GQR) into ASP problems. Finally, we report on an experimental analysis of solving consistency problems for Allen’s Interval Algebra and the Region Connection Calculus with eight base relations (RCC-8)

Qualitative spatial logics for buffered geometries

This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-sourced data are usually not very accurate or precise, we buffer geometries by a margin of error or a level of tolerance a E R≥0, and define spatial relations for buffered geometries. The spatial logics formalize the notions of 'buffered equal' (intuitively corresponding to `possibly sameAs'), 'buffered part of' ('possibly partOf'), 'near' (`possibly connected') and 'far' ('definitely disconnected'). A sound and complete axiomatisation of each logic is provided with respect to models based on metric spaces. For each of the logics, the satisfiability problem is shown to be NP-complete. Finally, we briefly describe how the logics are used in a system for generating and debugging matches between spatial objects, and report positive experimental evaluation results for the system

A semantic web rule language for geospatial domains

Retrieval of geographically-referenced information on the Internet is now a common activity. The web is increasingly being seen as a medium for the storage and exchange of geographic data sets in the form of maps. The geospatial-semantic web (GeoWeb) is being developed to address the need for access to current and accurate geo-information. The potential applications of the GeoWeb are numerous, ranging from specialised application domains for storing and analysing geo-information to more common applications by casual users for querying and visualising geo-data, e.g. finding locations of services, descriptions of routes, etc. Ontologies are at the heart of W3C's semantic web initiative to provide the necessary machine understanding to the sheer volumes of information contained on the internet. For the GeoWeb to succeed the development of ontologies for the geographic domain are crucial. Semantic web technologies to represent ontologies have been developed and standardised. OWL, the Web Ontology Language, is the most expressive of these enabling a rich form of reasoning, thanks to its formal description logic underpinnings. Building geo-ontologies involves a continuous process of update to the originally modelled data to reflect change over time as well as to allow for ontology expansion by integrating new data sets, possibly from different sources. One of the main challenges in this process is finding means of ensuring the integrity of the geo-ontology and maintaining its consistency upon further evolution. Representing and reasoning with geographic ontologies in OWL is limited. Firstly, OWL is not an integrity checking language due to it's non-unique name and open world assumptions. Secondly, it can not represent spatial datatypes, can not compute information using spatial operators and does not have any form of spatial index. Finally, OWL does not support complex property composition needed to represent qualitative spatial reasoning over spatial concepts. To address OWL's representational inefficiencies, new ontology languages have been proposed based on the intersection or union of OWL (in particular the DL family corresponding to OWL) with logic programs (rule languages). In this work, a new Semantic Web Spatial Rule Language (SWSRL) is proposed, based on the syntactic core of the Description Logic Programs paradigm (DLP), and the semantics of a Logic Program. The language is built to support the expression of geospatial ontological axioms and geospatial integrity and deduction rules. A hybrid framework to integrate both qualitative symbolic information in SWSRL with quantitative, geometric information using spatial datatypes in a spatial database is proposed. Two notable features of SWSRL are 1) the language is based on a prioritised de fault logic that allows the expression of default integrity rules and their exceptions and 2) the implementation of the language uses an interleaved mode of inference for on the fly computation (either qualitative or quantitative) deduction of spatial relations. SWSRL supports an OGC complaint spatial syntax, and a standardised definition of rule meta data. Both features aid the construction, description, identification and categorisation of designed and implemented rules within large rule sets. The language and the developed engine are evaluated using synthetic as well as real data sets in the context of developing geographic ontologies for geographic information retrieval on the Semantic Web. Empirical experiments are also presented to test the scalability and applicability of the developed framework

Description Logic for Scene Understanding at the Example of Urban Road Intersections

Understanding a natural scene on the basis of external sensors is a task yet to be solved by computer algorithms. The present thesis investigates the suitability of a particular family of explicit, formal representation and reasoning formalisms for this task, which are subsumed under the term Description Logic

Investigation of the tradeoff between expressiveness and complexity in description logics with spatial operators

Le Logiche Descrittive sono una famiglia di formalismi molto espressivi per la rappresentazione della conoscenza. Questi formalismi sono stati investigati a fondo dalla comunit\ue0 scientifica, ma, nonostante questo grosso interesse, sono state definite poche Description Logics con operatori spaziali e tutte centrate sul Region Connection Calculus. Nella mia tesi considero tutti i pi\uf9 importanti formalismi di Qualitative Spatial Reasoning per mereologie, mereo-topologie e informazioni sulla direzione e studio alcune tecniche generali di ibridazione. Nella tesi presento un\u2019introduzione ai principali formalismi di Qualitative Spatial Reasoning e le principali famiglie di Description Logics. Nel mio lavoro, introduco anche le tecniche di ibridazione per estendere le Description Logics al ragionamento su conoscenza spaziale e presento il potere espressivo dei linguaggi ibridi ottenuti. Vengono presentati infine un risultato generale di para-decidibilit\ue0 per logiche descrittive estese da composition-based role axioms e l\u2019analisi del tradeoff tra espressivit\ue0 e propriet\ue0 computazionali delle logiche descrittive spaziali.Description Logics are a family of expressive Knowledge-Representation formalisms that have been deeply investigated. Nevertheless the few examples of DLs with spatial operators in the current literature are defined to include only the spatial reasoning capabilities corresponding to the Region Connection Calculus. In my thesis I consider all the most important Qualitative Spatial Reasoning formalisms for mereological, mereo-topological and directional information and investigate some general hybridization techniques. I will present a short overview of the main formalisms of Qualitative Spatial Reasoning and the principal families of DLs. I introduce the hybridization techniques to extend DLs to QSR and present the expressiveness of the resulting hybrid languages. I also present a general paradecidability result for undecidable languages equipped with composition-based role axioms and the tradeoff analysis of expressiveness and computational properties for the spatial DLs

Kiel Declarative Programming Days 2013

This report contains the papers presented at the Kiel Declarative Programming Days 2013, held in Kiel (Germany) during September 11-13, 2013. The Kiel Declarative Programming Days 2013 unified the following events: * 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013) * 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013) * 27th Workshop on Logic Programming (WLP 2013) All these events are centered around declarative programming, an advanced paradigm for the modeling and solving of complex problems. These specification and implementation methods attracted increasing attention over the last decades, e.g., in the domains of databases and natural language processing, for modeling and processing combinatorial problems, and for high-level programming of complex, in particular, knowledge-based systems