Abstract
We propose a hybrid geometric-qualitative spatial reasoning system that is able to simultaneously deal with input information that is partially given geometrically and partially qualitatively using spatial relations of different qualitative spatial calculi. The reasoning system combines a geometric reasoning component based on computational geometry methods with a qualitative reasoning component employing relation algebraic reasoning techniques. An egg-yolk representation approach is used to maintain information about objects with underdetermined geometry and also allows for vague objects in the input. In an experimental evaluation we apply the reasoning system to infer geometric information for a set of only qualitatively described objects. The experiments demonstrate that the hybrid reasoning approach produces better results than geometric and qualitative reasoning individually.
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
Clementini, E., Di Felice, P.: Spatial operators. SIGMOD Record 29, 31–38 (2000)
Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae 46(1-2), 1–29 (2001)
Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier, Amsterdam (2007)
Cohn, A., Gotts, N.: The ‘egg-yolk’ representation of regions with indeterminate boundaries. In: Geographical Objects with Undetermined Boundaries, pp. 171–187. Francis Taylor (1996)
Egenhofer, M.J.: A formal definition of binary topological relationships. In: Litwin, W., Schek, H.J. (eds.) FODO 1989. LNCS, vol. 367, pp. 457–472. Springer, Heidelberg (1989)
Egenhofer, M.J.: Query processing in spatial-query-by-sketch. Journal of Visual Languages and Computing 8(4), 403–424 (1997)
Fogliaroni, P., Wallgrün, J.O., Clementini, E., Tarquini, F., Wolter, D.: A qualitative approach to localization and navigation based on visibility information. In: Hornsby, K.S., Claramunt, C., Denis, M., Ligozat, G. (eds.) COSIT 2009. LNCS, vol. 5756, pp. 312–329. Springer, Heidelberg (2009)
Freksa, C., Moratz, R., Barkowsky, T.: Schematic maps for robot navigation. In: Habel, C., Brauer, W., Freksa, C., Wender, K.F. (eds.) Spatial Cognition 2000. LNCS (LNAI), vol. 1849, pp. 100–114. Springer, Heidelberg (2000)
Gantner, Z., Westphal, M., Wölfl, S.: GQR – A fast reasoner for binary qualitative constraint calculi. In: Proceedings of the AAAI 2008 Workshop on Spatial and Temporal Reasoning (2008)
Goodchild, M.F.: Citizens as sensors: The world of volunteered geography. GeoJournal 69(4), 211–221 (2007)
Goyal, R., Egenhofer, M.: Consistent queries over cardinal directions across different levels of detail. In: Proceedings of the 11th International Workshop on Database and Expert System Applications, pp. 876–880 (2000)
Herring, J.: The OpenGIS abstract specification, Topic 1: Feature geometry (ISO 19107 Spatial schema), version 5. In: OGC Document, pp. 01–101 (2001)
Hugentobler, M.: Quantum GIS. In: Encyclopedia of GIS, pp. 935–939. Morgan Kaufmann Publishers Inc., San Francisco (2008)
Liu, W., Li, S., Renz, J.: Combining RCC-8 with qualitative direction calculi: Algorithms and complexity. In: Proceedings of the 21st International Joint Conference on Artifical Intelligence, pp. 854–859. Morgan Kaufmann Publishers Inc., San Francisco (2009)
Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence 8(1), 99–118 (1977)
Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pp. 165–176. Morgan Kaufmann, San Francisco (1992)
Renz, J., Nebel, B.: Qualitative spatial reasoning using constraint calculi. In: Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F. (eds.) Handbook of Spatial Logics, pp. 161–215. Springer, Heidelberg (2007)
Rigaux, P., Scholl, M.O., Voisard, A.: Spatial databases with application to GIS. Morgan Kaufmann, San Francisco (2002)
Sharma, J.: Integrated spatial reasoning in geographic information systems: Combining topology and direction. Ph.D. thesis, University of Maine (1996)
Skiadopoulos, S., Koubarakis, M.: Composing cardinal direction relations. Artificial Intelligence 152(2), 143–171 (2004)
Tarquini, F., De Felice, G., Fogliaroni, P., Clementini, E.: A qualitative model for visibility relations. In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol. 4667, pp. 510–513. Springer, Heidelberg (2007)
Wallgrün, J.O., Frommberger, L., Wolter, D., Dylla, F., Freksa, C.: Qualitative spatial representation and reasoning in the sparQ-toolbox. In: Barkowsky, T., Knauff, M., Ligozat, G., Montello, D. (eds.) Spatial Cognition 2007. LNCS (LNAI), vol. 4387, pp. 39–58. Springer, Heidelberg (2007)
Winter, S.: Bridging vector and raster representation in GIS. In: GIS 1998: Proceedings of the 6th ACM International Symposium on Advances in Geographic Information Systems, pp. 57–62. ACM, New York (1998)
Wölfl, S., Westphal, M.: On combinations of binary qualitative constraint calculi. In: Boutilier, C. (ed.) Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 967–973 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Felice, G., Fogliaroni, P., Wallgrün, J.O. (2011). A Hybrid Geometric-Qualitative Spatial Reasoning System and Its Application in GIS. In: Egenhofer, M., Giudice, N., Moratz, R., Worboys, M. (eds) Spatial Information Theory. COSIT 2011. Lecture Notes in Computer Science, vol 6899. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23196-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-23196-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23195-7
Online ISBN: 978-3-642-23196-4
eBook Packages: Computer ScienceComputer Science (R0)