{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T13:01:05Z","timestamp":1780664465144,"version":"3.54.1"},"reference-count":52,"publisher":"SAGE Publications","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2020,8,19]]},"DOI":"10.3233\/ao-200233","type":"journal-article","created":{"date-parts":[[2020,7,3]],"date-time":"2020-07-03T13:07:40Z","timestamp":1593781660000},"page":"251-311","source":"Crossref","is-referenced-by-count":3,"title":["CODI: A multidimensional theory of mereotopology with closure operations"],"prefix":"10.1177","volume":"15","author":[{"given":"Torsten","family":"Hahmann","sequence":"first","affiliation":[{"name":"Spatial Informatics, School of Computing and Information Science, University of Maine, Orono, ME 04469, USA. E-mail:\u00a0torsten@spatial.maine.edu"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"key":"10.3233\/AO-200233_ref1","unstructured":"Asher, N. & Vieu, L. (1995). Toward a geometry of common sense: A semantics and a complete axiomatization for mereotopology. In Int. Joint Conf. on Artif. Intell. (IJCAI-95) (pp. 846\u2013852)."},{"key":"10.3233\/AO-200233_ref2","unstructured":"Baumann, R., Loebe, F. & Herre, H. (2016). Towards an ontology of space for GFO. In Conf. on Formal Ontology in Inf. Systems (FOIS-16) (pp. 53\u201366)."},{"issue":"3","key":"10.3233\/AO-200233_ref3","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1305\/ndjfl\/1093635748","article-title":"Connection structures","volume":"32","author":"Biacino","year":"1991","journal-title":"Notre Dame J. of Formal Logic"},{"key":"10.3233\/AO-200233_ref4","unstructured":"Blumenthal, L. & Menger, K. (1970). Studies in Geometry. Freeman."},{"key":"10.3233\/AO-200233_ref5","unstructured":"Brentano, F. (1988). Philosophical Investigations on Space, Time, and the Continuum. Croom Helm."},{"issue":"1","key":"10.3233\/AO-200233_ref6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/AO-190205","article-title":"Water features and their parts","volume":"14","author":"Brodaric","year":"2019","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-200233_ref7","doi-asserted-by":"crossref","unstructured":"Casati, R. & Varzi, A.C. (1999). Parts and Places. MIT Press.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"issue":"3","key":"10.3233\/AO-200233_ref8","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1305\/ndjfl\/1093883455","article-title":"A calculus of individuals based on \u2018connection\u2019","volume":"22","author":"Clarke","year":"1981","journal-title":"Notre Dame J. of Formal Logic"},{"key":"10.3233\/AO-200233_ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11593-1_23"},{"issue":"3","key":"10.3233\/AO-200233_ref10","first-page":"149","article-title":"A comparison of methods for representing topological relationships","volume":"3","author":"Clementini","year":"1995","journal-title":"Information Sciences"},{"key":"10.3233\/AO-200233_ref11","doi-asserted-by":"crossref","unstructured":"Clementini, E., Di Felice, P. & van Oosterom, P. (1993). A small set of formal topological relationships suitable for end user interaction. In Symp. on Large Spatial Databases (SSD\u201993). LNCS (Vol.\u00a0692, pp. 277\u2013295). Springer.","DOI":"10.1007\/3-540-56869-7_16"},{"key":"10.3233\/AO-200233_ref12","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","article-title":"Qualitative spatial representation and reasoning with the Region Connection Calculus","volume":"1","author":"Cohn","year":"1997","journal-title":"GeoInformatica"},{"issue":"1\u20132","key":"10.3233\/AO-200233_ref13","first-page":"1","article-title":"Qualitative spatial representation and reasoning: An overview","volume":"46","author":"Cohn","year":"2001","journal-title":"Fund. Inform."},{"key":"10.3233\/AO-200233_ref14","unstructured":"Cohn, A.G. & Renz, J. (2008). Qualitative spatial representation and reasoning. In F. van Harmelen, V. Lifschitz and B. Porter (Eds.), Handbook of Knowledge Representation. Elsevier."},{"issue":"4","key":"10.3233\/AO-200233_ref15","first-page":"357","article-title":"Mereotopological connection","volume":"32","author":"Cohn","year":"2003","journal-title":"J. Symbolic Logic"},{"key":"10.3233\/AO-200233_ref16","doi-asserted-by":"crossref","unstructured":"Egenhofer, M.J. (1991). Reasoning about binary topological relations. In Symp. on Large Spatial Databases (SSD\u201991). LNCS (Vol.\u00a0525, pp. 141\u2013160). Springer.","DOI":"10.1007\/3-540-54414-3_36"},{"key":"10.3233\/AO-200233_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52208-5_32"},{"key":"10.3233\/AO-200233_ref19","unstructured":"Galton, A. (1996). Taking dimension seriously in qualitative spatial reasoning. In Europ. Conf. on Artif. Intell. (ECAI-96) (pp. 501\u2013505)."},{"key":"10.3233\/AO-200233_ref20","unstructured":"Galton, A. (2004). Multidimensional mereotopology. In KR\u201904: Principles of Knowledge Representation and Reasoning (pp. 45\u201354)."},{"key":"10.3233\/AO-200233_ref21","unstructured":"Gotts, N.M. (1996). Formalizing commonsense topology: The INCH calculus. In Int. Symp. on Artif. Intell. and Math. (pp. 72\u201375)."},{"key":"10.3233\/AO-200233_ref22","unstructured":"Gruninger, M., Chui, C. & Katsumi, M. (2017). Upper ontologies in COLORE. In Proc. of the Joint Ontology Workshops (JOWO 2017). CEUR Workshop Proceedings (Vol.\u00a02050)."},{"issue":"2","key":"10.3233\/AO-200233_ref23","doi-asserted-by":"publisher","first-page":"169","DOI":"10.3233\/AO-2012-0106","article-title":"Modular first-order ontologies via repositories","volume":"7","author":"Gr\u00fcninger","year":"2012","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-200233_ref25","unstructured":"Hahmann, T. (2018). On decomposition operations in a theory of multidimensional qualitative space. In S. Borgo, P. Hitzler and O. Kutz (Eds.), Int. Conf. on Formal Ontology in Information Systems (FOIS 2018). Frontiers in Artificial Intelligence and Applications (Vol.\u00a0306, pp. 173\u2013186)."},{"key":"10.3233\/AO-200233_ref26","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-084-0-45"},{"key":"10.3233\/AO-200233_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-01790-7_22"},{"key":"10.3233\/AO-200233_ref28","unstructured":"Hahmann, T. & Gr\u00fcninger, M. (2011a). Multidimensional mereotopology with betweenness. In Int. Joint Conf. on Artif. Intell. (IJCAI-11) (pp. 906\u2013911)."},{"key":"10.3233\/AO-200233_ref29","unstructured":"Hahmann, T. & Gr\u00fcninger, M. (2011b). A na\u00efve theory of dimension for qualitative spatial relations. In Symp. on Logical Formalizations of Commonsense Reasoning (CommonSense 2011). AAAI Press."},{"key":"10.3233\/AO-200233_ref30","unstructured":"Hahmann, T. & Gr\u00fcninger, M. (2012). Region-based theories of space: Mereotopology and beyond. In S.M. Hazarika (Ed.), Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions (pp. 1\u201362). IGI."},{"issue":"6","key":"10.3233\/AO-200233_ref31","doi-asserted-by":"publisher","first-page":"1138","DOI":"10.1080\/13658816.2018.1443751","article-title":"Using a hydro-reference ontology to provide improved computer-interpretable semantics for the groundwater markup language (GWML2)","volume":"32","author":"Hahmann","year":"2018","journal-title":"Int. J. Geogr. Inf. Sci."},{"key":"10.3233\/AO-200233_ref32","unstructured":"Hahmann, T. & Usery, E.L. (2015). What is in a contour map? A region-based logical formalization of contour semantics. In Conf. on Spatial Inf. Theory (COSIT-15). Springer."},{"key":"10.3233\/AO-200233_ref33","doi-asserted-by":"publisher","first-page":"1424","DOI":"10.1016\/j.artint.2009.07.001","article-title":"Stonian p-ortholattices: A new approach to the mereotopology R T 0","volume":"173","author":"Hahmann","year":"2009","journal-title":"Artif. Intell."},{"key":"10.3233\/AO-200233_ref37","unstructured":"Izadi, A., Hahmann, T., Guesgen, H.W. & Stock, K. (2019). Towards the modification of RCC*-9. In Proceedings of Adventures in GeoComputation (Geocomputation 2019), Sept. 18\u201321 2019, Queenstown, New Zealand."},{"key":"10.3233\/AO-200233_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34359-9_11"},{"key":"10.3233\/AO-200233_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87473-7_12"},{"key":"10.3233\/AO-200233_ref40","doi-asserted-by":"crossref","unstructured":"Kurata, Y. (2010). 9+-intersection calculi for spatial reasoning on the topological relations between heterogeneous objects. In Intern. Conf. on Advances in Geographic Information Systems (SIGSPATIAL 2010) (pp. 390\u2013393). ACM.","DOI":"10.1145\/1869790.1869844"},{"issue":"3","key":"10.3233\/AO-200233_ref41","first-page":"195","article-title":"Modeling spatial relations between lines and regions: Combining formal mathematical models and human subjects testing","volume":"21","author":"Mark","year":"1994","journal-title":"Cartogr. Geogr. Inf. Sci."},{"key":"10.3233\/AO-200233_ref44","doi-asserted-by":"crossref","unstructured":"McKenney, M., Pauly, A., Praing, R. & Schneider, M. (2005). Dimension-refined topological predicates. In Conf. on Advances in Geographic Information Systems (GIS-05) (pp. 240\u2013249). ACM.","DOI":"10.1145\/1097064.1097098"},{"key":"10.3233\/AO-200233_ref45","unstructured":"Mossakowski, T., Codescu, M., Kutz, O., Lange, C. & Gruninger, M. (2013). Proof support for common logic. In Workshop on Automated Reasoning for Quantified Non-classical Logic (ARQNL 2013)."},{"key":"10.3233\/AO-200233_ref46","doi-asserted-by":"publisher","DOI":"10.5220\/0006052100310042"},{"key":"10.3233\/AO-200233_ref47","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505170"},{"key":"10.3233\/AO-200233_ref49","unstructured":"Randell, D.A., Cui, Z. & Cohn, A.G. (1992). A spatial logic based on regions and connection. In KR\u201992: Principles of Knowledge Representation and Reasoning (pp. 165\u2013176)."},{"issue":"2\u20133","key":"10.3233\/AO-200233_ref50","first-page":"91","article-title":"The design and implementation of Vampire","volume":"15","author":"Riazanov","year":"2002","journal-title":"AI Commun."},{"key":"10.3233\/AO-200233_ref51","doi-asserted-by":"publisher","DOI":"10.1002\/9781118786352.wbieg0514"},{"key":"10.3233\/AO-200233_ref52","unstructured":"Simons, P. (1987). Parts \u2013 A Study in Ontology. Clarendon Press."},{"issue":"3","key":"10.3233\/AO-200233_ref53","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0169-023X(96)00015-8","article-title":"Mereotopology: A theory of parts and boundaries","volume":"20","author":"Smith","year":"1996","journal-title":"Data Knowl. Eng."},{"key":"10.3233\/AO-200233_ref54","unstructured":"Smith, B., et al.\u00a0(2012). Basic Formal Ontology 2.0 Draft Specification and User\u2019s Guide."},{"key":"10.3233\/AO-200233_ref55","doi-asserted-by":"crossref","unstructured":"Smith, B. & Varzi, A.C. (1997). Fiat and bona fide boundaries: Towards an ontology of spatially extended objects. In Conf. on Spatial Inf. Theory (COSIT-97). LNCS (Vol.\u00a01329, pp. 103\u2013119). Springer.","DOI":"10.1007\/3-540-63623-4_45"},{"key":"10.3233\/AO-200233_ref56","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.COSIT.2017.7"},{"key":"10.3233\/AO-200233_ref57","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.COSIT.2019.15"},{"issue":"3","key":"10.3233\/AO-200233_ref58","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/S0169-023X(96)00017-1","article-title":"Parts, wholes, and part-whole relations: The prospects of mereotopology","volume":"20","author":"Varzi","year":"1996","journal-title":"Data Knowl. Eng."},{"key":"10.3233\/AO-200233_ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_15"},{"key":"10.3233\/AO-200233_ref60","unstructured":"Whitehead, A.N. (1929). Process and Reality. MacMillan."}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-200233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:46:16Z","timestamp":1777376776000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-200233"}},"subtitle":[],"editor":[{"given":"Stefano","family":"Borgo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]},{"given":"Cogan","family":"Shimizu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"editor"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,19]]},"references-count":52,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/ao-200233","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2020,8,19]]}}}