Skip to main content
SpringerLink
Log in

MuTACLP: A Language for Declarative GIS Analysis

  • Conference paper
  • First Online:
Computational Logic — CL 2000 (CL 2000)

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

Included in the following conference series:

Abstract

This paper proposes an integration between Geographical Information System (GIS) technology and constraint logic programming in order to supply the user with a declarative language that supports and improves GIS analysis. We present the language MuTACLP, where spatio-temporal and thematic information can be represented in a uniform way, and the features of constraint logic programming, such as recursion and constraint handling, can be exploited to perform sophisticated spatio-temporal reasoning. This unifying language seems also promising to address the key problem of interoperability among different GISs.

This work has been supported by Esprit Working Group 28115 - DeduGIS

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A.I. Abdelmoty, N.W. Paton, M.H. Williams, A.A.A. Fernandes, M.L. Barja, and A. Dinn. Geographic Data Handling in a Deductive Object-Oriented Database. In 5th International DEXA Conference, volume 856 of LNCS, pages 445–454, 1994.

    Google Scholar 

  2. D. Aquilino, P. Asirelli, A. Formuso, C. Renso, and F. Turini. Using MedLan to Integrate Geographical Data. Journal of Logic Programming, 43(1):3–14, 2000.

    Article  Google Scholar 

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

    Google Scholar 

  4. M.H. Böhlen, C.S. Jensen, and M.O. Scholl, editors. Spatio-Temporal Database Management, volume 1678 of LNCS. Springer Verlag, 1999.

    Google Scholar 

  5. K.A. Bowen and R.A. Kowalski. Amalgamating language and metalanguage in logic programming. In Logic programming, volume 16 of APIC studies in data processing, pages 153–172. Academic Press, 1982.

    Google Scholar 

  6. A. Brogi, P. Mancarella, D. Pedreschi, and F. Turini. Modular logic programming. ACM TOPLAS, 16(4):1361–1398, July 1994.

    Google Scholar 

  7. J. Chomicki. Temporal Query Languages: A Survey. In Temporal Logic: Proc. of the 1st ICTL’94, volume 827 of LNAI, pages 506–534. Springer Verlag, 1994.

    Google Scholar 

  8. J. Chomicki and P.Z. Revesz. Constraint-Based Interoperability of Spatiotemporal Database. Geoinformatica, 3(3):211–243, 1999.

    Article  Google Scholar 

  9. M. Egenhofer. User interfaces. In Cognitive Aspects of Human-Computer Interaction for Geographical Information Systems, pages 1–8. Kluwer Academic, 1995.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  11. S. Grumbach, P. Rigaux, M. Scholl, and L. Segoufin. DEDALE, A Spatial Constraint Database. In Proc. of Intl. Workshop on Database programming Languages, volume 1369 of Lecture Notes in Computer Science, pages 38–59, 1998.

    Google Scholar 

  12. S. Grumbach, P. Rigaux, and L. Segoufin. Spatio-Temporal Data Handling with Constraints. In Proc. of the 6th International Symposium on Advances in GIS, pages 106–111. ACM Press, 1998.

    Google Scholar 

  13. S. Grumbach, P. Rigaux, and L. Segoufin. The DEDALE System for Complex Spatial Queries. In Proc. of the ACM SIGMOD, pages 213–224, 1998.

    Google Scholar 

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

    Google Scholar 

  15. G. Langran. Time in Geographical Information Systems. Taylor & Francis, 1992.

    Google Scholar 

  16. P. Mancarella, A. Raffaetà, and F. Turini. Temporal Annotated Constraint Logic Programming with Multiple Theories. In 10th International DEXA Workshop, pages 501–508. IEEE Computer Society Press, 1999.

    Google Scholar 

  17. Jan Paredaens. Spatial databases, the final frontier. In Database Theory— ICDT’95, volume 893 of LNCS, pages 14–32. Springer, 1995.

    Google Scholar 

  18. Esprit/Essi project no.21580. Guidelines for best practice in user interface for GIS. European Commission, 1999.

    Google Scholar 

  19. A. Raffaetà. Spatio-temporal knowledge bases in a constraint logic programming framework with multiple theories. PhD thesis, Dip. Informatica, Univ. Pisa, 2000.

    Google Scholar 

  20. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass editors. Temporal Databases: Theory, Design, and Implementation. 1993.

    Google Scholar 

  21. G. Wiederhold. Mediators in the Architecture of Future Information Systems. IEEE Computer, 25:38–49, March 1992.

    Google Scholar 

  22. M. F. Worboys. GIS-A Computing Perspective. Taylor & Francis, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Corso Italia, 40, I-56125, Pisa, Italy

    Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà & Franco Turini

Authors
  1. Paolo Mancarella
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gianluca Nerbini
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alessandra Raffaetà
    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. The Australian National University, Australia

    John Lloyd

  2. Simon Fraser University, Canada

    Veronica Dahl

  3. Universität Koblenz, Germany

    Ulrich Furbach

  4. The University of Birmingham, UK

    Manfred Kerber

  5. University of Manchester, UK

    Kung-Kiu Lau

  6. The Pennsylvania State University, USA

    Catuscia Palamidessi

  7. Universidade Nova de Lisboa, Portugal

    Luís Moniz Pereira

  8. The Hebrew University of Jerusalem, Israel

    Yehoshua Sagiv

  9. The University of Melbourne, Australia

    Peter J. Stuckey

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mancarella, P., Nerbini, G., Raffaetà, A., Turini, F. (2000). MuTACLP: A Language for Declarative GIS Analysis. In: Lloyd, J., et al. Computational Logic — CL 2000. CL 2000. Lecture Notes in Computer Science(), vol 1861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44957-4_67

Download citation

  • DOI: https://doi.org/10.1007/3-540-44957-4_67

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67797-0

  • Online ISBN: 978-3-540-44957-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation