Abstract
This paper investigates the class of weak models of the calculi RCC-5 and RCC-8, which are basically first-order models of the theories specified by the composition table. We show that simple structures, viz. sets and general topological spaces provide natural weak models. Conversely, we prove that for any finite weak model there are finite structures upon which the model is based. We interpret the construction of the models described by Renz as lifting those finite models to models in the Euclidean space.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
B. Bennett. Spatial reasoning with propositional logic. In Proc. of KR’94. Morgan Kaufmann, 1994.
B. Bennett. Modal logics for qualitative spatial reasoning. Bull. of the IGPL, 4(1), 1995.
B. Bennett. Carving up space: steps towards construction of an absolutely complete theory of spatial regions. In Proc. of JELIA’96, LNCS 1126, 1996.
M.J. Egenhofer. Reasoning about binary topological relations. In Proc. of SSD’91, volume LNCS 525, pages 143–160. Springer, 1991.
N.M. Gotts. An axiomatic approach to topology for information systems. Technical Report TR-96-25, University of Leeds, School of Computer Studies, 1996.
B. Jónsson and A. Tarski. Boolean algebras with operators, part II. American J. of Mathematics, 74:127–162, 1952.
G. Ligozat. Weak Representations of Interval Algebras. In Proc. of AAAI-90, pages 715–720, 1990.
B. Nebel. Computational properties of qualitative spatial reasoning: First results. In Proc. of KI’95, LNCS 981, pages 233–244. Springer, 1994.
D. Randell, Z. Cui, and T. Cohn. An interval logic for space based on “connection”. In B. Neumann, editor, Proc. of ECAI-92, pages 394–398. Wiley, 1992.
J. Renz. A canonical model of the region connection calculus. In Proc. of KR’98, Trento, Italy, 1998.
J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the region connection calculus. In Proc. of IJCAI-97, pages 522–527, 1997.
J. G. Stell and M. F. Worboys. The algebraic structure of sets of regions. In Proc. of COSIT’97, LNCS, pages 163–174, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ligozat, G. (1999). Simple Models for Simple Calculi. In: Freksa, C., Mark, D.M. (eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. COSIT 1999. Lecture Notes in Computer Science, vol 1661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48384-5_12
Download citation
DOI: https://doi.org/10.1007/3-540-48384-5_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66365-2
Online ISBN: 978-3-540-48384-7
eBook Packages: Springer Book Archive