Skip to main content
SpringerLink
Log in

Towards a Mathematical Theory for Snapshot and Temporal Formal Ontologies

  • Chapter
Book cover The European Information Society

Part of the book series: Lecture Notes in Geoinformation and Cartography ((LNGC))

Abstract

In order to achieve interoperability of GIS, the meaning of the data must be expressed in a compatible description. Formal methods to describe the ontology of data are increasingly used, but the detail of their definitions are debated. In this paper I investigate the mathematical structure of formal ontologies as they are the background for ontology languages like OWL, which are increasingly used in GIS. I separate formal aspects of the ontology languages from possible interpretations of the formulae in light of philosophical position. The paper gives formal description of a static and a temporal formal ontology. This clarifies what are assumptions (i.e., ontological commitments) and what are consequences of these. A formalized treatment leads to a consistent formal ontology and is the precondition for the integration of ontological descriptions of geographic data. The analysis shows that most of the important restrictions in ontologies can be expressed only in a temporal ontology and they are often related to the question, which processes are included in the temporal ontology.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

  • Abler, R., J. S. Adams and P. Gould (1971). Spatial Organization The Geographer’s View of the World. Englewood Cliffs, N.J., USA, Prentice Hall.

    Google Scholar 

  • Barrera, R., M. J. Egenhofer and A. U. Frank (1992). Robust Evaluation of Spatial Queries. 5th International Symposium on Spatial Data Handling, Charleston, South Carolina, USA, IGU Commision on GIS.

    Google Scholar 

  • Beard, M. K., B. P. Buttenfield and S. B. Clapham (1991). NCGIA Research Initiative 7 Visualization of Spatial Data Quality. NCGIA Technical Paper, National Center for Geographic Information and Analysis

    Google Scholar 

  • Bennett, B. (2001). Sapce, Time, Matter and Things. Proceedings of the 2nd international conference on Formal Ontology in Information Systems (FOIS’01), Ogunquit, Maine, USA, ACM.

    Google Scholar 

  • Bittner, T. and M. Donnelly (2006). A Theory of Granular Parthood Based on Qualitative Cardinality and Size Measures. International Conference on Formal Ontology in Information Systems FOIS-04, Turin, IOS Press.

    Google Scholar 

  • Bittner, T., M. Donnelly and B. Smith (2004). Individuals, Universals, Collections: On the Foundational Relations of Ontology Third Conference on Formal Ontology in Information Systems FOIS-04, Turin, IOS Press.

    Google Scholar 

  • Fonseca, F. T., M. J. Egenhofer, P. Agouris and G. Camara (2002).“Using Ontologies for Integrated Geographic Information Systems.”; Transactions in GIS6(3): 231–57

    Article  Google Scholar 

  • Frank, A. U. (2006). Distinctions Produce a Taxonomic Lattice: Are These the Units of Mentalese? International Conference on Formal Ontology in Information Systems, Baltimore, Maryland, IOS Press.

    Google Scholar 

  • Frank, A. U., G. S. Volta and M. McGranaghan (1997). “Formalization of Families of Categorical Coverages”. IJGIS 11(3): 215–231.

    Google Scholar 

  • Galton, A., Ed. (1987). Temporal Logics and Their Applications. San Diego, CA, USA, Academic Press.

    Google Scholar 

  • Gangemi, A., N. Guarino, C. Masolo, A. Oltramari and L. Schneider (2002). Sweetening Ontologies with DOLCE. EKAW 2002.

    Google Scholar 

  • Gardenfors, P. (2000). Conceptual Spaces, MIT Press.

    Google Scholar 

  • Gill, A. (1976). Applied Algebra for the Computer Sciences. Englewood Cliffs, NJ, Prentice-Hall.

    Google Scholar 

  • Grenon, P. (2003). BFO in a Nutshell: A Bi-categorial Axiomatization of BFO and Comparison with DOLCE, IIFOMIS.

    Google Scholar 

  • Grenon, P., B. Smith and L. Goldberg (2004). Biodynamic Ontology: Applying BFO in the Biomedical Domain. Ontologies in Medicine. D. M. Pisanelli. Amsterdam, IOS Press: 20–38.

    Google Scholar 

  • Guarino, N. and C. Welty (2000). A Formal Ontology of Properties. Proceedings of EKW-2000, 12th Int. Conference on Knowledge Engineering and Knowledge Management (2–6 October, 2000). R. Dieng and O. Corby. Berlin Heidelberg, Springer-Verlag.

    Google Scholar 

  • Husserl (1900/01). Logische Untersuchungen. Halle, M. Niemeyer.

    Google Scholar 

  • Krötzsch, M., P. Hitzler, M. Ehrig and Y. Sure (2005). Category Theory in Ontology Research: Concrete Gain from an Abstruct Approach. Karlsruhe, Germany, Institut AIFB, Universitat Karlsruhe: 6.

    Google Scholar 

  • Kusnierczyk, W. (2006). Nontological Engineering. International Conference on Formal Ontology in Information Systems, Baltimore, Maryland, IOS Press.

    Google Scholar 

  • Masolo, C, S. Borgo, A. Gangemi, N. Guarino and A. Oltramari (2003). Wonder Web Deliverable D18 (Ontology Library). Trento, Italy, Laboratory For Applied Ontology-ISTC-CNR: 247.

    Google Scholar 

  • McGuinness, D. and F. van Harmelen. (2006). “OWL Web Ontology Language Overview”. from http://www.w3.org/TR/owl-features/.

  • OGC (1998). OpenGIS Simple Features Specification for SQL. Wayland, MA, Open GIS Consortium.

    Google Scholar 

  • Priss, U. (2006). “Formal Concept Analysis in Information Science”. Annual Review of Information Science and Technology 40: 521–543.

    Article  Google Scholar 

  • Riedemann, C. and W. Kuhn (1999). What are Sports Grounds? Or: Why Semantics Requires Interoperability. Interoperating Geographic Information Systems (Interop’99, Zurich). A. Vckovski, K. E. Brassel and H.-J. Schek. Berlin, Springer-Verlag. 1580: 217–230.

    Article  Google Scholar 

  • Sellis, T. and e. al., Eds. (2003). Spatiotemporal Databases: The Chorochronos Approach. Lecture Notes in Computer Science. Berlin, Springer-Verlag.

    Google Scholar 

  • Shoham, Y. (1988). Reasoning about Change. Cambridge, Mass., The MIT Press.

    Google Scholar 

  • Simons, P. (1987). Parts-A Study in Ontology. Oxford, Clarendon Press.

    Google Scholar 

  • Smith, B. (1998). The Basic Tools of Formal Ontology. Formal Ontology in Information Systems. N. Guarino, IOS Press: 19–28.

    Google Scholar 

  • Smith, B. (2006). Against Idiosyncrasy in Ontology Development. International Conference on Formal Ontology in Information Systems, Baltimore, Maryland, IOS Press.

    Google Scholar 

  • Smith, B. and P. Grenon (2004). “SNAP and SPAN: Towards Dynamic Spatial Ontology”. Spatial Cognition and Computing(4): 69–103.

    Google Scholar 

  • Sowa, J. F. (1995). “Top-Level Ontological Categories”. International Journal of Human-Computer Studies 43 (5–6): 669–685.

    Article  Google Scholar 

  • Sowa, J. F. (2006). A Dynamic Theory of Ontology. International Conference on Formal Ontology in Information Systems, Baltimore, Maryland, IOS Press.

    Google Scholar 

  • Sumo. (2003). “Overview of the Sumo”. Retrieved 11.03., 2003.

    Google Scholar 

  • Wille, R. (2000). Boolean Concept Logic. Conceptual Structures: Logical, Linguistic and Computational Issues. B. Ganter and G. Mineau. Berlin-Heidelberg-New York, Springer. LNAI 1867: 317–331.

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Geoinformation, TU Wien, 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. Department of Geography, University of Zürich, Winterthurerstr. 190, CH-8057, Zürich, Switzerland

    Sara Irina Fabrikant

  2. Wageningen UR Centre for Geo-Information, Droevendaalsesteeg 3, 6708 PB, Wageningen, The Netherlands

    Monica Wachowicz

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Frank, A.U. (2007). Towards a Mathematical Theory for Snapshot and Temporal Formal Ontologies. In: Fabrikant, S.I., Wachowicz, M. (eds) The European Information Society. Lecture Notes in Geoinformation and Cartography. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72385-1_19

Download citation

Publish with us

Policies and ethics

Search

Navigation