Abstract | ||
---|---|---|
The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T0 topological space with an additional "contact relation" C defined by xCy x y / 0 A (possibly) more general class of models is provided by the Region Connection Calculus (RCC) of Randell et al. (34). We show that the basic operations of the relational calculus on a "contact relation" generate at least 25 relations in any model of the RCC, and hence, in any standard model of mereotopology. It follows that the expressiveness of the RCC in relational logic is much greater than the original 8 RCC base relations might suggest. We also interpret these 25 relations in the the standard model of the collection of regular open sets in the two-dimensional Euclidean plane. |
Year | DOI | Venue |
---|---|---|
2001 | 10.1023/A:1013892110192 | Studia Logica |
Keywords | Field | DocType |
mereology,mereotopology,relation algebra,qualitative spatial reasoning | Topological algebra,Interior algebra,Discrete mathematics,Stone's representation theorem for Boolean algebras,Boolean algebras canonically defined,Pure mathematics,Boolean algebra,Mathematics,Two-element Boolean algebra,Complete Boolean algebra,Free Boolean algebra | Journal |
Volume | Issue | ISSN |
69 | 3 | 1572-8730 |
Citations | PageRank | References |
17 | 0.92 | 19 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ivo Düntsch | 1 | 723 | 75.17 |
Gunther Schmidt | 2 | 203 | 30.70 |
Michael Winter | 3 | 17 | 0.92 |