{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:05:29Z","timestamp":1777431929612,"version":"3.51.4"},"reference-count":34,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AO"],"published-print":{"date-parts":[[2020,5,22]]},"DOI":"10.3233\/ao-200224","type":"journal-article","created":{"date-parts":[[2020,1,24]],"date-time":"2020-01-24T11:03:32Z","timestamp":1579863812000},"page":"135-184","source":"Crossref","is-referenced-by-count":3,"title":["Location ontologies based on mereotopological pluralism"],"prefix":"10.1177","volume":"15","author":[{"given":"Bahar","family":"Aameri","sequence":"first","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gr\u00fcninger","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/AO-200224_ref1","unstructured":"Aameri, B. (2012). Using partial automorphisms to design process ontologies. In Proceedings of the 7th International Conference on Formal Ontology in Information Systems (pp.\u00a0309\u2013322). IOS Press."},{"key":"10.3233\/AO-200224_ref2","unstructured":"Aameri, B. & Gruninger, M. (2015). A new look at ontology correctness. In 2015 AAAI Spring Symposium Series. AAAI Press."},{"key":"10.3233\/AO-200224_ref3","unstructured":"Aameri, B. & Gruninger, M. (2017). Encountering the physical world. In Proceedings of the Joint Ontology Workshops 2017."},{"key":"10.3233\/AO-200224_ref4","unstructured":"Aameri, B., Gr\u00fcninger, M. & Chui, C. (2016). Anti-modules. In Proceedings of the Joint Ontology Workshops (JOWO at FOIS). CEUR Workshop Proceedings (Vol.\u00a01660)."},{"key":"10.3233\/AO-200224_ref5","unstructured":"Asher, N. & Vieu, L. (1995). Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In IJCAI (pp.\u00a0846\u2013852)."},{"key":"10.3233\/AO-200224_ref6","unstructured":"Baumann, R., Loebe, F. & Herre, H. (2016). Towards an ontology of space for GFO. In FOIS2016 (pp.\u00a053\u201366)."},{"key":"10.3233\/AO-200224_ref7","unstructured":"Borgo, S., Guarino, N. & Masolo, C. (1997). An ontological theory of physical objects. In Proceedings of Qualitative Reasoning 11th International Workshop (pp.\u00a0223\u2013231)."},{"key":"10.3233\/AO-200224_ref8","doi-asserted-by":"crossref","unstructured":"Casati, R. & Varzi, A. (1999). Parts and Places: The Structures of Spatial Representation. MIT Press.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"10.3233\/AO-200224_ref9","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","article-title":"RCC: A calculus for region-based qualitative spatial reasoning","volume":"1","author":"Cohn","year":"1997","journal-title":"GeoInformatica"},{"issue":"1","key":"10.3233\/AO-200224_ref10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2005.07.004","article-title":"A formal theory for spatial representation and reasoning in biomedical ontologies","volume":"36","author":"Donnelly","year":"2006","journal-title":"Artificial Intelligence in Medicine"},{"key":"10.3233\/AO-200224_ref11","unstructured":"Gilmore, C. (2017). Location and mereology. In E.N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, fall 2017 edition."},{"key":"10.3233\/AO-200224_ref12","unstructured":"Gotts, N.M. (1996). Formalising commonsense topology: The INCH calculus. In Proc. Fourth International Symposium on Artificial Intelligence and Mathematics."},{"key":"10.3233\/AO-200224_ref13","unstructured":"Gr\u00fcninger, M. & Aameri, B. (2017). A new perspective on the mereotopology of RCC8. In Proceeding of the 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (pp.\u00a02:1\u20132:13)."},{"key":"10.3233\/AO-200224_ref14","unstructured":"Gruninger, M., Hahmann, T., Hashemi, A. & Ong, D. (2010). Ontology verification with repositories. In Proc. of the 6th Int. Conference on Formal Ontologies in Information Systems (FOIS2010) (pp.\u00a0317\u2013330). IOS Press."},{"issue":"2","key":"10.3233\/AO-200224_ref15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.3233\/AO-2012-0106","article-title":"Modular first-order ontologies via repositories","volume":"7","author":"Gruninger","year":"2012","journal-title":"Applied Ontology"},{"issue":"1","key":"10.3233\/AO-200224_ref17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1111\/nous.12163","article-title":"The metaphysics of super-substantivalism","volume":"52","author":"Lehmkuhl","year":"2018","journal-title":"No\u00fbs"},{"key":"10.3233\/AO-200224_ref18","doi-asserted-by":"crossref","first-page":"1949","DOI":"10.1007\/s11229-015-0822-1","article-title":"What is mereological harmony?","volume":"193","author":"Leonard","year":"2016","journal-title":"Synthese"},{"key":"10.3233\/AO-200224_ref19","unstructured":"Lewis, D. (1991). Parts of Classes. Blackwell."},{"key":"10.3233\/AO-200224_ref20","doi-asserted-by":"crossref","unstructured":"Markosian, N. (2014). A spatial approach to mereology. In S. Kleinschmidt (Ed.), Mereology and Location. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780199593828.003.0005"},{"key":"10.3233\/AO-200224_ref21","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1080\/713659792","article-title":"Modal realism with overlap","volume":"82","author":"McDaniel","year":"2004","journal-title":"Australasian Journal of Philosophy"},{"key":"10.3233\/AO-200224_ref22","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s11098-006-9010-y","article-title":"Extended simples","volume":"133","author":"McDaniel","year":"2007","journal-title":"Philosophical Studies"},{"key":"10.3233\/AO-200224_ref23","unstructured":"McKeon, R. (2009). The Basic Works of Aristotle. Modern Library."},{"issue":"3","key":"10.3233\/AO-200224_ref24","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1111\/1467-8640.00196","article-title":"Topological spatio-temporal reasoning and representation","volume":"18","author":"Muller","year":"2002","journal-title":"Computational Intelligence"},{"key":"10.3233\/AO-200224_ref25","first-page":"201","article-title":"Theories of location","volume":"3","author":"Parsons","year":"2007","journal-title":"Oxford Studies in Metaphysics"},{"key":"10.3233\/AO-200224_ref26","unstructured":"Pease, A., Niles, I. & Li, J. (2002). The suggested upper merged ontology: A large ontology for the semantic web and its applications. In Working Notes of the AAAI-2002 Workshop on Ontologies and the Semantic Web (Vol.\u00a028)."},{"key":"10.3233\/AO-200224_ref27","unstructured":"Randell, D.A., Cui, Z. & Cohn, A. (1992). A spatial logic based on regions and connection. In Proceedings of the Third International Conference Principles of Knowledge Representation and Reasoning (pp.\u00a0165\u2013176). San Mateo, California: Morgan Kaufmann."},{"key":"10.3233\/AO-200224_ref28","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1093\/acprof:oso\/9780199603039.003.0008","article-title":"Parthood of location","volume":"6","author":"Saucedo","year":"2011","journal-title":"Oxford Studies in Metaphysics"},{"key":"10.3233\/AO-200224_ref29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s11098-009-9386-6","article-title":"Spacetime the one substance","volume":"145","author":"Schaffer","year":"2009","journal-title":"Philosophical Studies"},{"key":"10.3233\/AO-200224_ref30","unstructured":"Schr\u00f6der, B. (2003). Ordered Sets: An Introduction. Springer."},{"key":"10.3233\/AO-200224_ref31","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1215\/00318108-2006-022","article-title":"Parthood","volume":"116","author":"Sider","year":"2007","journal-title":"Philosophical Review"},{"key":"10.3233\/AO-200224_ref32","unstructured":"Sklar, L. (1974). Space, Time, and Spacetime. University of California Press."},{"key":"10.3233\/AO-200224_ref33","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0004-3702(00)00045-X","article-title":"Boolean connection algebras: A new approach to the region-connection calculus","volume":"122","author":"Stell","year":"2000","journal-title":"Artificial Intelligence"},{"key":"10.3233\/AO-200224_ref34","unstructured":"Stell, J.G. & West, M. (2004). A four-dimensionalist mereotopology. In Proceedings of the International Conference on Formal Ontology in Information Systems (pp.\u00a0261\u2013272)."},{"key":"10.3233\/AO-200224_ref35","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1093\/acprof:oso\/9780199603039.003.0007","article-title":"Mereological harmony","volume":"6","author":"Uzquiano","year":"2011","journal-title":"Oxford Studies in Metaphysics"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-200224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:46:15Z","timestamp":1777376775000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/AO-200224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,22]]},"references-count":34,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ao-200224","relation":{},"ISSN":["1875-8533","1570-5838"],"issn-type":[{"value":"1875-8533","type":"electronic"},{"value":"1570-5838","type":"print"}],"subject":[],"published":{"date-parts":[[2020,5,22]]}}}