This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from two primitive (but axiomatized) notions. The first primitive is the notion of two regions being connected, which allows eight jointly exhaustive and pairwise disjoint relations to be defined. The second primitive is the convex hull of a region which allows many more relations to be defined. We also consider the development of the useful notions of composition tables for the defined relations and networks specifying continuous transitions between pairs of regions. We conclude by discussing what kind of criteria to apply when deciding how fine grained a taxonomy to create.
%0 Journal Article
%1 CohnRandellCui95ijhcs
%A Cohn, Anthony G.
%A Randell, David A.
%A Cui, Zhan
%D 1995
%J International Journal of Human-Computer Studies
%K 01614 elsevier paper ai knowledge processing spatial ontology
%N 5-6
%P 831--846
%R 10.1006/ijhc.1995.1077
%T Taxonomies of Logically Defined Qualitative Spatial Relations
%V 43
%X This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from two primitive (but axiomatized) notions. The first primitive is the notion of two regions being connected, which allows eight jointly exhaustive and pairwise disjoint relations to be defined. The second primitive is the convex hull of a region which allows many more relations to be defined. We also consider the development of the useful notions of composition tables for the defined relations and networks specifying continuous transitions between pairs of regions. We conclude by discussing what kind of criteria to apply when deciding how fine grained a taxonomy to create.
@article{CohnRandellCui95ijhcs,
abstract = {This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically defined from two primitive (but axiomatized) notions. The first primitive is the notion of two regions being connected, which allows eight jointly exhaustive and pairwise disjoint relations to be defined. The second primitive is the convex hull of a region which allows many more relations to be defined. We also consider the development of the useful notions of composition tables for the defined relations and networks specifying continuous transitions between pairs of regions. We conclude by discussing what kind of criteria to apply when deciding how fine grained a taxonomy to create.},
added-at = {2016-09-24T11:55:10.000+0200},
author = {Cohn, Anthony G. and Randell, David A. and Cui, Zhan},
biburl = {https://www.bibsonomy.org/bibtex/2517237f2486774c2728b5ae9c50786ba/flint63},
doi = {10.1006/ijhc.1995.1077},
file = {ScienceDirect:1900-99/CohnRandellCui95ijhcs.pdf:PDF},
groups = {public},
interhash = {87ed5f1ec0f5f25a103b035b77d02517},
intrahash = {517237f2486774c2728b5ae9c50786ba},
issn = {1071-5819},
journal = {International Journal of Human-Computer Studies},
keywords = {01614 elsevier paper ai knowledge processing spatial ontology},
month = {#nov#},
number = {5-6},
pages = {831--846},
timestamp = {2018-04-16T12:07:20.000+0200},
title = {Taxonomies of Logically Defined Qualitative Spatial Relations},
username = {flint63},
volume = 43,
year = 1995
}