SNAP and SPAN: Towards dynamic spatial ontology

Spatial Cognition and Computation

Volumn 4, Issue 1, 2004, Pages 69-104

  Grenon, Pierre ^a   Smith, Barry ^a,b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

Dynamic GIS; Objects vs. fields; Ontology; Processes; Spatial reasoning

Indexed keywords

DYNAMIC FEATURES; DYNAMIC SPATIAL; MODULAR ONTOLOGIES; OBJECTS VS. FIELDS; PROCESSES; SPATIAL ONTOLOGIES; SPATIAL REASONING; SPATIO-TEMPORAL REASONING;

ONTOLOGY;

EID: 84875980281     PISSN: 13875868     EISSN: 15427633     Source Type: Journal    
DOI: 10.1207/s15427633scc0401_5     Document Type: Article

References (61)

1. Armstrong, D. M. (1978). Universals and scientific realism. Cambridge, England: Cambridge University Press.
2. Barker, R. G. & Associates (1978). Habitats, environments, and human behavior. San Francisco: Jossey-Bass Publishers.
3. Bennett, B. (2001). Space, time, matter and things. In C. Welty & B. Smith (Eds.), Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS. 01), (pp. 105.116). Ogunquit, New York: ACM.
4. Bennett, B. (2002). Physical objects, identity and vagueness. In D. Fensel, D. McGuinness, & M.-A. Williams (Eds.), Principles of knowledge representation and reasoning: Proceedings of the Eighth International Conference (KR 2002). San Francisco: Morgan Kaufmann.
5. Bittner, T., & Smith, B. (2002). A theory of granular partitions. In M. Duckham, M. Goodchild, & M. Worboys (Eds.), Foundations of geographic information science. (pp. 117-151). London: Taylor & Francis Books.
6. Brentano, F. (1987). Philosophical investigations on space, time and the continuum, (B. Smith, Trans.). London: Croom Helm. (Original work published in 1976).
7. Campbell, K. (1990). Abstract particulars. Cambridge, MA: Basil Blackwell.
8. Casati, R., Smith. B., & Varzi, A. C. (1998). Ontological tools for geography. In N. Guarino (Ed.), Formal ontology in information systems, (pp. 77-85). Amsterdam: IOS.
9. Casati, R. & Varzi, A. C. (1994). Holes and other superficialities. Cambridge, MA: MIT Press.
10. Casati, R. & Varzi, A. C. (1996). The structure of spatial localization. Philosophical Studies, 82, 205.239.
11. Casati, R. & Varzi, A. C. (1999). Parts and places: The structures of spatial representation. Cambridge, MA: MIT. Press.
12. Chisholm, R. M. (1989). On metaphysics. Minneapolis: University of Minnesota Press.
13. Cohn, A. G., Bennett, B., Gooday, J. M. & Gotts, N.M. (1997). Representing and reasoning with qualitative spatial relations about regions. In O. Stock (Ed.), Temporal and spatial reasoning. Dordrecht: Kluwer.
14. Cohn, A. G. & Hazarika, S. (2001a). Qualitative spatial representation and reasoning: An overview. Fundamenta Informaticae, 46, 1.29.
15. Cohn, A. G. & Hazarika, S. (2001b). Spatio-Temporal Continuity in Geographic Space. Meeting on Fundamental Questions in Geographical Information Science, Manchester, England, July, 2001.
16. Cohn, A. G. & Varzi, A. C. (2003). Mereotopological connection. Journal of Philosophical Logic, 32, 357.390.
17. Couclelis, H. (1992). People manipulate objects (but cultivate fields): Beyond the raster-vector debate in GIS. In A. U. Frank, I. Campari, & U. Formentini, (Eds.), Theories and methods of spatio-temporal reasoning in geographic space (pp. 65-77). Berlin: Springer-Verlag.
18. Egenhofer, M. & Mark, D. (1995). Naive geography. In A. Frank & W. Kuhn (Eds.). Spatial information theory: A theoretical basis for GIS, COSIT. 95, Vol. 988 Lecture Notes in Computer Science, (pp. 1-15). Berlin: Springer.
19. Frank, A. U. (2003). Ontology for spatio-temporal databases. In M. Koubarakis, et al. (Eds.), Spatiotemporal databases: The chorochronos approach (Lecture Notes in Computer Science 2520), Berlin, Springer-Verlag
20. Frank, A. U., Raper, J., & Cheylan, J-P. (Eds.) (2001). Life and motion of socioeconomic units (GISDATA Series 8), London: Taylor & Francis.
21. Galton, A. C. (2000). Qualitative spatial change. Oxford: Oxford University Press.
22. Galton, A. C. (2001). Space, time, and the representation of geographical reality. Topoi, 20, 173.187.
23. Galton, A.C. (2003). Desiderata for a spatio-temporal geo-ontology. In W. Kuhn, M. F. Worboys, & S. Timpf, (Eds.), Spatial information theory: Foundations of geographic information science, COSIT 2003, Vol 2825 Lecture Notes in Computer Science (pp. 1-12). Berlin: Spinger.
24. Grenon, P. (2003a). Knowledge management from the ontological standpoint. In Proceedings of the WM 2003 Workshop on Knowledge Management and Philosophy (CEUR Workshop Proceedings), April 2003, Luzern, Switzerland. Retrieved October 2003 from ceur-ws/Vol-85/grenon. pdf.
25. Grenon, P. (2003b). The ontology of spatio-temporal reality and its formalization. In H. W. Guesgen, D. Mitra, & J. Renz (Eds.), Foundations and applications of spatio-temporal reasoning (FASTR), AAAI Spring Symposium Technical Reports Series (pp. 27-34). AAAI Press.
26. Grenon, P. (2003c). Spatiotemporality in basic formal ontology: SNAP and SPAN, upper-level ontology and framework for formalization. IFOMIS Technical Report Series. Retrieved November 2003 from http://ifomis.de.
27. Grenon, P. & Johansson, I. (2003). A formalization of the peculiarities of Aristotelian universals. Manuscript.
28. Guarino, N. (1998). Formal ontology and information systems. In N. Guarino, (Ed.), Proceedings of the 1st International Conference on Formal Ontologies in Information Systems, FOIS'98, Trento, Italy, (pp. 3-5). Amsterdam: IOS.
29. Hornsby, K. (2001). Temporal zooming. Transactions in GIS, 5, 255.272.
30. Hornsby, K. & Egenhofer, M. (2000). Identity-based change: A foundation for spatio-temporal knowledge representation. International Journal of Geographical Information Science, 14, 207.224.
31. Hornsby, K. & Egenhofer, M. (2002). Modeling moving objects over multiple granularities. Annals of Mathematics and Artificial Intelligence, 36, 177.194.
32. Husserl, E. (1970). Logical Investigations (J. N. Findlay, Trans.). London: Routledge and Kegan Paul. (Original work published in 1913).
33. Ingarden, R. (1964). Time and modes of being. Springfield, IL: Charles C. Thomas.
34. Johansson, I. (2000). Determinables as universals. The Monist, 83, 101.121.
35. Lewin, K. (1922). Der Begriff der Genese in Physik, Biologie und Entwicklungsgeschichte. Eine Untersuchung zur vergleichenden Wissenschaftslehre. Berlin: Borntraeger.
36. Lewis, D. (1983). New work for a theory of universals. Australasian Journal of Philosophy, 61, 343.77.
37. Loux, M. J. (1979). The possible and the actual. Ithaca, NY: Cornell University Press.
38. Lowe, E. J. (1998). The possibility of metaphysics: Substance, identity, and time. Oxford, England: Oxford University Press.
39. Lowe, E. (2002). A survey of metaphysics. Oxford: Oxford University Press.
40. Peuquet, D. J., Smith, B., & Brogaard, B. (1999). The ontology of fields (Report of a Specialist Meeting, National Center for Geographic Information and Analysis). Retrieved from http://www.ncgia.ucsb.edu/Publications/Varenius_ Reports/Ontology_of_Fields.pdf.
41. Quine, W. V. O. (1960). Word and object. Cambridge, MA: MIT Press.
42. Rosse, C. & Mejino, J. L. V. (in press). A Reference ontology for bioinformatics: The foundational model of anatomy. Journal of Biomedical Informatics.
43. Sider, T. (2001). Four-dimensionalism: An ontology of persistence and time. Oxford: Clarendon Press.
44. Simons, P. (1987). Parts: A study in ontology. Oxford: Clarendon Press.
45. Simons, P. (1994). Particulars in particular clothing: Three trope theories of substance. Philosophy and Phenomenological Research, 65, 553.575.
46. Smith, B. (1995). On drawing lines on a map. In A. U. Frank, & W. Kuhn, (Eds.), Spatial information theory: A theoretical basis for GIS (Lecture Notes in Computer Science, 988 pp. 475-484). Berlin: Springer.
47. Smith, B. (1997). On substances, accidents and universals: In defence of a constituent ontology. Philosophical Papers 26, 105.127.
48. Smith, B. (2001a). Objects and their environments: From Aristotle to ecological ontology. In A. Frank, J. Raper, J.-P. Cheylan (Eds.), The life and motion of socio-economic units (GISDATA 8, pp. 79.97.). London: Taylor and Francis.
49. Smith, B. (2001b). Fiat objects. Topoi 20, 131.148.
50. Smith, B. (in press). Ontology and information science. Stanford Encyclopedia of Philosophy.
51. Smith, B. & Brogaard, B. (2003). Sixteen days. The Journal of Medicine and Philosophy, 28(1), 45.78.
52. Smith, B. & Grenon, P. (2003). The cornucopia of formal relations, Dialectica (in press).
53. Smith, B. & Mark, D. M. (1999). Ontology with human subjects testing: An empirical investigation of geographic categories. American Journal of Economics and Sociology 58, 245.272.
54. Smith, B. & Mark, D. M. (2003). Do mountains exist? Towards an ontology of landforms. Environment & Planning B (Planning and Design), 30, 411.427.
55. Smith, B. & Mulligan, K. (1982). Pieces of a theory. In B. Smith (Ed.). Parts and moments: Studies in logic and formal ontology (pp. 15.109). Munich, Germany: Philosophia.
56. Smith, B. & Varzi, A. C. (1999). The niche. Nous, 33,198.222.
57. Smith, B. & Varzi, A. C. (2000). Fiat and bona fide boundaries. Philosophy and Phenomenological Research, 60, 401.420.
58. Smith, B. & Varzi, A. C. (2002). Surrounding space: The ontology of organismenvironment relations. Theory in Biosciences, 121, 139.162.
59. Stroll, A. (1988). Surfaces. Minneapolis: University of Minnesota Press.
60. Worboys, M. F. (2001). Modelling changes and events in dynamic spatial systems with reference to socio-economic units. In A. Frank, J. Raper, J.-P. Cheylan (Eds.), The life and motion of socio-economic units (GISDATA 8) (pp. 129.137). London: Taylor and Francis.
61. Zemach, E. (1970). Four ontologies. The Journal of Philosophy, 47, 231.247.