ABSTRACT
Formal models of spatial relations such as the 9-Intersection model or RCC-8 have become omnipresent in the spatial information sciences and play an important role to formulate constraints in many applications of spatial data processing. A fundamental problem in such applications is to adapt geometric data to satisfy certain relational constraints while minimizing the changes that need to be made to the data. We address the problem of adjusting geometric objects to meet the spatial relations from a qualitative spatial calculus, forming a bridge between the areas of qualitative spatial representation and reasoning (QSR) and of geometric adjustment using optimization approaches. In particular, we explore how constraint-based QSR techniques can be beneficially employed to improve the optimization process. We discuss three different ways in which QSR can be utilized and then focus on its application to reduce the complexity of the optimization problem in terms of variables and equations needed. We propose two constraint-based problem simplification algorithms and evaluate them experimentally. Our results demonstrate that exploiting QSR techniques indeed leads to a significant performance improvement.
- A. I. Abdelmoty, P. Smart, B. El-Geresy, and C. Jones. Supporting frameworks for the geospatial semantic web. In Proceedings of the 11th International Symposium on Advances in Spatial and Temporal Databases, pages 355--372, 2009. Google ScholarDigital Library
- M. Bhatt, J. H. Lee, and C. Schultz. CLP(QS): A declarative spatial reasoning framework. In M. J. Egenhofer, N. A. Giudice, R. Moratz, and M. F. Worboys, editors, Spatial Information Theory (COSIT'11), pages 210--230. Springer, 2011. Google ScholarDigital Library
- C. Claramunt, M. Thériault, and C. Parent. A qualitative representation of evolving spatial entities in two-dimensional spaces. Innovations in GIS V, Carver, S. Ed., pages 119--129, 1997.Google Scholar
- E. Clementini, J. Sharma, and M. J. Egenhofer. Modeling topological spatial relations: Strategies for query processing. Computers and Graphics, 18(92):815--822, 1994.Google ScholarCross Ref
- A. G. Cohn and S. M. Hazarika. Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae, 46(1--2):1--29, 2001. Google ScholarDigital Library
- M. Duckham, M.-H. Jeong, S. Li, and J. Renz. Decentralized querying of topological relations between regions without using localization. In Proc. 18th ACM SIGSPATIAL GIS, pages 414--417, 2010. Google ScholarDigital Library
- M. J. Egenhofer. Reasoning about binary topological relations. In O. Gunther and H.-J. Schek, editors, Advances in Spatial Databases, Second Symposium on Large Spatial Databases, pages 143--160. 1991. Google ScholarDigital Library
- V. Haarslev and R. Möller. Spatioterminological reasoning: Subsumption based on geometrical inferences. In R. J. Brachman, F. M. Donini, E. Franconi, I. Horrocks, A. Y. Levy, and M.-C. Rousset, editors, Description Logics, 1997.Google Scholar
- L. Harrie. The constraint method for solving spatial conflicts in cartographic generalization. Cartography and Geographic Information Science, 26(1), 1999.Google Scholar
- J. Jiang and M. Worboys. Detecting basic topological changes in sensor networks by local aggregation. In Proc. 16th ACM International Conference on Advances in Geographic Information Systems, pages 1--10, 2008. Google ScholarDigital Library
- A. Khan and M. Schneider. Topological reasoning between complex regions in databases with frequent updates. In 18th ACM SIGSPATIAL Int. Conf. on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS), pages 380--389, 2010. Google ScholarDigital Library
- A. Klippel, M. Worboys, and M. Duckham. Identifying factors of geographic event conceptualisation. International Journal of Geographical Information Science, 22(2):183--204, 2008. Google ScholarDigital Library
- L. Kulik, M. Duckham, and M. J. Egenhofer. Ontology-driven map generalization. J. Vis. Lang. Comput., 16(3):245--267, 2005. Google ScholarDigital Library
- S. Lamy, A. Ruas, Y. Demazeau, M. Jackson, W. Mackaness, and R. Weibel. The application of agents in automated map generalisation. In 19th Int. Cartographic Conference, pages 160--169, 1999.Google Scholar
- J.-C. Latombe. Robot Motion Planning. Kluwer Academic Publishers, 1991. Google ScholarDigital Library
- K. Marriott, P. Moulder, P. Stuckey, and A. Borning. Solving disjunctive constraints for interactive graphical applications. In T. Walsh, editor, Principles and Practice of Constraint Programming, volume 2239, pages 361--376. Springer, 2001. Google ScholarDigital Library
- D. A. Randell, Z. Cui, and A. Cohn. A spatial logic based on regions and connection. In Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference, pages 165--176. Morgan Kaufmann, 1992.Google ScholarDigital Library
- J. Renz and B. Nebel. Qualitative spatial reasoning using constraint calculi. In M. Aiello, I. E. Pratt-Hartmann, and J. F. van Benthem, editors, Handbook of Spatial Logics. Springer, 2007.Google ScholarCross Ref
- M. A. Rodríguez, N. Brisaboa, J. Meza, and M. R. Luaces. Measuring consistency with respect to topological dependency constraints. In Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems, pages 182--191, 2010. Google ScholarDigital Library
- M. A. Rodríguez, M. J. Egenhofer, and A. D. Blaser. Query pre-processing of topological constraints: Comparing a composition-based with neighborhood-based approach. In T. Hadzilacos, Y. Manolopoulos, J. F. Roddick, and Y. Theodoridis, editors, Advances in Spatial and Temporal Databases, SSTD 2003, pages 362--379, 2003.Google Scholar
- M. Sester. Generalization based on least squares adjustment. In International Archives of Photogrammetry and Remote Sensing, volume 33, 2000.Google Scholar
- S. Steiniger and R. Weibel. Relations among map objects in cartographic generalization. Cartography and Geographic Information Science, 34(3), 2007.Google Scholar
- J. O. Wallgrün. Topological adjustment of polygonal data. In Advances in Spatial Data Handling. Springer, to appear.Google Scholar
- J. M. Ware and C. B. Jones. Conflict reduction in map generalization using iterative improvement. GeoInformatica, 2(4):383--407, 1998. Google ScholarDigital Library
Index Terms
Exploiting qualitative spatial reasoning for topological adjustment of spatial data
Recommendations
9+-intersection calculi for spatial reasoning on the topological relations between heterogeneous objects
GIS '10: Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information SystemsThis paper develops a series of qualitative spatial calculi that feature topological relations based on the 9+-intersection. While most qualitative spatial calculi have targeted spatial relations between single-type objects, our calculi support spatial ...
Approximate qualitative spatial reasoning
Qualitative relations between spatial regions play an important role in the representation and manipulation of spatial knowledge. The RCC5 and RCC8 systems of relations, used in the Region-Connection Calculus, are of fundamental importance. These two ...
Multi-level Topological Relations of the Spatial Reasoning System RCC-8
DBKDA '09: Proceedings of the 2009 First International Conference on Advances in Databases, Knowledge, and Data ApplicationsQueries in geospatial databases, such as Geographic Information Systems (GIS), image databases, are often based upon the relations among spatial objects. Spatial relations are the basis of many queries that GIS perform such as the topological relations. ...
Comments