Abstract
Standard theories in mereotopology focus on relations of parthood and connection among spatial or spatio-temporal regions. Objects or processes which might be located in such regions are not normally directly treated in such theories. At best, they are simulated via appeal to distributions of attributes across the regions occupied or by functions from times to regions. The present paper offers a richer framework, in which it is possible to represent directly the relations between entities of various types at different levels, including both objects and the regions they occupy. What results is a layered mereotopology, a theory which can handle multiple layers (analogous to the layers of a lasagna) of spatially or spatiotemporally coincident but mereologically non-overlapping entities.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Asher, N., Vieu, L.: Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. In: Proceedings of IJCAI 1995, pp. 846–852. Morgan Kaufmann, San Mateo (1995)
Bennett, B.: Space, Time, Matter, and Things. In: (Welty and Smith), pp. 105–116
Bennett, B.: A Categorical Axiomatization of Region-Based Geometry. Fundamenta Informaticae 46(1-2), 145–158 (2001a)
Bittner, T.: The Qualitative Structure of Built Environments. Fundamenta Informaticae 46, 97–128 (2001)
Bittner, T., Smith, B.: A Theory of Granular Partitions. In: Duckham, M., Goodchild, M.F., Worboys, M.F. (eds.) Foundations of Geographic Information Science, pp. 117–151. Taylor & Francis, London (2002)
Casati, R., Varzi, A.C.: Holes and Other Superficialities. MIT Press, Cambridge (1994)
Casati, R., Varzi, A.C.: Parts and Places. The Structures of Spatial Representation. MIT Press, Cambridge (1999)
Asher, N., Vieu, L.: Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. In: Proceedings of IJCAI 1995, pp. 846–852. Morgan Kaufmann, San Mateo (1995)
Cohn, A.G.: Formalizing Bio-Spatial Knowledge. In: (Welty and Smith), pp. 198–209 (2001)
Cohn, A.G., Hazarika, S.M.: Continuous Transitions in Mereotopology. In: Commonsense 2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning (2001)(to appear)
Cohn, A.G., Varzi, A.C.: Connection Relations in Mereotopology. In: Prade, H. (ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), pp. 150–154. Wiley, New York (1998)
Cui, Z., Cohn, A.G., Randell, D.A.: Qualitative Simulation Based on a Logical Formalism of Space and Time. In: Proceedings of AAAI 1992 (1992)
Donnelly, M.: Layered Mereotopology. In: IJCAI 2003 (2003)Forthcoming
Gotts, N.M., Gooday, J.M., Cohn, A.G.: A Connection Based Approach to Commonsense Topological Description and Reasoning. The Monist 79, 51–75 (1996)
Grenon, P., Smith, B.: SNAP and SPAN. A Prolegomena to Geodynamic Ontology. IFOMIS Technical Report, University of Leipzig (2003)
Mark, D.M., Turk, A.: Landscape Categories in Yindjibarndi: Ontology, Environment, and Language. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol. 2825, pp. 28–45. Springer, Heidelberg (2003)
Schulz, S., Hahn, U.: Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies. In: (Welty and Smith), pp. 210–221 (2001)
Simons, P.M.: Parts: A Study in Ontology. Oxford University Press, Oxford (1987)
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)
Smith, B.: Mereotopology: A Theory of Parts and Boundaries. Data & Knowledge Engineering 20, 287–303 (1996)
Smith, B., Grenon, P.: The Cornucopia of Formal-Ontological Relations. Dialectica (2003) Forthcoming
Smith, B., Varzi, A.C.: Fiat and Bona Fide Boundaries. Philosophy and Phenomenological Research 60(2), 401–420 (2000)
Smith, B.: Fiat Objects. Topoi 20 (2), 131–148 (2001)
Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001). ACM Press, New York (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donnelly, M., Smith, B. (2003). Layers: A New Approach to Locating Objects in Space. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds) Spatial Information Theory. Foundations of Geographic Information Science. COSIT 2003. Lecture Notes in Computer Science, vol 2825. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39923-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-39923-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20148-9
Online ISBN: 978-3-540-39923-0
eBook Packages: Springer Book Archive