A Representation Theorem for Spatial Relations


Spatial relations have been investigated in various inter-related areas such as qualitative spatial reasoning (for agents moving in an environment), geographic information science, general topology, and others. Most of the results are specific constructions of spatial relations that fulfill some required properties. Results on setting up axioms that capture the desired properties of the relations are rare. And results that characterize spatial relations in the sense that they give a complete set of axioms for the intended spatial relations still have to be presented. This paper aims at filling the gap by providing a representation theorem: It shows that there is a finite set of axioms that are fulfilled by a binary relation if and only if it can be constructed as a binary spatial relation based on a nested partition chain.
Original languageEnglish
Title of host publicationAI 2015: Advances in Artificial Intelligence
EditorsBernhard Pfahringer, Jochen Renz
Number of pages13
Place of PublicationCham
PublisherSpringer International Publishing
Publication date22.11.2015
ISBN (Print)978-3-319-26349-6
ISBN (Electronic)978-3-319-26350-2
Publication statusPublished - 22.11.2015
Event28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australia
Duration: 30.11.201504.12.2015
Conference number: 157849


Dive into the research topics of 'A Representation Theorem for Spatial Relations'. Together they form a unique fingerprint.

Cite this