Subscribe

Issue No.02 - February (2010 vol.22)

pp: 161-178

Eliseo Clementini , University of L'Aquila, L'Aquila

Spiros Skiadopoulos , University of Peloponnese, Tripolis

Roland Billen , University of Liege, Liege

Francesco Tarquini , University of L'Aquila, L'Aquila

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TKDE.2009.79

ABSTRACT

This paper introduces a reasoning system based on a previously developed model for ternary projective relations between spatial objects. The model applies to spatial objects of the kind point and region is based on basic projective invariants and takes into account the size and shape of the three objects that are involved in a relation. The reasoning system proposes a set of permutation and composition rules, which allow the inference of unknown relations from given ones.

INDEX TERMS

Qualitative spatial reasoning, spatial relations, projective relations, ternary relations, reasoning system, composition tables, geometric configurations.

CITATION

Eliseo Clementini, Spiros Skiadopoulos, Roland Billen, Francesco Tarquini, "A Reasoning System of Ternary Projective Relations",

*IEEE Transactions on Knowledge & Data Engineering*, vol.22, no. 2, pp. 161-178, February 2010, doi:10.1109/TKDE.2009.79REFERENCES

- [1] A. Cohn and S. Hazarika, “Qualitative Spatial Representation and Reasoning: An Overview,”
Fundamenta Informaticae, vol. 16, nos. 1/2, pp. 1-29, 2001.- [2] M. Egenhofer and J. Herring, “Categorizing Binary Topological Relationships between Regions, Lines, and Points in Geographic Databases,” technical report, Dept. of Surveying Eng., Univ. of Maine, 1991.
- [4] E. Clementini and P. Di Felice, “Spatial Operators,”
SIGMOD Record, vol. 29, no. 3, pp. 31-38, 2000.- [5] D. Waller, J. Loomis, R. Golledge, and A. Beall, “Place Learning in Humans: The Role of Distance and Direction Information,”
Spatial Cognition and Computation, vol. 2, pp. 333-354, 2000.- [7] E. Clementini and P. Di Felice, “A Global Framework for Qualitative Shape Description,”
GeoInformatica, vol. 1, no. 1, pp. 1-17, 1997.- [8] R. Billen and E. Clementini, “Semantics of Collinearity Among Regions,”
Proc. OTM Workshops '05—First Int'l Workshop Semantic-Based Geographical Information Systems (SeBGIS '05), R. Meersman, ed., pp. 1066-1076, 2005.- [10] R. Billen and E. Clementini, “A Model for Ternary Projective Relations between Regions,”
Proc. Int'l Conf. Extending Database Technology (EDBT '04), E. Bertino, ed., pp. 310-328, 2004.- [11] R. Billen and E. Clementini, “Introducing a Reasoning System Based on Ternary Projective Relations,”
Proc. Int'l Symp. Spatial Data Handling (SDH '04), P. Fisher, ed., pp. 381-394, 2004.- [12] C. Freksa, “Using Orientation Information for Qualitative Spatial Reasoning,”
Proc. Int'l Conf. Theories and Models of Spatio-Temporal Reasoning in Geographic Space, pp. 162-178, 1992.- [13] A. Scivos and B. Nebel, “Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation,”
Proc. Int'l Conf. Spatial Information Theory: Foundations of Geographic Information Science (COSIT '01), pp. 431-446, 2001.- [14] A. Isli, “Combining Cardinal Direction Relations and Other Orientation Relations in QSR,”
Proc. Eighth Int'l Symp. Artificial Intelligence and Math. (AI&M '04), 2004.- [15] G. Retz-Schmidt, “Various Views on Spatial Prepositions,”
AI Magazine, vol. 9, no. 2, pp. 95-105, 1988.- [16] D. Hernández,
Qualitative Representation of Spatial Knowledge. Springer-Verlag, 1994.- [17] K.-P. Gapp, “From Vision to Language: A Cognitive Approach to the Computation of Spatial Relations in 3d Space,”
Proc. European Conf. Cognitive Science in Industry, pp. 339-357, 1994.- [18] I. Bloch, O. Colliot, and R.M. Cesar,Jr., “On the Ternary Spatial Relation ‘Between’,”
IEEE Trans. Systems, Man, and Cybernetics, vol. 36, no. 2, pp. 312-327, Apr. 2006.- [20] D. Hernández, “Maintaining Qualitative Spatial Knowledge,”
Proc. Int'l Conf. Spatial Information Theory: A Theoretical Basis for GIS (COSIT '93), A. Frank and I. Campari, eds., pp.36-53, 1993.- [21] K.-P. Gapp, “Angle, Distance, Shape, and Their Relationship to Projective Relations,”
Proc. 17th Conf. Cognitive Science Soc., pp.112-117, 1995.- [22] C. Schlieder, “Reasoning about Ordering,”
Proc. Int'l Conf. Spatial Information Theory: A Theoretical Basis for GIS (COSIT '95), A. Frank and W. Kuhn, eds., pp. 341-349, 1995.- [23] C. Kray and A. Blocher, “Modeling the Basic Meanings of Path Relations,”
Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '99), pp. 384-389, 1999.- [24] R. Moratz and K. Fischer, “Cognitively Adequate Modelling of Spatial Reference in Human-Robot Interaction,”
Proc. IEEE Int'l Conf. Tools with Artificial Intelligence (ICTAI '00), pp. 222-228, 2000.- [26] L. Kulik and A. Klippel, “Reasoning about Cardinal Directions Using Grids as Qualitative Geographic Coordinates,”
Proc. Int'l Conf. Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science (COSIT '99), C. Freksa and D. Mark, eds., pp. 205-220, 1999.- [27] R. Goyal and M. Egenhofer, “The Direction-Relation Matrix: A Representation for Directions Relations between Extended Spatial Objects,”
Proc. Univ. Consortium for Geographic Information Systems Science (UCGIS) Ann. Assembly and Summer Retreat, June 1997.- [28] C. Vorwerg, G. Socher, T. Fuhr, G. Sagerer, and G. Rickheit, “Projective Relations for 3d Space: Computational Model, Application, and Psychological Evaluation,”
Proc. Nat'l Conf. Artificial Intelligence (AAAI '97), pp. 159-164, 1997.- [29] H. Schmidtke, “The House Is North of the River: Relative Localization of Extended Objects,”
Proc. Int'l Conf. Spatial Information Theory: Foundations of Geographic Information Science (COSIT '01), D. Montello, ed., pp. 415-430, 2001.- [30] L. Kulik, C. Eschenbach, C. Habel, and H. Schmidtke, “A Graded Approach to Directions between Extended Objects,”
Proc. Int'l Conf. Geographic Information Science (GIScience '02), M. Egenhofer and D. Mark, eds., pp. 119-131, 2002.- [32] V. Dugat, P. Gambarotto, and Y. Larvor, “Qualitative Theory of Shape and Orientation,”
Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '99), pp. 45-53, 1999.- [37] F. Tarquini, G. De Felice, P. Fogliaroni, and E. Clementini, “A Qualitative Model for Visibility Relations,”
Proc. Ann. German Conf. Artificial Intelligence (KI '07), J. Hertzberg, M. Beetz, and R. Englert, eds., pp. 510-513, 2007.- [38] E. Clementini, “Projective Relations on the Sphere,”
Proc. Second Int'l Workshop Semantic and Conceptual Issues in GIS (SeCoGIS '08), I.-Y. Song, ed., pp. 313-322, 2008.- [39] B. Bennett, A. Isli, and A. Cohn, “When Does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language?”
Proc. Int'l Joint Conf. Artificial Intelligence (IJCAI '97) Workshop Spatial and Temporal Reasoning, 1997.- [40] G. Ligozat, “When Tables Tell It All: Qualitative Spatial and Temporal Reasoning Based on Linear Ordering,”
Proc. Int'l Conf. Spatial Information Theory: Foundations of Geographic Information Science (COSIT '01), D. Montello, ed., pp. 60-75, 2001.- [41] A. Isli and A. Cohn, “An Algebra for Cyclic Ordering of 2D Orientations,”
Proc. Nat'l Conf. Artificial Intelligence (AAAI '98), pp. 643-649, July 1998.- [42] I. Düntsch, H. Wang, and S. McCloskey, “Relation Algebras in Qualitative Spatial Reasoning,”
Fundamenta Informaticae, vol. 39, pp. 229-248, 1999.- [44] J. Renz and G. Ligozat, “Weak Composition for Qualitative Spatial and Temporal Reasoning,”
Proc. Int'l Conf. Principles and Practice of Constraint Programming (CP '05), 2005. |