Abstract
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 language | English |
|---|---|
| Title of host publication | AI 2015: Advances in Artificial Intelligence |
| Editors | Bernhard Pfahringer, Jochen Renz |
| Number of pages | 13 |
| Volume | 9457 |
| Place of Publication | Cham |
| Publisher | Springer International Publishing |
| Publication date | 22.11.2015 |
| Pages | 444-456 |
| ISBN (Print) | 978-3-319-26349-6 |
| ISBN (Electronic) | 978-3-319-26350-2 |
| DOIs | |
| Publication status | Published - 22.11.2015 |
| Event | 28th Australasian Joint Conference on Artificial Intelligence - Canberra, Australia Duration: 30.11.2015 → 04.12.2015 Conference number: 157849 |
