Multidimensional Mereotopology with Betweenness
Abstract
Qualitative reasoning about commonsense space often involves entities of different dimensions. We present a weak axiomatization of multidimensional qualitative space based on `relative dimension' and dimension-independent `containment' which suffice to define basic dimension-dependent mereotopological relations. We show the relationships to other meoreotopologies and to incidence geometry. The extension with betweenness, a primitive of relative position, results in a first-order theory that qualitatively abstracts ordered incidence geometry.
Cite
Text
Hahmann and Grüninger. "Multidimensional Mereotopology with Betweenness." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-157Markdown
[Hahmann and Grüninger. "Multidimensional Mereotopology with Betweenness." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/hahmann2011ijcai-multidimensional/) doi:10.5591/978-1-57735-516-8/IJCAI11-157BibTeX
@inproceedings{hahmann2011ijcai-multidimensional,
title = {{Multidimensional Mereotopology with Betweenness}},
author = {Hahmann, Torsten and Grüninger, Michael},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2011},
pages = {906-911},
doi = {10.5591/978-1-57735-516-8/IJCAI11-157},
url = {https://mlanthology.org/ijcai/2011/hahmann2011ijcai-multidimensional/}
}