Skip to main content
SpringerLink
Log in
Book cover

International Conference on Applications of Declarative Programming and Knowledge Management

Workshop on Logic Programming

INAP 2004, WLP 2004: Applications of Declarative Programming and Knowledge Management pp 98–115Cite as

Deductive and Inductive Reasoning on Spatio-Temporal Data

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3392))

Abstract

We present a framework for a declarative approach to spatio-temporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploited for a deductive rule-based approach to represent domain knowledge on data. Furthermore, it is well suited to model trajectories of moving objects, which can be analysed by using inductive techniques, like clustering, in order to find common movement patterns. A sketch of a case study on behavioural ecology is presented.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdelmoty, A.I., Paton, N.W., Williams, M.H., Fernandes, A.A.A., Barja, M.L., Dinn, A.: Geographic Data Handling in a Deductive Object-Oriented Database. In: Karagiannis, D. (ed.) DEXA 1994. LNCS, vol. 856, pp. 445–454. Springer, Heidelberg (1994)

    Google Scholar 

  2. Abraham, T.: Knowledge Discovery in Spatio-Temporal Databases. PhD thesis, School of Computer and Information Science, Faculty of Information Technology, University of South Australia (1999)

    Google Scholar 

  3. Agrawal, R., Srikant, R.: Mining sequential patterns. In: Yu, P.S., Chen, A.S.P. (eds.) Eleventh International Conference on Data Engineering, Taipei, Taiwan, pp. 3–14. IEEE Computer Society Press, Los Alamitos (1995)

    Chapter  Google Scholar 

  4. Belussi, A., Bertino, E., Catania, B.: An extended algebra for constraint databases. IEEE TKDE 10(5), 686–705 (1998)

    Google Scholar 

  5. Böhlen, M.H., Jensen, C.S., Scholl, M.O. (eds.): STDBM 1999. LNCS, vol. 1678. Springer, Heidelberg (1999)

    Google Scholar 

  6. Ceccarelli, T., Centeno, D., Giannotti, F., Massolo, A., Parent, C., Raffaetà, A., Renso, C., Spaccapietra, S., Turini, F.: The behaviour of the Crested Porcupine: the complete case study. Technical report, DeduGIS - EU WG (2001)

    Google Scholar 

  7. Chomicki, J., Revesz, P.Z.: Constraint-Based Interoperability of Spatiotemporal Databases. GeoInformatica 3(3), 211–243 (1999)

    Article  Google Scholar 

  8. Cotofrei, P.: Statistical temporal rules. In: Proc. of the 15th Conf. on Computational Statistics (2002)

    Google Scholar 

  9. Das, G., Lin, K.-I., Mannila, H., Renganathan, G., Smyth, P.: Rule discovery from time series. In: Proc. of the Fourth International Conference on Knowledge Discovery and Data Mining - KDD 1998, pp. 16–22 (1998)

    Google Scholar 

  10. Ester, M., Kriegel, H.-P., Sanders, J.: Algorithms and applications for spatial data mining. In: [29], pp. 160–187

    Google Scholar 

  11. Etzion, O., Jajodia, S., Sripada, S. (eds.): Dagstuhl Seminar 1997. LNCS, vol. 1399. Springer, Heidelberg (1998)

    Google Scholar 

  12. Faloutsos, C., Lin, K.-I.: Fastmap: a fast algorithm for indexing of traditional and multimedia databases. In: SIGMOD Conf., pp. 163–174. ACM, New York (1995)

    Google Scholar 

  13. Frühwirth, T.: Temporal Annotated Constraint Logic Programming. Journal of Symbolic Computation 22, 555–583 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  14. Gaffney, S., Smyth, P.: Trajectory clustering with mixture of regression models. In: KDD Conf., pp. 63–72. ACM, New York (1999)

    Google Scholar 

  15. Geurts, P.: Pattern extraction for time series classification. In: Siebes, A., De Raedt, L. (eds.) PKDD 2001. LNCS (LNAI), vol. 2168, pp. 115–127. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Grumbach, S., Rigaux, P., Segoufin, L.: Spatio-Temporal Data Handling with Constraints. GeoInformatica 5(1), 95–115 (2001)

    Article  MATH  Google Scholar 

  17. Guha, S., Mishra, N., Motwani, R., O’Callaghan, L.: Clustering data streams. In: IEEE Symposium on Foundations of Computer Science, pp. 359–366 (2000)

    Google Scholar 

  18. Güting, R.H.: An Introduction to Spatial Database Systems. VLDB Journal 3(4), 357–400 (1994)

    Article  Google Scholar 

  19. Han, J., Kamber, M., Tung, A.K.H.: Spatial clustering methods in data mining: a survey. In: [29], pp. 188–217

    Google Scholar 

  20. Harms, S.K., Deogun, J., Tadesse, T.: Discovering sequential association rules with constraints and time lags in multiple sequences. In: Proc. of the 13th Int. Symposium on Methodologies for Intelligent Systems, pp. 432–441 (2002)

    Google Scholar 

  21. Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages. Journal of Computer and System Sciences 51(1), 26–52 (1995)

    Article  MathSciNet  Google Scholar 

  22. Keogh, E., Lin, J., Truppel, W.: Clustering of Time Series Subsequences is Meaningless: Implications for Previous and Future Research. In: Proceedings of the 3rd IEEE International Conference on Data Mining, pp. 115–122 (2003)

    Google Scholar 

  23. Ketterlin, A.: Clustering sequences of complex objects. In: KDD Conf., pp. 215–218. ACM, New York (1997)

    Google Scholar 

  24. Koperski, K.: A Progressive Refinement Approach to Spatial Data Mining. PhD thesis, Simon Frasery University (1999)

    Google Scholar 

  25. Koperski, K., Han, J.: Discovery of spatial association rules in geographic information databases. In: Egenhofer, M.J., Herring, J.R. (eds.) SSD 1995. LNCS, vol. 951, pp. 47–66. Springer, Heidelberg (1995)

    Google Scholar 

  26. Koubarakis, M., Skiadopoulos, S.: Tractable Query Answering in Indefinite Constraint Databases: Basic Results and Applications to Querying Spatiotemporal Information. In: [5], pp. 204–223 (1999)

    Google Scholar 

  27. Mancarella, P., Raffaetà, A., Renso, C., Turini, F.: Integrating Knowledge Representation and Reasoning in Geographical Information Systems. International Journal of GIS 18(4), 417–446 (2004)

    Google Scholar 

  28. Mannila, H., Toivonen, H., Verkamo, A.I.: Discovery of frequent episodes in event sequences. Data Mining and Knowledge Discovery 1(3), 259–289 (1997)

    Article  Google Scholar 

  29. Miller, H.J., Han, J. (eds.): Geographic Data Mining and knowledge Discovery. Taylor & Francis, Abington (2001)

    Google Scholar 

  30. Nanni, M.: Clustering Methods for Spatio-Temporal Data. PhD thesis, Dipartimento di Informatica, Università di Pisa (2002)

    Google Scholar 

  31. Ng, R.T.: Detecting outliers from large datasets. In: [29], pp. 218–235

    Google Scholar 

  32. Orgun, M.A., Ma, W.: An Overview of Temporal and Modal Logic Programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS (LNAI), vol. 827, pp. 445–479. Springer, Heidelberg (1994)

    Chapter  Google Scholar 

  33. Paredaens, J.: Spatial databases, the final frontier. In: Vardi, M. Y., Gottlob, G. (eds.) ICDT 1995. LNCS, vol. 893, pp. 14–32. Springer, Heidelberg (1995)

    Google Scholar 

  34. 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)

    Chapter  Google Scholar 

  35. Raffaetà, A., Renso, C., Turini, F.: Enhancing GISs for Spatio-Temporal Reasoning. In: ACM GIS 2002, pp. 35–41. ACM Press, New York (2002)

    Google Scholar 

  36. Raffaetà, A., Renso, C., Turini, F.: Qualitative Spatial Reasoning in a Logical Framework. In: Cappelli, A., Turini, F. (eds.) AI*IA 2003. LNCS (LNAI), vol. 2829, pp. 78–90. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  37. Randell, D., Cui, Z., Cohn, A.: A Spatial Logic based on Regions and Connection. In: KR 1992, pp. 165–176. Morgan Kaufmann, San Francisco (1992)

    Google Scholar 

  38. Shekhar, S., Huang, Y.: Discovering spatial co-location patterns: A summary of results. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol. 2121, pp. 236–256. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  39. Shekhar, S., Lu, C.-T., Zhang, P.: Detecting graph-based spatial outliers: algorithms and applications (a summary of results). In: Proc. of the 7th ACM SIGKDD international conference on Knowledge discovery and data mining, pp. 371–376. ACM Press, New York (2001)

    Chapter  Google Scholar 

  40. Shekhar, S., Zhang, P., Vatsavai, R.R., Huang, Y.: Research accomplishments and issues on spatial data mining. In: White paper of the Geospatial Visualization and Knowledge Discovery Workshop, Lansdowne, Virginia (2003), http://www.ucgis.org/Visualization/

  41. Spaccapietra, S. (ed.): Spatio-Temporal Data Models & Languages (DEXA Workshop). IEEE Computer Society Press, Los Alamitos (1999)

    Google Scholar 

  42. Srikant, R., Agrawal, R.: Mining sequential patterns: generalisations and performance improvements. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol. 1057, pp. 3–17. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  43. Sumpter, N., Bulpitt, A.: Learning spatio-temporal patterns for predicting object behaviour. Image and Vision Computing 18(9), 697–704 (2000)

    Article  Google Scholar 

  44. Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings (1993)

    Google Scholar 

  45. Tsoukatos, I., Gunopulos, D.: Efficient mining of spatiotemporal patterns. In: Jensen, C.S., Schneider, M., Seeger, B., Tsotras, V.J. (eds.) SSTD 2001. LNCS, vol. 2121, pp. 425–442. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  46. Wolter, F., Zakharyaschev, M.: Spatio-temporal representation and reasoning based on RCC-8. In: KR 2000, pp. 3–14. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  47. Worboys, M.F.: GIS - A Computing Perspective. Taylor & Francis, Abington (1995)

    Google Scholar 

  48. Yairi, T., Kato, Y., Hori, K.: Fault detection by mining association rules from house-keeping data. In: Proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISTI CNR, Pisa

    Mirco Nanni & Chiara Renso

  2. Dipartimento di Informatica, Università Ca’ Foscari Venezia,  

    Alessandra Raffaetà

  3. Dipartimento di Informatica, Università di Pisa,  

    Franco Turini

Authors
  1. Mirco Nanni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessandra Raffaetà
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chiara Renso
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Franco Turini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Würzburg, Am Hubland, 97074, Würzburg, Germany

    Dietmar Seipel

  2. Institut für Informatik, CAU Kiel, Germany

    Michael Hanus

  3. Fraunhofer FIRST, Berlin

    Ulrich Geske

  4. IF Computer Japan, 5-28-2 Sendagi, Bunkyo-ku, 113-0022, Tokyo, Japan

    Oskar Bartenstein

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nanni, M., Raffaetà, A., Renso, C., Turini, F. (2005). Deductive and Inductive Reasoning on Spatio-Temporal Data. In: Seipel, D., Hanus, M., Geske, U., Bartenstein, O. (eds) Applications of Declarative Programming and Knowledge Management. INAP WLP 2004 2004. Lecture Notes in Computer Science(), vol 3392. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11415763_7

Download citation

  • DOI: https://doi.org/10.1007/11415763_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25560-4

  • Online ISBN: 978-3-540-32124-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation