Layers: A new approach to locating objects in space

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

Volumn 2825, Issue , 2003, Pages 46-60

  Donnelly, Maureen ^a   Smith, Barry ^a,b  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY AT BUFFALO   (United States)

Author keywords

Dynamic GIS; Map layers; Mereology; Mereotopology; Ontology; Qualitative spatial reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS; ONTOLOGY;

MEREOLOGY; MEREOTOPOLOGY; MULTIPLE LAYERS; NEW APPROACHES; QUALITATIVE SPATIAL REASONING; SPATIO TEMPORAL; STANDARD THEORIES;

INFORMATION THEORY;

EID: 7544232514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39923-0_4     Document Type: Article

References (24)

1. (Asher and Vieu, 1995) N. Asher and L. Vieu. Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. Proceedings of IJCAI '95, 846-852, San Mateo, CA: Morgan Kaufmann.
2. (Bennett, 2001) B. Bennett. Space, Time, Matter, and Things. In (Welty and Smith), 105-116.
3. (Bennett, 2001a) B. Bennett. A Categorical Axiomatization of Region-Based Geometry. Fundamenta Informaticae 46, 1-2, 145-158.
4. (Bittner 2001) T. Bittner. The Qualitative Structure of Built Environments. Fundamenta Informaticae, 46, 97-128.
5. (Bittner and Smith, 2002) T. Bittner and B. Smith. A Theory of Granular Partitions. Foundations of Geographic Information Science, M. Duckham, M. F. Goodchild and M. F. Worboys, eds., London: Taylor & Francis, 117-151
6. (Casati and Varzi, 1994) R. Casati and A. C. Varzi. Holes and Other Superficialities. Cambridge, MA: MIT Press.
7. (Casati and Varzi, 1999) R. Casati and A. C. Varzi. Parts and Places. The Structures of Spatial Representation, Cambridge, MA: MIT Press.
8. (Casati, Smith and Varzi 1998) R. Casati, B. Smith and A. C. Varzi. Ontological Tools for Geographic Representation. In: N. Guarino (ed.), Formal Ontology in Information Systems, Amsterdam: IOS Press, 77-85.
9. (Cohn, 2001) A. G. Cohn. Formalizing Bio-Spatial Knowledge. In (Welty and Smith) 198-209.
10. (Cohn and Hazarika 2001) A. G. Cohn and S. M. Hazarika. Continuous Transitions in Mereotopology. In Commonsense 2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning (to appear).
11. (Cohn and Varzi, 1998) A. G. Cohn and A. C. Varzi. Connection Relations in Mereotopology. In H. Prade (Ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI '98), 150-154, New York: Wiley.
12. (Cui et al., 1992) Z. Cui, A. G. Cohn, D. A. Randell. Qualitative Simulation Based on a Logical Formalism of Space and Time. Proceedings of AAAI-92.
13. (Donnelly, 2003) M. Donnelly, Layered Mereotopology, forthcoming in IJCAI 2003.
14. (Gotts et al., 1996) N. M. Gotts, J. M. Gooday, and A. G. Cohn. A Connection Based Approach to Commonsense Topological Description and Reasoning. The Monist, 79: 51-75, 1996.
15. (Grenon and Smith, 2003) P. Grenon and B. Smith. SNAP and SPAN. A Prolegomena to Geodynamic Ontology. IFOMIS Technical Report, University of Leipzig.
16. (Mark and Turk, 2003) D. M. Mark and A. Turk. Landscape Categories in Yindjibarndi: Ontology, Environment, and Language (in this volume).
17. (Schulz and Hahn, 2001) S. Schulz and U. Hahn. Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies. In (Welty and Smith), 210-221.
18. (Simons, 1987) P. M. Simons. Parts: A Study in Ontology. Oxford: Oxford University Press.
19. (Smith, 1995) B. Smith. On Drawing Lines on a Map. In: A. U. Frank and W. Kuhn (eds.), Spatial Information Theory. A Theoretical Basis for GIS (Lecture Notes in Computer Science 988), Berlin/Heidelberg/New York, etc.: Springer, 475-484.
20. (Smith, 1996) B. Smith. Mereotopology: A Theory of Parts and Boundaries. Data & Knowledge Engineering. 20:287-303.
21. (Smith and Grenon, 2003) B. Smith and P. Grenon. The Cornucopia of Formal-Ontological Relations. Forthcoming in Dialectica.
22. (Smith and Varzi, 2000) B. Smith and A. C. Varzi. Fiat and Bona Fide Boundaries. Philosophy and Phenomenological Research, 60: 2, 401-420.
23. (Smith, 2001) B. Smith, Fiat Objects, Topoi, 20: 2, 131-148.
24. (Welty and Smith, 2001) Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001), New York: ACM Press.