Qualitative Spatial Reasoning with Holed Regions

The intricacies of real-world and constructed spatial entities call for versatile spatial data types to model complex spatial objects, often characterized by the presence of holes. To date, however, relations of simple, hole-free regions have been the prevailing approaches for spatial qualitative reasoning. Even though such relations may be applied to holed regions, they do not take into consideration the consequences of the existence of the holes, limiting the ability to query and compare more complex spatial configurations. To overcome such limitations, this thesis develops a formal framework for spatial reasoning with topological relations over two-dimensional holed regions, called the Holed Regions Model (HRM), and a similarity evaluation method for comparing relations featuring a multi-holed region, called the Frequency Distribution Method (FDM). The HRM comprises a set of 23 relations between a hole-free and a single-holed region, a set of 152 relations between two single-holed regions, as well as the composition inferences enabled from both sets of relations. The inference results reveal that the fine-grained topological relations over holed regions provide more refined composition results in over 50% of the cases when compared with the results of hole-free regions relations. The HRM also accommodates the relations between a hole-free region and a multi-holed region. Each such relation is called a multi-element relation, as it can be deconstructed into a number of elements—relations between a hole-free and a singleholed region—that is equal to the number of holes, regarding each hole as if it were the only one. FDM facilitates the similarity assessment among multi-element relations. The similarity is evaluated by comparing the frequency summaries of the single-holed region relations. The multi-holed regions of the relations under comparison may differ in the number of holes. In order to assess the similarity of such relations, one multi-holed region is considered as the result of dropping from or adding holes to the other region. Therefore, the effect that two concurrent changes have on the similarity of the relations is evaluated. The first is the change in the topological relation between the regions, and the second is the change in a region’s topology brought upon by elimination or addition of holes. The results from the similarity evaluations examined in this thesis show that the topological placement of the holes in relation to the hole-free region influences relation similarity as much as the relation between the hole-free region and the host of the holes. When the relations under comparison have fewer characteristics in common, the placement of the holes is the determining factor for the similarity rankings among relations. The distilled and more correct composition and similarity evaluation results enabled by the relations over holed regions indicate that spatial reasoning over such regions differs from the prevailing reasoning over hole-free regions. Insights from such results are expected to contribute to the design of future geographic information systems that more adequately process complex spatial phenomena, and are better equipped for advanced database query answering

Qualitative Spatial Reasoning with Holed Regions

The intricacies of real-world and constructed spatial entities call for versatile spatial data types to model complex spatial objects, often characterized by the presence of holes. To date, however, relations of simple, hole-free regions have been the prevailing approaches for spatial qualitative reasoning. Even though such relations may be applied to holed regions, they do not take into consideration the consequences of the existence of the holes, limiting the ability to query and compare more complex spatial configurations. To overcome such limitations, this thesis develops a formal framework for spatial reasoning with topological relations over two-dimensional holed regions, called the Holed Regions Model (HRM), and a similarity evaluation method for comparing relations featuring a multi-holed region, called the Frequency Distribution Method (FDM). The HRM comprises a set of 23 relations between a hole-free and a single-holed region, a set of 152 relations between two single-holed regions, as well as the composition inferences enabled from both sets of relations. The inference results reveal that the fine-grained topological relations over holed regions provide more refined composition results in over 50% of the cases when compared with the results of hole-free regions relations. The HRM also accommodates the relations between a hole-free region and a multi-holed region. Each such relation is called a multi-element relation, as it can be deconstructed into a number of elements—relations between a hole-free and a singleholed region—that is equal to the number of holes, regarding each hole as if it were the only one. FDM facilitates the similarity assessment among multi-element relations. The similarity is evaluated by comparing the frequency summaries of the single-holed region relations. The multi-holed regions of the relations under comparison may differ in the number of holes. In order to assess the similarity of such relations, one multi-holed region is considered as the result of dropping from or adding holes to the other region. Therefore, the effect that two concurrent changes have on the similarity of the relations is evaluated. The first is the change in the topological relation between the regions, and the second is the change in a region’s topology brought upon by elimination or addition of holes. The results from the similarity evaluations examined in this thesis show that the topological placement of the holes in relation to the hole-free region influences relation similarity as much as the relation between the hole-free region and the host of the holes. When the relations under comparison have fewer characteristics in common, the placement of the holes is the determining factor for the similarity rankings among relations. The distilled and more correct composition and similarity evaluation results enabled by the relations over holed regions indicate that spatial reasoning over such regions differs from the prevailing reasoning over hole-free regions. Insights from such results are expected to contribute to the design of future geographic information systems that more adequately process complex spatial phenomena, and are better equipped for advanced database query answering

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras

Modal and Relevance Logics for Qualitative Spatial Reasoning

Qualitative Spatial Reasoning (QSR) is an alternative technique to represent spatial relations without using numbers. Regions and their relationships are used as qualitative terms. Mostly peer qualitative spatial reasonings has two aspect: (a) the first aspect is based on inclusion and it focuses on the ”part-of” relationship. This aspect is mathematically covered by mereology. (b) the second aspect focuses on topological nature, i.e., whether they are in ”contact” without having a common part. Mereotopology is a mathematical theory that covers these two aspects. The theoretical aspect of this thesis is to use classical propositional logic with non-classical relevance logic to obtain a logic capable of reasoning about Boolean algebras i.e., the mereological aspect of QSR. Then, we extended the logic further by adding modal logic operators in order to reason about topological contact i.e., the topological aspect of QSR. Thus, we name this logic Modal Relevance Logic (MRL). We have provided a natural deduction system for this logic by defining inference rules for the operators and constants used in our (MRL) logic and shown that our system is correct. Furthermore, we have used the functional programming language and interactive theorem prover Coq to implement the definitions and natural deduction rules in order to provide an interactive system for reasoning in the logic

Knowledge discovery in spatial databases through qualitative spatial reasoning

Human beings use qualitative identifiers extensively to simplify reality and to perform spatial reasoning more efficiently. Organisational databases usually store geographic identifiers, like addresses or postcodes, which spatial component is not incorporated in the knowledge discovery process. This paper addresses the process of Knowledge Discovery in Spatial Databases through a Qualitative Spatial Reasoning approach. The aim is the improvement of the referred process by the adoption of qualitative identifiers like North, South, close, far, etc. in the classification of spatial relations that exists between the geographic entities addressed. The proposed approach uses a spatial reasoning strategy that integrated direction and distance spatial relations in the reasoning process, allowing the inference of implicit spatial relations for the several levels of the considered geographic hierarchies. The integration of a geographic and a demographic database allowed the discovery of spatial patterns and general relationships that exist between the analysed spatial and non-spatial data.Programa de Desenvolvimento Educativo para Portugal (PRODEP) II - Acção 5.2, Concurso nº3/98 Doutoramentos