Abstract
In this paper we present an approach to qualitative spatial reasoning based on the spatio-temporal language STACLP 18. In particular, we show how the topological 9-intersection model 7 and the direction relations based on projections 16 can be modelled in such a framework. STACLP is a constraint logic programming language where formulae can be annotated with labels (annotations) and where relations between these labels can be expressed by using constraints. Annotations are used to represent both time and space.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Montello, D.R. (ed.): Spatial Information Theory. Foundations of Geographic Information Science. COSIT 2001. LNCS, vol. 2205. Springer, Heidelberg (2001)
Aquilino, D., Asirelli, P., Formuso, A., Renso, C., Turini, F.: Using MedLan to Integrate Geographical Data. Journal of Logic Programming 43(1), 3–14 (2000)
Clarke, B.L.: A calculus of individuals based on connection. Notre Dame Journal of Formal Logic 22(3), 204–218 (1981)
Clementini, E., Di Felice, P., van Oosterom, P.: A Small Set of Formal Topological Relationships for End-User Interaction. In: Abel, D.J., Ooi, B.-C. (eds.) SSD 1993. LNCS, vol. 692, pp. 277–295. Springer, Heidelberg (1993)
Cohn, A.G., Hazarika, S.M.: Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae 45, 1–29 (2001)
OpenGIS Consortium. OpenGIS Simple Features Specification For OLE/COM (1999), http://www.opengis.org/techno/specs/99-050.pdf
Egenhofer, M.J.: Reasoning about binary topological relations. In: Günther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol. 525, pp. 143–160. Springer, Heidelberg (1991)
Egenhofer, M.J.: User interfaces. In: Egenhofer, M.J. (ed.) Cognitive Aspects of Human-Computer Interaction for Geographical Information Systems, pp. 1–8. Kluwer Academic, Dordrecht (1995)
Egenhofer, M.J., Mark, D.: Naive geography. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 1–15. Springer, Heidelberg (1995)
Frank, A.: Qualitative spatial reasoning: Cardinal directions as an example. International Journal of Geographical Information Science 10(3), 269–290 (1996)
Frühwirth, T.: Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation 22, 555–583 (1996)
Goyal, R.K.: Similarity assessment for cardinal directions between extended spatial objects. Technical report, The University of Maine, PhD Thesis (2000)
Goyal, R.K., Egenhofer, M.J.: Cardinal directions between extended spatial objects. IEEE Transactions on Knowledge and Data Engineering (in press)
Orsini, E.: Ragionamento Spazio-Temporale basato su logica, vincoli e annotazioni. Master’s thesis, Dipartimento di Informatica, Università di Pisa (2001)
Papadias, D., Sellis, T., Theodoridis, Y., Egenhofer, M.J.: Topological relations in the world of minimum bounding rectangles: a study with R-trees. In: ACM SIGMOD Int. Conf. on Management of Data, pp. 92–103 (1995)
Papadias, D., Theodoridis, Y.: Spatial relations, minimum bounding rectangles, and spatial data structures. International Journal of Geographical Information Science 11(2), 111–138 (1997)
Peuquet, D., Zhan, C.-X.: An algorithm to determine the directional relationship between arbitrarily-shaped polygons in the plane. Pattern Recognition 20(1), 65–74 (1987)
Raffaetà, A., Frühwirth, T.: Spatio-temporal annotated constraint logic programming. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 259–273. Springer, Heidelberg (2001)
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on region and connection. In: Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan Kaufmann, San Francisco (1992)
Zimmermann, K., Freksa, C.: Qualitative Spatial Reasoning Using Orientation, Distance, and Path Knowledge. Applied Intelligence 6, 46–58 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Raffaetà, A., Renso, C., Turini, F. (2003). Qualitative Spatial Reasoning in a Logical Framework. In: Cappelli, A., Turini, F. (eds) AI*IA 2003: Advances in Artificial Intelligence. AI*IA 2003. Lecture Notes in Computer Science(), vol 2829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39853-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-39853-0_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20119-9
Online ISBN: 978-3-540-39853-0
eBook Packages: Springer Book Archive