DMCA
A Relation-Algebraic Approach to the Region Connection Calculus (2001)
| Venue: | Fundamenta Informaticae |
| Citations: | 26 - 0 self |
BibTeX
@ARTICLE{Düntsch01arelation-algebraic,
author = {Ivo Düntsch and Hui Wang and Steve McCloskey},
title = {A Relation-Algebraic Approach to the Region Connection Calculus},
journal = {Fundamenta Informaticae},
year = {2001},
volume = {42},
pages = {82}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We explore the relation--algebraic aspects of the region connection calculus (RCC) of Randell et al. (1992a). In particular, we present a refinement of the RCC8 table which shows that the axioms provide for more relations than are listed in the present table. We also show that each RCC model leads to a Boolean algebra. Finally, we prove that a refined version of the RCC5 table has as models all atomless Boolean algebras B with the natural ordering as the "part -- of" relation, and that the table is closed under first order definable relations iff B is homogeneous. 1 Introduction Qualitative reasoning (QR) has its origins in the exploration of properties of physical systems when numerical information is not sufficient -- or not present -- to explain the situation at hand (Weld and Kleer, 1990). Furthermore, it is a tool to represent the abstractions of researchers who are constructing numerical systems which model the physical world. Thus, it fills a gap in data modeling which often l...
Keyphrases
region connection calculus relation-algebraic approach physical world boolean algebra present table natural ordering numerical information rcc5 table relation algebraic aspect refined version first order definable relation iff introduction qualitative reasoning atomless boolean algebra numerical system rcc model rcc8 table physical system
