RCC*-9 and CBM*
In this paper we introduce a new logical calculus of the Region Connection Calculus (RCC) family, RCC*-9. Based on nine topological relations, RCC*-9 is an extension of RCC-8 and models topological relations between multi-type geometric features: therefore, it is a calculus that goes beyond the modeling of regions as in RCC-8, being able to deal with lower dimensional features embedded in a given space, such as linear features embedded in the plane. Secondly, the paper presents a modified version of the Calculus-Based Method (CBM), a calculus for representing topological relations between spatial features. This modified version, called CBM*, is useful for defining a reasoning system, which was difficult to define for the original CBM. The two new calculi RCC*-9 and CBM* are introduced together because we can show that, even if with different formalisms, they can model the same topological configurations between spatial features and the same reasoning strategies can be applied to them.
KeywordsProper Part Topological Relation Simple Line Open GeoSpatial Consortium Spatial Entity
Unable to display preview. Download preview PDF.
- 1.Aref, W.G., Samet, H.: Optimization Strategies for Spatial Query Processing. In: 17th International Conference on Very Large Databases, Barcelona, Spain, pp. 81–90 (1991)Google Scholar
- 2.Bennett, B.: Logical Representations for Automated Reasoning about Spatial Relationships. Ph.D. Thesis, School of Computer Studies, University of Leeds (1997)Google Scholar
- 9.Cohn, A.G., Renz, J.: Qualitative Spatial Representation and Reasoning. In: Harmelen, F.V., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation, vol. 1, pp. 551–596. Elsevier (2007)Google Scholar
- 15.Egenhofer, M.J., Herring, J.R.: Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases. Department of Surveying Engineering, University of Maine, Orono, ME Technical Report (1990)Google Scholar
- 16.Gabrielli, N.: Investigation of the Tradeoff between Expressiveness and Complexity in Description Logics with Spatial Operators. Ph.D. Thesis: University of Verona (2009)Google Scholar
- 18.Galton, A.: Multidimensional Mereotopology. In: Dubois, D., Welty, C., Williams, M.-A. (eds.) Proceedings of the Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, BC, Canada, June 2-5, pp. 45–54. American Association for Artificial Intelligence (2004)Google Scholar
- 19.Galton, A.P.: Taking dimension seriously in qualitative spatial reasoning. In: Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI 1996), Budapest, Hungary, August 11-16 (1996)Google Scholar
- 21.Gotts, N.M.: Formalizing Commonsense Topology: The INCH Calculus. pp. In: Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics (1996)Google Scholar
- 23.OGC Open Geospatial Consortium Inc. OpenGIS Simple Features Implementation Specification for SQL. vol. OGC 99–049 (1999)Google Scholar
- 24.Wölfl, S., Mossakowski, T., Schröder, L.: Qualitative constraint calculi: Heterogeneous verification of composition tables. In: 20th International FLAIRS Conference (FLAIRS 2007), pp. 665–670 (2007)Google Scholar