Skip to main content
SpringerLink
Log in

A Logical Approach for Modeling Spatio-temporal Objects and Events

  • Conference paper
Perspectives in Conceptual Modeling (ER 2005)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 3770))

Included in the following conference series:

Abstract

The formal specification of spatio-temporal information is essential to the definition of spatio-temporal database systems. The main contribution of this work is to provide a formal specification that uses object-oriented concepts associated not only with objects but also with events as primary classes of a model. The work is based on Event Calculus and C-logic to model objects and events and to provide a language for spatio-temporal queries. This work shows the possibility to combine the snapshot view with the event view of spatio-temporal information using a formal framework that serves for specifying information, checking consistency of specification, and being a reference for query languages.

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. Abdelmoty, A., Paton, N., Williams, H., Fernandes, A., Barja, M., Dinn, A.: Geographic data handling in a deductive object-oriented database. In: Karagiannis, D. (ed.) International Conference on Database and Expert Systems Applications DEXA 1994, pp. 445–454. Springer, Heidelberg (1994)

    Google Scholar 

  2. Abiteboul, S., Beeri, C.: The power of languages for the manipulation of complex values. VLDB Journal 4(4), 727–794 (1995)

    Article  Google Scholar 

  3. Abraham, T., Roddick, J.: Survey of spatio-temporal databases. GeoInformatica 3, 61–69 (1999)

    Article  Google Scholar 

  4. Borges, K., Davis, C., Laender, A.: Omt-g: An object-oriented data model for geographic information applications. GeoInformatica 5(3), 221–260 (2001)

    Article  MATH  Google Scholar 

  5. Chen, W., Warren, D.: C-logic of complex objects. In: ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems, pp. 369–378 (1989)

    Google Scholar 

  6. Egenhofer, M., Frank, A.: Object-oriented modeling for gis. Journal Urban and Regional Information System Assoc. 4(2) (1992)

    Google Scholar 

  7. Forlizze, L., Güting, R., Nardelli, E., Schneider, M.: A data model and data structure for moving objects databases. In: ACM SIGMOD, pp. 319–330. ACM Press, New York (2000)

    Chapter  Google Scholar 

  8. Grenon, P., Smith: SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation 4(1), 69–103 (2004)

    Article  Google Scholar 

  9. Griffiths, T., Fernandes, A., Paton, N., Barr, R.: The TRIPOD spatio-temporal data model. Data and Knowledge Engineering 49(1), 23–65 (2003)

    Article  Google Scholar 

  10. Güting, R., Böhlen, M., Erwing, M., Jensen, C., Lorentzos, N., Nardelli, E.: Spatio-Temporal Models and Languages. In: Koukarakis, K., Sellis, R., Frank, A., Grumbach, S., Güting, R., Jensen, C., Tryfona, N. (eds.) Spatio-Temporal Databases: The Chorochronos Approach, pp. 117–176. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Jensen, C., Dyreson, C.: The concesus glossary of temporal concepts - february 1998 version. In: Etzion, O., Jajodia, S., Sripada, S. (eds.) Dagstuhl Seminar 1997. LNCS, vol. 1399, pp. 367–405. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  12. Kesim, F.N., Sergot, M.: A logic programming framework for modeling temporal objects. IEEE Transactions on Knowledge and Data Engineering 8(5), 724–741 (1996)

    Article  Google Scholar 

  13. Khoshafian, S., Abnous, R.: Object Orientation: Concepts, Language, Databases and User Interfaces. John Wiley & Sons, New York (1990)

    Google Scholar 

  14. Kowalski, R.: Database updates in the event calculus. Journal of Logic Programming 12(162), 121–146 (1992)

    Article  MathSciNet  Google Scholar 

  15. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing 4, 67–95 (1986)

    Article  Google Scholar 

  16. McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, pp. 463–502. Edinburg University Press (1969)

    Google Scholar 

  17. Miller, R., Shanahan, M.: The event calculus in classical logic - alternative axiomatisations. Lonköping Electronic Articles in Computer and Information Science 4(16), 1–30 (1999)

    Google Scholar 

  18. Sripada, S.: Temporal Reasoning in Deductive Databases. PhD thesis, Dept. of Computing, Imperial College (1991)

    Google Scholar 

  19. Voisard, A., David, B.: A database pespective on geospatial data modeling. IEEE Transactions on Knowledge and Data Engineering 14(2), 226–246 (2002)

    Article  Google Scholar 

  20. Worboys, M.: Object-oriented approaches to geo-referenced information. International Journal of Geographic Information Systems 8(4), 385–399 (1994)

    Article  Google Scholar 

  21. Worboys, M.: A unified model of spatial and temporal information. Computer Journal 37(1), 26–34 (1994)

    Article  Google Scholar 

  22. Worboys, M., Hearnshaw, H., Maguire, D.: Object-oriented data modelling for spatial databases. International Journal of Geographic Information Systems 4(4), 369–383 (1990)

    Article  Google Scholar 

  23. Worboys, M., Hornsby, K.: From Objects to Events: GEM, the geospatial event model. In: Egenhofer, M.J., Freksa, C., Miller, H.J. (eds.) GIScience 2004. LNCS, vol. 3234, pp. 327–343. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Concepción, Edmundo Larenas 215, Concepción, Chile

    Cristian Vidal & Andrea Rodríguez

Authors
  1. Cristian Vidal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrea Rodríguez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Conservatoire National des Arts et Métiers and INT, France

    Jacky Akoka

  2. Information Systems Department, Brigham Young Univeristy, 84602, Provo, Utah, U.S.A.

    Stephen W. Liddle

  3. College of Information Science and Technology, Drexel University, USA

    Il-Yeol Song

  4. University College, Dublin, Ireland

    Michela Bertolotto

  5. CEDRIC-CNAM and ESSEC,  

    Isabelle Comyn-Wattiau

  6. Infolab, Tilburg University, PO Box 90158, 5000 LE, Tilburg, The Netherlands

    Willem-Jan van den Heuvel

  7. ISYS- Information Systems Research Unit, IAG-Louvain School of Management, Université catholique de Louvain, 1348 Louvain-la-Neuve, Belgium

    Manuel Kolp

  8. Department of Software and Computing Systems, University of Alicante, Spain

    Juan Trujillo

  9. Institute for Applied Informatics, Alpen-Adria-Universität, Klagenfurt, Austria

    Christian Kop  & Heinrich C. Mayr  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vidal, C., Rodríguez, A. (2005). A Logical Approach for Modeling Spatio-temporal Objects and Events. In: Akoka, J., et al. Perspectives in Conceptual Modeling. ER 2005. Lecture Notes in Computer Science, vol 3770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568346_24

Download citation

  • DOI: https://doi.org/10.1007/11568346_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29395-8

  • Online ISBN: 978-3-540-32239-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation