{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:36:47Z","timestamp":1760708207193,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201489"},{"type":"electronic","value":"9783540399230"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39923-0_4","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:08:56Z","timestamp":1277698136000},"page":"46-60","source":"Crossref","is-referenced-by-count":5,"title":["Layers: A New Approach to Locating Objects in Space"],"prefix":"10.1007","author":[{"given":"Maureen","family":"Donnelly","sequence":"first","affiliation":[]},{"given":"Barry","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","first-page":"846","volume-title":"Proceedings of IJCAI 1995","author":"N. Asher","year":"1995","unstructured":"Asher, N., Vieu, L.: Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. In: Proceedings of IJCAI 1995, pp. 846\u2013852. Morgan Kaufmann, San Mateo (1995)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bennett, B.: Space, Time, Matter, and Things. In: (Welty and Smith), pp. 105\u2013116","DOI":"10.1145\/505168.505179"},{"issue":"1-2","key":"4_CR3","first-page":"145","volume":"46","author":"B. Bennett","year":"2001","unstructured":"Bennett, B.: A Categorical Axiomatization of Region-Based Geometry. Fundamenta Informaticae\u00a046(1-2), 145\u2013158 (2001a)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR4","first-page":"97","volume":"46","author":"T. Bittner","year":"2001","unstructured":"Bittner, T.: The Qualitative Structure of Built Environments. Fundamenta Informaticae\u00a046, 97\u2013128 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"4_CR5","first-page":"117","volume-title":"Foundations of Geographic Information Science","author":"T. Bittner","year":"2002","unstructured":"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\u2013151. Taylor & Francis, London (2002)"},{"key":"4_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R. Casati","year":"1994","unstructured":"Casati, R., Varzi, A.C.: Holes and Other Superficialities. MIT Press, Cambridge (1994)"},{"key":"4_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5253.001.0001","volume-title":"Parts and Places. The Structures of Spatial Representation","author":"R. Casati","year":"1999","unstructured":"Casati, R., Varzi, A.C.: Parts and Places. The Structures of Spatial Representation. MIT Press, Cambridge (1999)"},{"key":"4_CR8","first-page":"77","volume-title":"Formal Ontology in Information Systems","author":"R. Casati","year":"1998","unstructured":"Asher, N., Vieu, L.: Towards a Geometry of Commonsense: A Semantics and a Complete Axiomatization of Mereotopology. In: Proceedings of IJCAI 1995, pp. 846\u2013852. Morgan Kaufmann, San Mateo (1995)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Cohn, A.G.: Formalizing Bio-Spatial Knowledge. In: (Welty and Smith), pp. 198\u2013209 (2001)","DOI":"10.1145\/505168.505188"},{"key":"4_CR10","unstructured":"Cohn, A.G., Hazarika, S.M.: Continuous Transitions in Mereotopology. In: Commonsense 2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning (2001)(to appear)"},{"key":"4_CR11","first-page":"150","volume-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998)","author":"A.G. Cohn","year":"1998","unstructured":"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\u2013154. Wiley, New York (1998)"},{"key":"4_CR12","unstructured":"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)"},{"key":"4_CR13","unstructured":"Donnelly, M.: Layered Mereotopology. In: IJCAI 2003 (2003)Forthcoming"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"N.M. Gotts","year":"1996","unstructured":"Gotts, N.M., Gooday, J.M., Cohn, A.G.: A Connection Based Approach to Commonsense Topological Description and Reasoning. The Monist\u00a079, 51\u201375 (1996)","journal-title":"The Monist"},{"key":"4_CR15","unstructured":"Grenon, P., Smith, B.: SNAP and SPAN. A Prolegomena to Geodynamic Ontology. IFOMIS Technical Report, University of Leipzig (2003)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-39923-0_3","volume-title":"Spatial Information Theory. Foundations of Geographic Information Science","author":"D.M. Mark","year":"2003","unstructured":"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.\u00a02825, pp. 28\u201345. Springer, Heidelberg (2003)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Schulz, S., Hahn, U.: Mereotopological Reasoning about Parts and (W)Holes in Bio-Ontologies. In: (Welty and Smith), pp. 210\u2013221 (2001)","DOI":"10.1145\/505168.505189"},{"key":"4_CR18","volume-title":"Parts: A Study in Ontology","author":"P.M. Simons","year":"1987","unstructured":"Simons, P.M.: Parts: A Study in Ontology. Oxford University Press, Oxford (1987)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/3-540-60392-1_31","volume-title":"Spatial Information Theory","author":"B. Smith","year":"1995","unstructured":"Smith, B.: On Drawing Lines on a Map. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol.\u00a0988, pp. 475\u2013484. Springer, Heidelberg (1995)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0169-023X(96)00015-8","volume":"20","author":"B. Smith","year":"1996","unstructured":"Smith, B.: Mereotopology: A Theory of Parts and Boundaries. Data & Knowledge Engineering\u00a020, 287\u2013303 (1996)","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR21","unstructured":"Smith, B., Grenon, P.: The Cornucopia of Formal-Ontological Relations. Dialectica (2003) Forthcoming"},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"401","DOI":"10.2307\/2653492","volume":"60","author":"B. Smith","year":"2000","unstructured":"Smith, B., Varzi, A.C.: Fiat and Bona Fide Boundaries. Philosophy and Phenomenological Research\u00a060(2), 401\u2013420 (2000)","journal-title":"Philosophy and Phenomenological Research"},{"issue":"2","key":"4_CR23","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1017948522031","volume":"20","author":"B. Smith","year":"2001","unstructured":"Smith, B.: Fiat Objects. Topoi\u00a020 (2), 131\u2013148 (2001)","journal-title":"Topoi"},{"key":"4_CR24","unstructured":"Proceedings of the 2nd International Conference on Formal Ontology in Information Systems (FOIS 2001). ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory. Foundations of Geographic Information Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39923-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T08:37:09Z","timestamp":1740213429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39923-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201489","9783540399230"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39923-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}