A logical approach for modeling spatio-temporal objects and events

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3770 LNCS, Issue , 2005, Pages 218-227

  Vidal, Cristian ^a   Rodríguez, Andrea ^a  

^a UNIVERSITY OF CONCEPCIÓN   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; SPECIFICATIONS;

C-LOGIC; EVENT CALCULUS; FORMAL SPECIFICATION; SPATIO-TEMPORAL INFORMATION;

INFORMATION ANALYSIS;

EID: 33646722734     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11568346_24     Document Type: Conference Paper

References (23)

1. A. Abdelmoty, N. Paton, H. Williams, A. Fernandes, M. Barja, and A. Dinn. Geographic data handling in a deductive object-oriented database. In D.Karagiannis, editor, International Conference on Database and Expert Systems Applications DEXA '94, pages 445-454. Springer-Verlag, 1994.
2. S. Abiteboul and C. Beeri. The power of languages for the manipulation of complex values. VLDB Journal, 4(4):727-794, 1995.
3. T. Abraham and J. Roddick. Survey of spatio-temporal databases. GeoInformatica, 3:61-69, 1999.
4. K. Borges, C. Davis, and A. Laender. Omt-g: An object-oriented data model for geographic information applications. Geolnformatica, 5(3):221-260, 2001.
5. Weidong Chen and David Warren. C-logic of complex objects. ACM SIGACT-SIGMOD-SIGART Symp. Principles of Database Systems, pages 369-378, 1989.
6. Max Egenhofer and A. Frank. Object-oriented modeling for gis. Journal Urban and Regional Information System Assoc., 4(2), 1992.
7. L. Forlizze, R. Güting, E. Nardelli, and M. Schneider. A data model and data structure for moving objects databases. In ACM SIGMOD, pages 319-330. ACM Press, 2000.
8. P. Grenon and Smith. SNAP and SPAN: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1):69-103, 2004.
9. T. Griffiths, A. Fernandes, N. Paton, and R. Barr. The TRIPOD spatio-temporal data model. Data and Knowledge Engineering, 49(1):23-65, 2003.
10. R. Güting, M. Böhlen, M. Erwing, C. Jensen, N. Lorentzos, and E. Nardelli. Spatio-Temporal Databases: The Chorochronos Approach, chapter Spatio-Temporal Models and Languages, pages 117-176. Springer-Verlag, 2003.
11. C. Jensen and C. Dyreson. The concesus glossary of temporal concepts - february 1998 version. In Lecture Notes in Computer Science 1399, pages 367-405. Springer-Verlag, 1998.
12. F.N. Kesim and Marek Sergot. A logic programming framework for modeling temporal objects. IEEE Transactions on Knowledge and Data Engineering, 8(5):724-741, 1996.
13. S. Khoshafian and R. Abnous. Object Orientation: Concepts, Language, Databases and User Interfaces. John Wiley & Sons, New York, 1990.
14. R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12(162):121-146, 1992.
15. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.
16. J. McCarthy and P. Hayes. Machine Intelligence, chapter Some Philosophical Problems from the Standpoint of Artificial Intelligence, pages 463-502. Edinburg University Press, 1969.
17. R. Miller and M. Shanahan. The event calculus in classical logic - alternative axiomatisations. Lonköping Electronic Articles in Computer and Information Science, 4(16):1-30, 1999.
18. S. Sripada. Temporal Reasoning in Deductive Databases. PhD thesis, Dept. of Computing, Imperial College, 1991.
19. A. Voisard and B. David. A database pespective on geospatial data modeling. IEEE Transactions on Knowledge and Data Engineering, 14(2).-226-246, 2002.
20. M. Worboys. Object-oriented approaches to georeferenced information. International Journal of Geographic Information Systems, 8(4):385-399, 1994.
21. M. Worboys. A unified model of spatial and temporal information. Computer Journal, 37(1):26-34, 1994.
22. M. Worboys, H. Hearnshaw, and D. Maguire. Object-oriented data modelling for spatial databases, International Journal of Geographic Information Systems, 4(4):369-383, 1990.
23. M. Worboys and K. Hornsby. Geographic Information Science. LNCS 3234, chapter From Objects to Events: GEM, the geospatial event model, pages 327-343. Springer-Verlag, 2004.