A Relation-Algebraic Approach to the Region Connection Calculus (2001)
| Venue: | Fundamenta Informaticae |
| Citations: | 17 - 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}
}
Years of Citing Articles
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...







