DMCA
A Canonical Model of the Region Connection Calculus (1997)
Cached
Download Links
- [ftp.informatik.uni-freiburg.de]
- [ftp.informatik.uni-freiburg.de]
- [users.rsise.anu.edu.au]
- [users.cecs.anu.edu.au]
- [users.cecs.anu.edu.au]
- DBLP
Other Repositories/Bibliography
| Venue: | Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98 |
| Citations: | 51 - 5 self |
BibTeX
@INPROCEEDINGS{Renz97acanonical,
author = {Jochen Renz},
title = {A Canonical Model of the Region Connection Calculus},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98},
year = {1997},
pages = {330--341},
publisher = {Morgan Kaufmann}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Canonical models are very useful for determining simple representation formalism for qualitative relations. Allen's interval relations, e.g., can thereby be represented using the start and the end point of the intervals. Such a simple representation was not possible for regions of higher dimension as used by the Region Connection Calculus. In this paper we present a canonical model which allows regions and relations between them to be represented as points of the topological space and information about their neighbourhoods. With this formalism we are able to prove that whenever a set of RCC-8 formulas is consistent there exists a realization in any dimension, even when the regions are constrained to be (sets of) polytopes. For three- and higher dimensional space this is also true for internally connected regions. Using the canonical model we give algorithms for generating consistent scenarios. 1 Introduction The Region Connection Calculus (RCC) is a topological approach t...
