Skip to main content
SpringerLink
Log in

Chapter 2: Ontology for Spatio-temporal Databases

  • Chapter
Spatio-Temporal Databases

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2520))

Abstract

Ontology and the related term “semantics” have recently found increased attention in database discussions. Early discussions of ontology issues important for databases [126,78] were lost in a sea of papers on technical, mostly performance issues, despite the fact that textbooks as early as [134] discussed briefly the relationship between information system and real world.

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. Al-Taha, K.: Temporal Reasoning in Cadastral Systems. Ph.D., University of Maine (1992)

    Google Scholar 

  2. Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  3. ANSI/X3/SPARC. Study group on database management systems, interim report 75-02-08. SIGMOD, 7(2) (1975)

    Google Scholar 

  4. Asimov, I.: Earth is Room Enough. Doubleday, New York (1957)

    Google Scholar 

  5. Asperti, A., Longo, G.: Categories, Types and Structures - An Introduction to Category Theory for the Working Computer Scientist, 1st edn, Foundations of Computing. The MIT Press, Cambridge (1991)

    MATH  Google Scholar 

  6. Baird, D.G., Gertner, R.H., Pickr, R.C.: Game Theory and the Law. Harvard University Press, Cambridge (1994)

    Google Scholar 

  7. Bancilhon, F., Delobel, C., Kanellakis, P.: Building an Object-Oriented Database System - The Story of O2. Morgan Kaufmann, San Mateo (1992)

    Google Scholar 

  8. Barr, A., Feigenbaum, E.A.: The Handbook of Artificial Intelligence. W. Kaufman, HeirisTech Press, Los Altos, Stanford (1981)

    MATH  Google Scholar 

  9. Barr, M., Wells, C.: Category Theory for Computing Science. Prentice Hall, Englewood Cliffs (1990)

    MATH  Google Scholar 

  10. Berners-Lee, T., Fischetti, M.: Weaving the Web: The original design and ultimate destiny of the World Wide Web, by its inventor. Harper, New York (1999)

    Google Scholar 

  11. Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (May 2001)

    Google Scholar 

  12. Berger, P.L., Luckmann, T.: The Social Construction of Reality. Anchor Books edn. Doubleday, New York (1996)

    Google Scholar 

  13. Bernasconi, D.: Rahmenkonzept zur Gestaltung eines Datenmanagementsystems Siedlungsentwässerung. Doctoral thesis, ETH Zürich (1999)

    Google Scholar 

  14. Birkhoff, G.: Universal algebra. First Canadian Math. Congress, pp. 310–326. Toronto University Press (1945)

    Google Scholar 

  15. Birkhoff, G., Lipson, J.D.: Heterogeneous algebras. Journal of Combinatorial Theory 8, 115–133 (1970)

    Article  MATH  MathSciNet  Google Scholar 

  16. Bittner, S.: Die Modellierung eines Grundbuchsystems im Situationskalkül. Diploma thesis, Universität Leipzig (1998)

    Google Scholar 

  17. Bittner, T.: Rough Location. PhD, Technical University (1999)

    Google Scholar 

  18. Bittner, T.: Approximate temporal reasoning. In: AAAI Workshop on Spatial and Temporal Granularity, Time 2000 (2000)

    Google Scholar 

  19. Bittner, T., Stell, J.: A boundary-sensitive approach to qualitative location. Annals of Mathematics and Artificial Intelligence 24, 93–114 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  20. Bittner, T., Stell, J.: Rough sets in approximate spatial reasoning. In: Ziarko, W.P., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, p. 445. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  21. Black, H.C.: Black’s Law Dictionary, pocket edn. West Publishing, St. Paul (1996)

    Google Scholar 

  22. Blumenthal, L., Menger, K.: Studies in Geometry. W.H. Freeman, New York (1970)

    MATH  Google Scholar 

  23. Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language Semantics and Notation Guide 1.0. Rational Software Corporation, San Jose, CA (1997)

    Google Scholar 

  24. Borgo, S., Guarino, N., Masolo, C.: A pointless theory of space based on strong connection and congruence. In: Carlucci, L., Doyle, J. (eds.) Principles of Knowledge Representation and Reasoning (KR 1996). Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

  25. Borgo, S., Guarino, N., Masolo, C.: Stratified ontologies: The case of physical objects. In: ECAI 1996, Workshop on Ontological Engineering, Budapest (August 1996)

    Google Scholar 

  26. Buehler, K., McKee, L. (eds.): OpenGIS Guide: An Introduction to Interoperable Geoprocessing, Part 1 of the Open Geodata Interoperability Specification (OGIS). The Open GIS Consortium, Inc. (OGC), 35 Main Street, Suite 5, Wayland, MA 01778 (1996), Available from http://ogis.org/

  27. Burrough, P.A., Frank, A.U.: Concepts and paradigms in spatial information: Are current geographic information systems truly generic? International Journal of Geographical Information Systems 9(2), 101–116 (1995)

    Article  Google Scholar 

  28. Burrough, P.A., Frank, A.U. (eds.): Geographic Objects with Indeterminate Boundaries. GISDATA Series, vol. 2. Taylor & Francis, London (1996)

    Google Scholar 

  29. Buyong, T., Kuhn, W.: Local adjustment for measurement-based cadastral systems. Journal of Surveying Engineering and Land Information Systems 52(1), 25–33 (1992)

    Google Scholar 

  30. Buyong, T., Kuhn, W., Frank, A.U.: A conceptual model of measurement-based multipurpose cadastral systems. Journal of the Urban and Regional Information Systems Association (URISA) 3(2), 35–49 (1991)

    Google Scholar 

  31. Campari, I.: Uncertain boundaries in urban space. In: Burrough, P.A., Frank, A.U. (eds.) Geographic Objects with Indeterminate Boundaries. GISDATA, vol. 2, pp. 57–69. Taylor & Francis, London (1996)

    Google Scholar 

  32. Campari, I., Frank, A.U.: Cultural aspects and cultural differences in geographic information systems. In: Nyerges, T.L., Mark, D.M., Laurini, R., Egenhofer, M. (eds.) Cognitive Aspects of Human-Computer Interaction for Geographic Information Systems - Proceedings of the NATO Advanced Research Workshop, Palma de Mallorca. NATO ASI Series D, vol. 83, pp. 249–266. Kluwer Academic Publishers, Dordrecht (1995)

    Google Scholar 

  33. Cardelli, L.: Type systems. In: Tucker, A.B. (ed.) The Computer Science and Engineering Handook, pp. 2208–2236. CRC Press, Boca Raton (1997)

    Google Scholar 

  34. Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Computing Surveys 17(4), 471–522 (1985)

    Article  Google Scholar 

  35. Casati, R., Smith, B., Varzi, A.C.: Ontological tools for geographic representation. In: Guarino, N. (ed.) Formal Ontology in Information Systems, pp. 77–85. IOS Press, Amsterdam (1998)

    Google Scholar 

  36. Casati, R., Varzi, A.C.: Holes and Other Superficialities. MIT Press, Cambridge (1994)

    Google Scholar 

  37. Casati, R., Varzi, A.C.: Parts and Places. The MIT Press, Cambridge (1999)

    Google Scholar 

  38. CEN. Geographic information - Data description: Metadata. Draft standard, CEN/TC 287/WG2 (1995)

    Google Scholar 

  39. Ceri, S., Fraternali, P., Paraboschi, S.: XML: Current development and future challenges for the database community. In: Zaniolo, C., Grust, T., Scholl, M.H., Lockemann, P.C. (eds.) EDBT 2000. LNCS, vol. 1777, pp. 3–17. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  40. Chevallier, J.: Land information systems - A global and system theoretic approach. In: FIG International Federation of Surveyors, vol. 3, page paper 301.2, Montreux, Switzerland (1981)

    Google Scholar 

  41. Chrisman, N.: Exploring Geographic Information Systems. John Wiley, New York (1997)

    Google Scholar 

  42. Clifford, J., Croker, A.: Objects in time. Database Engineering 7(4), 189–196 (1988)

    Google Scholar 

  43. CODASYL. Report of the data base task group. Technical report (April 1971)

    Google Scholar 

  44. Cohn, A., Cui, Z., Randell, D.: Exploiting temporal continuity in qualitative spatial calculi. specialist meeting, NCGIA, pp. 8–11 (May 1993)

    Google Scholar 

  45. Cohn, A., Gotts, N.: The ’egg-yolk’ representation of regions with indeterminate boundaries. In: Burrough, P., Frank, A.U. (eds.) Geographic Objects with Indeterminate Boundaries. GISDATA, vol. II. Taylor & Francis, London (1996)

    Google Scholar 

  46. Corbett, J.: Topological principles in cartography. Technical Paper 48, Bureau of the Census, US Department of Commerce (1979)

    Google Scholar 

  47. Corp, R.S.: UML notation guide (1997)

    Google Scholar 

  48. Couclelis, H.: People manipulate objects (but cultivate fields): Beyond the rastervector debate in GIS. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 65–77. Springer, Heidelberg (1992)

    Google Scholar 

  49. Couclelis, H., Gale, N.: Space and spaces. Geografiske Annaler 68B, 1–12 (1986)

    Article  Google Scholar 

  50. Cover, R.: The XML cover pages (1998), http://www.oasis-open.org/cover/xmlandsemantics.html

  51. Cressie, N.A.: Statistics for Spatial Data. Wiley Series in Probability and Mathematical Statistics. John Wiley, New York (1991)

    MATH  Google Scholar 

  52. Curry, H.B., Feys, R.: Combinatory Logic. North Holland, Amsterdam (1956)

    Google Scholar 

  53. CYC. The CYC corporation web page (2000), http://www.cyc.com/tech.html

  54. Dale, P.F., McLaughlin, J.D.: Land Information Management - An introduction with special reference to cadastral problems in third World countries. Oxford University Press, Oxford (1988)

    Google Scholar 

  55. Davis, E.: Representation of Commonsense Knowledge. Morgan Kaufmann Publishers, Inc., San Mateo (1990)

    Google Scholar 

  56. Davis, M.D.: Game Theory. revised edn. Dover Publications, Minneola (1983)

    Google Scholar 

  57. Devogele, T., Parent, C., Spaccapietra, S.: On spatial database integration. IJGIS 12(4), 335–352 (1998)

    Article  Google Scholar 

  58. Eastman, C.: Database Facilities for Engineering Design, vol. 69 (1981)

    Google Scholar 

  59. Egenhofer, M.: What’s special about spatial - Database requirements for vehicle navigation in geographic space. SIGMOD Record 22(2), 398–402 (1993)

    Article  Google Scholar 

  60. Egenhofer, M., Al-Taha, K.: Reasoning about gradual changes of topological relationships. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 196–219. Springer, Heidelberg (1992)

    Google Scholar 

  61. Egenhofer, M., Frank, A.U.: Connection between local and regional: Additional “intelligence” needed. In: FIG XVIII International Congress of Surveyors, Toronto, Canada (June 1-11, 1986)

    Google Scholar 

  62. Egenhofer, M.J., Frank, A.U., Jackson, J.: A topological data model for spatial databases. In: Buchmann, A., Smith, T.R., Wang, Y.-F., Günther, O. (eds.) SSD 1989. LNCS, vol. 409, pp. 271–286. Springer, Heidelberg (1990)

    Google Scholar 

  63. Egenhofer, M.J.: A formal definition of binary topological relationships. In: Litwin, W., Schek, H.-J. (eds.) FODO 1989. LNCS, vol. 367, pp. 457–472. Springer, Heidelberg (1989)

    Google Scholar 

  64. Egenhofer, M.J.: Spatial Query Languages. Ph.D., University of Maine (1989)

    Google Scholar 

  65. Egenhofer, M.J., Franzosa, R.D.: Point-set topological spatial relations. International Journal of Geographical Information Systems 5(2), 161–174 (1991)

    Article  Google Scholar 

  66. Egenhofer, M.J., Mark, D.M.: Naive geography. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 1–15. Springer, Heidelberg (1995)

    Google Scholar 

  67. Ehrich, H.-D.: Key extensions of abstract data types, final algebras, and database semantics. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240. Springer, Heidelberg (1986)

    Google Scholar 

  68. Ehrich, H.-D., Gogolla, M., Lipeck, U.: Algebraische Spezifikation abstrakter Datentypen. Leitfäden und Monographien der Informatik. B.G. Teubner, Stuttgart (1989)

    Google Scholar 

  69. Eschenbach, C.: Zählangaben - Maßangaben. Studien zur Kognitionswissenschaft. Deutscher Universitätsverlag, Wiesbaden (1995)

    Google Scholar 

  70. Eschenbach, C.: On representation and descriptions of spatial socio-economic units. In: Frank, A.U., Raper, J., Cheylan, J.-P. (eds.) Life and Motion of Socio-Economic Units. ESF Series. Taylor & Francis, London (2000)

    Google Scholar 

  71. Eschenbach, C., Kulik, L.: An axiomatic approach to the spatial relations underlying left-right and in front of-behind. In: KI 1997 (1997)

    Google Scholar 

  72. ESPRIT. The esprit project web page (2000), http://www.cordis.lu/esprit/src/intro.htm

  73. Fauconnier, G.: Mappings in Thought and Language. Cambridge University Press, Cambridge (1997)

    Google Scholar 

  74. Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database. Language, Speech, and Communication. The MIT Press, Cambridge (1998)

    Google Scholar 

  75. Ferber, J. (ed.): Multi-Agent Systems - An Introduction to Distributed Artificial Intelligence. Addison-Wesley, Reading (1998)

    Google Scholar 

  76. Fonseca, F.T., Egenhofer, M.J.: Ontology-driven geographic information systems. Geographic Information Systems 8, 385–399 (1994)

    Article  Google Scholar 

  77. Franck, G.: Time, actuality, novelty and history. In: Frank, A.U. (ed.) Life and Motion of Socio-Economic Units. Taylor & Francis, London (to appear)

    Google Scholar 

  78. Frank, A.U.: Datenstrukturen für Landinformationssysteme - Semantische, Topologische und Räumliche Beziehungen in Daten der Geo-Wissenschaften. Dissertation, ETH Zürich, Institut für Geodäsie und Photogrammetrie (1983)

    Google Scholar 

  79. Frank, A.U.: Qualitative temporal reasoning in gis-ordered time scales. In: Waugh, T.C., Healey, R.G. (eds.) Sixth International Symposium on Spatial Data Handling, SDH 1994, Edinburgh, Scotland, September 5-9, vol. 1, pp. 410–430 (1994) IGU Commission on GIS

    Google Scholar 

  80. Frank, A.U.: An object-oriented, formal approach to the design of cadastral systems. In: Kraak, M.J., Molenaar, M. (eds.) 7th Int. Symposium on Spatial Data Handling, SDH 1996. IGU, vol. 1, p. 5A.19-5A.35. Delft, The Netherlands (1996)

    Google Scholar 

  81. Frank, A.U.: Spatial ontology: A geographical information point of view. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 135–153. Kluwer Academic Publishers, Dordrecht (1997)

    Chapter  Google Scholar 

  82. Frank, A.U.: GIS for politics. In: Proceedings, C.-R. (ed.) GIS Planet 1998, Lisbon, Portugal, September 9-11. IMERSIV (1998)

    Google Scholar 

  83. Frank, A.U.: Metamodels for data quality description. In: Jeansoulin, R., Goodchild, M. (eds.) Data quality in Geographic Information - From Error to Uncertainty, pp. 15–29. Hermes, Paris (1998)

    Google Scholar 

  84. Frank, A.U.: One step up the abstraction ladder: Combining algebras - from functional pieces to a whole. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol. 1661, pp. 95–107. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  85. Frank, A.U.: Communication with maps: A formalized model. In: Habel, C., Brauer, W., Freksa, C., Wender, K.F. (eds.) Spatial Cognition 2000. LNCS (LNAI), vol. 1849, pp. 80–99. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  86. Frank, A.U.: Socio-economic units: Their life and motion. In: Frank, A.U., Raper, J., Cheylan, J.P. (eds.) Life and Motion of Socio-Economic Units. ESF Series. Taylor and Francis, London (2000)

    Chapter  Google Scholar 

  87. Frank, A.U., Kuhn, W.: Cell graphs: A provable correct method for the storage of geometry. In: Marble, D. (ed.) Second International Symposium on Spatial Data Handling, Seattle, Wash., pp. 411–436 (1986)

    Google Scholar 

  88. Frank, A.U., Kuhn, W.: A specification language for interoperable GIS. In: Goodchild, M.F., Egenhofer, M., Fegeas, R., Kottman, C. (eds.) Interoperating Geographic Information Systems. Kluwer, Norwell (1998)

    Google Scholar 

  89. Frank, A.U., Medak, D.: Formal models of a spatiotemporal database. In: Richta, K. (ed.) DATASEM 1999 - 19th Annual Conference on the Current Trends in Databases and Information Systems, Brno, Czech Republic, October 24-26, pp. 117–130 (1999); Dept. of Computer Science, Czech Technical University

    Google Scholar 

  90. Frank, A.U., Palmer, B., Robinson, V.: Formal methods for accurate definition of some fundamental terms in physical geography. In: Marble, D. (ed.) Second International Symposium on Spatial Data Handling, Seattle, Wash., pp. 583–599 (1986)

    Google Scholar 

  91. Frank, A.U., Raper, J., Cheylan, J.-P. (eds.): Life and Motion of Socio- Economic Units. ESF Series. Taylor & Francis, London (2000)

    Google Scholar 

  92. Frank, A.U., Raubal, M.: Formal specifications of image schemata - a step to interoperability in geographic information systems. Spatial Cognition and Computation 1(1), 67–101 (1999)

    Article  Google Scholar 

  93. Frank, A.U., Volta, G.S., McGranaghan, M.: Formalization of families of categorical coverages. IJGIS 11(3), 215–231 (1997)

    Article  Google Scholar 

  94. Franklin, W.: Cartographic errors symptomatic of underlying algebra problems. In: First International Symposium on Spatial Data Handling, Zürich, Switzerland, pp. 190–208 (1984)

    Google Scholar 

  95. Fraser, J.T. (ed.): The Voices of Time, 2nd edn. The University of Massachusetts Press, Amherst (1981)

    Google Scholar 

  96. Freksa, C.: Qualitative spatial reasoning. In: Mark, D.M., Frank, A.U. (eds.) Cognitive and Linguistic Aspects of Geographic Space. NATO ASI Series D: Behavioural and Social Sciences, pp. 361–372. Kluwer Academic Press, Dordrecht (1991)

    Google Scholar 

  97. Galton, A.: Towards a qualitative theory of movement. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 377–396. Springer, Heidelberg (1995)

    Google Scholar 

  98. Galton, A.: Continuous change in spatial regions. In: Frank, A.U. (ed.) COSIT 1997. LNCS, vol. 1329, pp. 1–14. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  99. Giblin, R.: Graphs, Surfaces and Homology. Mathematics Series. Chapman and Hall, London (1977)

    MATH  Google Scholar 

  100. Gibson, J.: The ecological approach to visual perception. Erlbaum, Hillsdale (1979)

    Google Scholar 

  101. Goguen, J.: An introduction to algebraic semiotics, with applications to user interface design. In: Nehaniv, C.L. (ed.) CMAA 1998. LNCS (LNAI), vol. 1562, pp. 242–291. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  102. Goodchild, M.: Geographical data modeling. Computers and Geosciences 18(4), 401–408 (1992)

    Article  Google Scholar 

  103. Goodchild, M.F., Egenhofer, M., Fegeas, R., Kottmann, C. (eds.): Interoperating Geographic Information Systems, Proceedings of Interop 1997, Santa Barbara, CA. Kluwer, Norwell (1998)

    Google Scholar 

  104. Gopnik, A., Meltzoff, A.N.: Words, Thoughts, and Theories. Learning, Development, and Conceptual Change. The MIT Press, Cambridge (1997)

    Google Scholar 

  105. Greene, D., Yao, F.: Finite-resolution computational geometry. In: 27th IEEE Symp. on Foundations of Computer Science, pp. 143–152. IEEE, Los Alamitos (1986)

    Google Scholar 

  106. Guarino, N.: Semantic matching: formal ontological distinctions for information organization, extraction, and integration. In: Pazienza, M.T. (ed.) Information Extraction: An Interdisciplinary Approach to an Emerging Information Technology, pp. 139–170. Springer, Heidelberg

    Google Scholar 

  107. Guarino, N.: Formal ontology, conceptual analysis and knowledge representation. In: Guarino, N., Poli, R. (eds.) International Journal of Human and Computer Studies. Special Issue on Formal Ontology, Conceptual Analysis and Knowledge Representation, vol. 43(5/6) (1995)

    Google Scholar 

  108. Guarino, N.: Formal ontology and information systems. In: Guarino, N. (ed.) Formal ontology in information systems, Proceedings of FOIS 1998, Trento, Italy, June 6-8, pp. 3–15. IOS Press, Amsterdam (1998)

    Google Scholar 

  109. Guarino, N., Welty, C.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) Proceedings of EKW-2000, 12th Int. Conference on Knowledge Engineering and Knowledge Management, October 2-6. LNCS (LNAI). Springer, Heidelberg (2000)

    Google Scholar 

  110. Guarino, N., Welty, C.: Identity, unity and individuation: towards a formal toolkit for ontological analysis. In: Horn, W. (ed.) ECAI-2000, The European Conference on Artificial Intelligence. IOS, Amsterdam (August 2000)

    Google Scholar 

  111. Guenther, O., Schulz, K.-P., Seggelke, J. (eds.): Umweltanwendungen geographischer Informationssystem. Wichmann, Karlsruhe (1992)

    Google Scholar 

  112. Gueting, R.: Second-order signature: a tool for specifying data models, query processing, and optimization. In: ACM Sigmod Conference, Washington, DC, pp. 277–286 (1993)

    Google Scholar 

  113. Hacking, I.: The Social Construction of What? Harvard University Press, Cambridge (1999)

    Google Scholar 

  114. Hägerstrand, T.: The propagation of innovation waves. Lund Studies in Geography, vol. B(4) (1952)

    Google Scholar 

  115. Hayes, P.J.: Naive physics I: Ontology for liquids. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World. Ablex Series in Artificial Intelligence, pp. 71–107. Ablex Publishing, Norwood (1985)

    Google Scholar 

  116. Hayes, P.J.: The second naive physics manifesto. In: Hobbs, J.R., Moore, R.C. (eds.) Formal Theories of the Commonsense World, pp. 1–36. Ablex Publishing Corp., Norwood (1985)

    Google Scholar 

  117. Herring, J., Egenhofer, M.J., Frank, A.U.: Using category theory to model GIS applications. In: Brassel, K. (ed.) 4th International Symposium on Spatial Data Handling, Zürich, Switzerland. IGU, Commission on Geographic Information Systems, vol. 2, pp. 820–829 (1990)

    Google Scholar 

  118. Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  119. Hölbling, W., Kuhn, W., Frank, A.U.: Finite-resolution simplicial complexes. GeoInformatica 2(3), 281–298 (1998)

    Article  Google Scholar 

  120. Hornsby, K., Egenhofer, M.J.: Qualitative representation of change. In: Frank, A.U. (ed.) COSIT 1997. LNCS, vol. 1329, pp. 15–33. Springer, Heidelberg (1997)

    Google Scholar 

  121. ICPR. Discussion at the international conference on the development and maintenance of property rights, vienna, January 12-15 (2000)

    Google Scholar 

  122. ISO. The international standardization organization web page (2000) http://www.iso.ch/infoe/text.htm

  123. Jackendoff, R.: Semantics and Cognition. MIT Press, Cambridge (1983)

    Google Scholar 

  124. Johnson, M.: The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason. University of Chicago Press, Chicago (1987)

    Google Scholar 

  125. Jones, M.: Qualified Types: Theory and Practice. Cambridge University Press, Cambridge (1994)

    Book  MATH  Google Scholar 

  126. Kent, W.: Data and Reality - Basic Assumptions in Data Processing Reconsidered. North-Holland, Amsterdam (1978)

    Google Scholar 

  127. Kripke, S.: Semantical analysis of modal logic. Zeitschrift fuer Mathematische Logik und Grundlagen der Mathematik 9, 67–96 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  128. Kuan, S.: Geodetic Network Analysis and Optimal Design. Ann Arbor Press, Chelsea (1996)

    Google Scholar 

  129. Kuipers, B.: A hierarchy of qualitative representations for space. In: Freksa, C., Habel, C., Wender, K.F. (eds.) Spatial Cognition 1998. LNCS (LNAI), vol. 1404, pp. 337–350. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  130. Lakoff, G.: Women, Fire, and Dangerous Things: What Categories Reveal About the Mind. University of Chicago Press, Chicago (1987)

    Google Scholar 

  131. Lakoff, G.: Cognitive semantics. In: Eco, U., Santambrogio, M., Violi, P. (eds.) Meaning and Mental Representations, pp. 119–154. Indiana University Press, Bloomington (1988)

    Google Scholar 

  132. Lakoff, G., Johnson, M.: Metaphors We Live By. University of Chicago Press, Chicago (1980)

    Google Scholar 

  133. Lenat, D.G., Guha, R.V., Pittman, K., Pratt, D., Shepherd, M.: CYC: Toward programs with common sense. Comm. ACM 33(8), 30–49 (1990)

    Article  Google Scholar 

  134. Lockemann, P., Mayr, H.: Rechnergestützte Informationssysteme. Springer, Berlin (1978)

    MATH  Google Scholar 

  135. Loeckx, J., Ehrich, H.-D., Wolf, M.: Specification of Abstract Data Types. John Wiley and B.G. Teubner, Chichester (1996)

    MATH  Google Scholar 

  136. MacLane, S., Birkhoff, G.: Algebra. Macmillan, New York (1967)

    MATH  Google Scholar 

  137. McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4, pp. 463–502. Edinburgh University Press, Edinburgh (1969)

    Google Scholar 

  138. McCoy, N., Berger, T.: Algebra: Groups, Rings and other Topics. Allyn and Bacon, London (1977)

    MATH  Google Scholar 

  139. Medak, D.: Lifestyles - A Paradigm for the Description of Spatiotemporal Databases. Ph.D. thesis, Technical University Vienna (1999)

    Google Scholar 

  140. Medak, D.: Lifestyles. In: Frank, A.U., Raper, J., Cheylan, J.-P. (eds.) Life and Motion of Socio-Economic Units. Taylor & Francis, London (2000)

    Google Scholar 

  141. Meixner, H., Frank, A.U.: GI policy - Study on policy issues relating to geographic information in europe. Final Report of a Project ”GI Policy” in the IMPACT Program, European Commission DG XIII (July 1997), ftp://ftp.echo.lu/pub/gi/gi_poli.zip

  142. Minsky, M.: The Society of Mind. Simon & Schuster, New York (1985)

    Google Scholar 

  143. Montello, D.: How significant are cultural differences in spatial cognition? In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 485–500. Springer, Heidelberg (1995)

    Google Scholar 

  144. Morrison, J.: The proposed standard for digital cartographic data. Amer. Cartographer 15(1), 9–140 (1988)

    Article  MathSciNet  Google Scholar 

  145. Mounsey, H., Tomlinson, R.F. (eds.): Building Databases for Global Science. In: Proceedings of the IGU Global Database Planning Project, Tylney Hall, Hampshire, UK, May 9-13. Taylor & Francis, London (1988)

    Google Scholar 

  146. Navratil, G.: An object-oriented approach to a model of a cadaster. M.Sc., Technical University of Vienna (1998)

    Google Scholar 

  147. Neumann von, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press, Princeton (1944)

    MATH  Google Scholar 

  148. Nutter, J.: Epistemology. In: Shapiro, S. (ed.) Encyclopedia of Artificial Intelligence. John Wiley & Sons, New York (1987)

    Google Scholar 

  149. OGC. The open GIS consortium web page, http://www.opengis.org (2000)

  150. OMG. The object management group web page, http://www.omg.com (2000)

  151. ONTEK. The ontek corporation web page, http://www.ontek.com/mikey/current.html (2000)

  152. Paiva, J.A.d.C., Egenhofer, M.J.: Robust inference of the flow direction in river networks. Algorithmica (to appear)

    Google Scholar 

  153. Paiva, J.A.d.C., Egenhofer, M.J., Frank, A.U.: Spatial reasoning about flow directions: Towards an ontology for river networks. In: Fritz, L., Lucas, J. (eds.) International Society for Photogrammetry and Remote Sensing. XVII Congress, Washington, D.C. International Archives of Photogrammetry and Remote Sensing, vol. 24/B3 Comission III, pp. 318–324 (1992)

    Google Scholar 

  154. Peterson, J., Hammond, K., Augustsson, L., Boutel, B., Burton, W., Fasel, J., Gordon, A.D., Hughes, J., Hudak, P., Johnsson, T., Jones, M., Meijer, E., Jones, S.P., Reid, A., Wadler, P.: The haskell 1.4 report (1997), http://haskell.org/report/index.html

  155. Peuquet, D., Smith, B., Brogaard, B.: The ontology of fields: Report of the specialist meeting held under the auspices of the varenius project, bar harbour, maine, June 1998. Technical report, NCGIA (1999)

    Google Scholar 

  156. Peyton Jones, S., Hughes, J., Augustsson, L.: Haskell 98: A non-strict, purely functional language (1999)

    Google Scholar 

  157. Pierce, B.C.: Basic Category Theory for Computer Scientists. Foundations of Computing. MIT Press, Cambridge (1991)

    Google Scholar 

  158. Pigot, S., Hazelton, B.: The fundamentals of a topological model for a fourdimensional GIS. In: Bresnahan, P., Corwin, E., Cowen, D. (eds.) Proceedings of the 5th International Symposium on Spatial Data Handling, Charleston. IGU Commission of GIS, vol. 2, pp. 580–591 (1992)

    Google Scholar 

  159. Protege. The protege project web page, http://www.smi.stanford.edu/projects/protege (2000)

  160. Randell, D.A., Cohn, A.: Modelling topological and metrical properties of physical processes. In: Brachmann, R., Levesque, H., Reiter, R. (eds.) First International Conference on the Principles of Knowledge Representation and Reasoning, pp. 55–66. Morgan-Kaufmann, Los Altos (1989)

    Google Scholar 

  161. Randell, D.A., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Brachmann, R., Levesque, H., Reiter, R. (eds.) Third International Conference on the Principles of Knowledge Representation and Reasoning, pp. 165–176. Morgan-Kaufmann, Los Altos (1992)

    Google Scholar 

  162. Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, M., Schmidt, L. (eds.) On Conceptual Modelling, Perspectives from Artificial Intelligence, Databases, and Programming Languages, pp. 191–233. Springer, New York (1984)

    Google Scholar 

  163. Reiter, R.: Knowledge in Action: Logical Foundations for Describing and Implementing Dynamical Systems (in preparation)

    Google Scholar 

  164. Rhoads, B.L.: Beyond pragmatism: The value of philosophical discourse for physical geography. The Annals of the Association of American Geographers 89(4), 760–771 (1999)

    Article  Google Scholar 

  165. Rosch, E.: Natural categories. Cognitive Psychology 4, 328–350 (1973)

    Article  Google Scholar 

  166. Rosch, E.: Principles of categorization. In: Rosch, E., Lloyd, B.B. (eds.) Cognition and Categorization. Erlbaum, Hillsdale (1978)

    Google Scholar 

  167. Rossmeissl, H.J., Rugg, R.D.: An approach to data exchange: The spatial data transfer standard. In: Johnson, A.I., Petterson, C.B., Fulton, J.L. (eds.) Geographic Information Systems (GIS) and Mapping – Practices and Standards, pp. 38–44. ASTM, Philadelphia (1992)

    Chapter  Google Scholar 

  168. Saussure de, F.: Cours linguistique generale. Payot & Rivages, Paris (1995)

    Google Scholar 

  169. Schneider, M.: Spatial Data Types for Database Systems. LNCS, vol. 1288. Springer, Heidelberg (1997)

    Google Scholar 

  170. Schreiber, F.A.: Is time a real time? An overview of time ontology in informatics. In: Halang, W.A., Stoyenko, A.D. (eds.) Real Time Computing, Heidelberg. NATO ASI Series (1994)

    Google Scholar 

  171. Searle, J.R.: Speech Acts. Cambridge University Press, Cambridge (1969)

    Google Scholar 

  172. Searle, J.R.: The Construction of Social Reality. The Free Press, New York (1995)

    Google Scholar 

  173. Simon, P.: Parts - A Study in Ontology. Clarendon Press, Oxford (1987)

    Google Scholar 

  174. Sinton, D.: The inherent structure of information as a constraint to analysis: Mapped thematic data as a case study. In: Dutton, G. (ed.) Harvard Papers on GIS, vol. 7. Addison-Wesley, Reading (1978)

    Google Scholar 

  175. Smith, B.: An essay in formal ontology. Grazer Philosophische Studien 6, 39–62 (1978)

    Google Scholar 

  176. Smith, B.: On drawing lines on a map. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 475–484. Springer, Heidelberg (1995)

    Google Scholar 

  177. Smith, B.: Mereotopology: A theory of parts and boundaries. Data and Knowledge Engineering 20, 287–303 (1996)

    Article  MATH  Google Scholar 

  178. Smith, B.: Basic concepts of formal ontolgy. In: Guarino, N. (ed.) Formal Ontology in Information Systems, pp. 19–28. IOS Press, Amsterdam (1998)

    Google Scholar 

  179. Smith, B.: Objects and their environments: from aristotle to ecological ontology. In: Frank, A.U., Raper, J., Cheylan, J.-P. (eds.) Life and Motion of Socio- Economic Units. ESF Series, Taylor & Francis, London (2000)

    Google Scholar 

  180. Smith, B.: Ontology: Philosophical and computational. In: Floridi, L. (ed.) The Blackwell Guide to the Philosophy of Computing and Information. Blackwell, Oxford (2003)

    Google Scholar 

  181. Smith, B., Brogaard, B.: Quantum mereotopology. In: Spatial and Temporal Granularity - Papers from the AAAI Workshop, vol. AAAI Technical Report WS-00-08, pp. 25–31. AAAI Press (2000)

    Google Scholar 

  182. Smith, B., Brogaard, B.: Sixteen days (2000)

    Google Scholar 

  183. Smith, B., Mulligan, K.: Framework for formal ontology. Topoi (2), 73–85 (1983)

    MathSciNet  Google Scholar 

  184. Smith, B., Searle, J.: The construction of social reality: An exchange. American Journal of Economics and Sociology 60 (2001)

    Google Scholar 

  185. Smith, H., Poulter, K.: The role of shared ontology in XML-based trading architectures. Communications of the ACM, Special Issue on Agent Software (1999)

    Google Scholar 

  186. Snodgrass, R.: Temporal databases: Status and research directions. SIGMOD RECORD 19(4), 83–89 (1990)

    Article  Google Scholar 

  187. Snodgrass, R.: Temporal databases. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 22–64. Springer, Heidelberg (1992)

    Google Scholar 

  188. Stell, J.G.: A lattice theoretic account of spatial regions (1997)

    Google Scholar 

  189. Stevens, S.S.: On the theory of scales of measurement. Science 103(2684), 677–680 (1946)

    Article  Google Scholar 

  190. Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R.: Temporal Databases. Benjamin Cummings, Redwood City (1993)

    Google Scholar 

  191. Tarski, A.: Introduction to Logic and to the Methodology of Deductive Sciences. Dover Publications, Mineola (1995)

    Google Scholar 

  192. Thompson, S.: Haskell - The Craft of Functional Programming. International Computer Science Series. Addison-Wesley, Harlow (1996)

    Google Scholar 

  193. Timpf, S.: Hierarchical Structures in Map Series. PhD, Technical University Vienna (1998)

    Google Scholar 

  194. Timpf, S., Volta, G., Pollock, D., Egenhofer, M.J.: A conceptual model of wayfinding using multiple levels of abstractions. In: Frank, A.U., Formentini, U., Campari, I. (eds.) GIS 1992. LNCS, vol. 639, pp. 348–367. Springer, Heidelberg (1992)

    Google Scholar 

  195. Tomlin, C.D.: Digital Cartographic Modeling Techniques in Environmental Planning. Doctoral dissertation, Yale Graduate School, Division of Forestry and Environmental Studies (1983)

    Google Scholar 

  196. Tomlin, C.D.: Geographic Information Systems and Cartographic Modeling. Prentice Hall, New York (1990)

    Google Scholar 

  197. Turner, M.: The Literary Mind. Oxford University Press, New York (1996)

    Google Scholar 

  198. Tversky, B.: Spatial perspectives in descriptions. In: Bloom, P., Peterson, A., Nadel, L., Garrett, M. (eds.) Language and Space - Language, Speech, and Communciation. MIT Press, Cambridge (1996)

    Google Scholar 

  199. Vckovski, A., Brassel, K.E., Scheck, H.-J. (eds.): INTEROP 1999. LNCS, vol. 1580. Springer, Heidelberg (1999)

    Google Scholar 

  200. Vckovski, A., Bucher, F.: Virtual data sets - Smart data for environmental applications, December 1995 (1998)

    Google Scholar 

  201. Vieu, L.: A logical framework for reasoning about space. In: Campari, I., Frank, A.U. (eds.) COSIT 1993. LNCS, vol. 716, pp. 25–35. Springer, Heidelberg (1993)

    Google Scholar 

  202. Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925. Springer, Heidelberg (1995)

    Google Scholar 

  203. Weiss, G.: Multi-Agent Systems: A Modern Approach to Distributed Artificial Intelligence. The MIT Press, Cambridge (1999)

    Google Scholar 

  204. Wierzbicka, A.: Semantics - Primes and Universals. Oxford University Press, Oxford (1996)

    Google Scholar 

  205. Worboys, M.: A model for spatio-temporal information. In: Bresnahan, P., Corwin, E., Cowen, D. (eds.) Proceedings of the 5th International Symposium on Spatial Data Handling, vol. 2, pp. 602–611. Charleston (1992) IGU Commission of GIS

    Google Scholar 

  206. Zaniolo, C., Lockemann, P.C., Scholl, M.H., Grust, T. (eds.): EDBT 2000. LNCS, vol. 1777. Springer, Heidelberg (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University of Vienna, Austria

    Andrew U. Frank

Authors
  1. Andrew U. Frank
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for the Management of Information Systems (R.C. “Athena”), Athens, Hellas

    Timos K. Sellis

  2. National and Kapodistrian University of Athens, Greece

    Manolis Koubarakis

  3. Dept. of Geoinformation Technical University of Vienna A-1040, Vienna, Austria

    Andrew Frank

  4. INRIA-LIAMA Institute of Automation, Beijing, China

    Stéphane Grumbach

  5. LG Datenbanksysteme für neue Anwendungen, FB Informatik, Fernuniversität Hagen, D-58084, Hagen, Germany

    Ralf Hartmut Güting

  6. Informatics and Mathematical Modelling, Technical University of Denmark, 2800, Lyngby, Denmark

    Christian Jensen

  7. Informatics Laboratory, Agricultural University of Athens, Iera Odos 75, GR 11855, Athens, Greece

    Nikos A. Lorentzos

  8. Data Engineering Research Lab. Department of Informatics, Aristotle University, 54124, Thessaloniki, Greece

    Yannis Manolopoulos

  9. NESTOR – Multimedia services security and certification Laboratory, University of Rome “Tor Vergata”, Italy

    Enrico Nardelli

  10. Politecnico di Milano, Italy

    Barbara Pernici

  11. Institute of Science and Technology, University of Manchester, United Kingdom

    Babis Theodoulidis

  12. Research Academic Computer Technology Institute, Akteou 11, 11851, Athens, Greece

    Nectaria Tryfona

  13. Professor Emeritus of the Swiss Federal Institute of Technology (ETH), Zurich, Switzerland

    Hans-Jörg Schek

  14. Cedric, Conservatoire National des Arts et Métiers, 75141, Paris Cedex 03, France

    Michel O. Scholl

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Frank, A.U. (2003). Chapter 2: Ontology for Spatio-temporal Databases. In: Sellis, T.K., et al. Spatio-Temporal Databases. Lecture Notes in Computer Science, vol 2520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45081-8_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45081-8_2

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation