{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:05:15Z","timestamp":1777431915059,"version":"3.51.4"},"reference-count":47,"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-200231","type":"journal-article","created":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T13:38:36Z","timestamp":1592314716000},"page":"313-359","source":"Crossref","is-referenced-by-count":5,"title":["The FOUnt ontologies for quantities, units, and the physical world"],"prefix":"10.1177","volume":"15","author":[{"given":"Bahar","family":"Aameri","sequence":"first","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, ON M5S 3G8, Canada. E-mails:\u00a0bahar@cs.toronto.edu,\u00a0cchui@mie.utoronto.ca,\u00a0gruninger@mie.utoronto.ca,\u00a0yi.ru@mail.utoronto.ca"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carmen","family":"Chui","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, ON M5S 3G8, Canada. E-mails:\u00a0bahar@cs.toronto.edu,\u00a0cchui@mie.utoronto.ca,\u00a0gruninger@mie.utoronto.ca,\u00a0yi.ru@mail.utoronto.ca"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gr\u00fcninger","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, ON M5S 3G8, Canada. E-mails:\u00a0bahar@cs.toronto.edu,\u00a0cchui@mie.utoronto.ca,\u00a0gruninger@mie.utoronto.ca,\u00a0yi.ru@mail.utoronto.ca"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Hahmann","sequence":"additional","affiliation":[{"name":"National Center for Geographic Information and Analysis, School of Computing and Information Science, University of Maine, Orono, ME 04469, USA. E-mail:\u00a0torsten@spatial.maine.edu"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Ru","sequence":"additional","affiliation":[{"name":"Department of Mechanical and Industrial Engineering, University of Toronto, ON M5S 3G8, Canada. E-mails:\u00a0bahar@cs.toronto.edu,\u00a0cchui@mie.utoronto.ca,\u00a0gruninger@mie.utoronto.ca,\u00a0yi.ru@mail.utoronto.ca"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"key":"10.3233\/AO-200231_ref1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-084-0-309"},{"key":"10.3233\/AO-200231_ref2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3233\/AO-200224","article-title":"Location ontologies based on mereotopological pluralism","volume":"20","author":"Aameri","year":"2020","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-200231_ref3","unstructured":"Auslander, L. & MacKenzie, R.E. (1963). Introduction to Differentiable Manifolds. McGraw-Hill Series in Higher Mathematics. McGraw-Hill."},{"key":"10.3233\/AO-200231_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11080-6"},{"issue":"3","key":"10.3233\/AO-200231_ref5","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/152947.152955","article-title":"A metric time-point and duration-based temporal model","volume":"4","author":"Barber","year":"1993","journal-title":"SIGART Bull."},{"key":"10.3233\/AO-200231_ref6","doi-asserted-by":"crossref","unstructured":"Casati, R. & Varzi, A. (1999). Parts and Places: The Structures of Spatial Representation. Cambridge, MA and London: MIT Press.","DOI":"10.7551\/mitpress\/5253.001.0001"},{"key":"10.3233\/AO-200231_ref7","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"},{"key":"10.3233\/AO-200231_ref8","unstructured":"Galton, A. (2004). Multidimensional mereotopology. In D. Dubois, C.A. Welty and M. Williams (Eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2\u20135, 2004 (pp. 45\u201354). AAAI Press. http:\/\/www.aaai.org\/Library\/KR\/2004\/kr04-007.php."},{"key":"10.3233\/AO-200231_ref9","unstructured":"Givant, S.R. & Halmos, P.R. (2009). Introduction to Boolean Algebras. New York: Springer."},{"key":"10.3233\/AO-200231_ref10","doi-asserted-by":"publisher","DOI":"10.1093\/database\/bas033"},{"key":"10.3233\/AO-200231_ref11","doi-asserted-by":"crossref","unstructured":"Gruber, T.R. & Olsen, G.R. (1994). An ontology for engineering mathematics. In J. Doyle, E. Sandewall and P. Torasso (Eds.), Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201994), Bonn, Germany, May 24\u201327, 1994 (pp. 258\u2013269). Morgan Kaufmann.","DOI":"10.1016\/B978-1-4832-1452-8.50120-2"},{"key":"10.3233\/AO-200231_ref12","unstructured":"Gr\u00fcninger, M. (2009a). Ontologies and domain theories. In M.-A. Williams, L. Morgenstern and G. Lakemeyer (Eds.), Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (pp. 59\u201364)."},{"key":"10.3233\/AO-200231_ref13","unstructured":"Gr\u00fcninger, M. (2009b). Definability and process ontologies. In Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, Toronto."},{"key":"10.3233\/AO-200231_ref14","unstructured":"Gr\u00fcninger, M. (2010). Ontologies for dates and duration. In Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9\u201313, 2010."},{"key":"10.3233\/AO-200231_ref15","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-910-2-211"},{"key":"10.3233\/AO-200231_ref16","unstructured":"Gr\u00fcninger, M. & Bouafoud, S. (2011). Thinking outside (and inside) the box. In J. Hastings, O. Kutz, M. Bhatt and S. Borgo (Eds.), Proceedings of the First Interdisciplinary Workshop on SHAPES, Karlsruhe, Germany, September 27, 2011. CEUR Workshop Proceedings. CEUR-WS.org, http:\/\/ceur-ws.org\/Vol-812\/paper6.pdf."},{"key":"10.3233\/AO-200231_ref17","unstructured":"Gr\u00fcninger, M., Chui, C. & Katsumi, M. (2017). Upper ontologies in COLORE. In S. Borgo, O. Kutz, F. Loebe and F. Neuhaus (Eds.), Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21\u201323, 2017. CEUR Workshop Proceedings. CEUR-WS.org, http:\/\/ceur-ws.org\/Vol-2050\/FOUST_paper_2.pdf."},{"key":"10.3233\/AO-200231_ref18","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-910-2-173"},{"key":"10.3233\/AO-200231_ref19","unstructured":"Hahmann, T. & Gr\u00fcninger, M. (2011a). A na\u00efve theory of dimension for qualitative spatial relations. In Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Stanford, California, USA, March 21\u201323, 2011, AAAI. Technical Report SS-11-06, http:\/\/www.aaai.org\/ocs\/index.php\/SSS\/SSS11\/paper\/view\/2380."},{"key":"10.3233\/AO-200231_ref20","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-157"},{"key":"10.3233\/AO-200231_ref21","doi-asserted-by":"crossref","unstructured":"Hajnicz, E. (1996). Time Structures: Formal Description and Algorithmic Representation. Secaucus, NJ, USA: Springer-Verlag New York, Inc.","DOI":"10.1007\/3-540-60941-5"},{"issue":"1","key":"10.3233\/AO-200231_ref23","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1017068.1017073","article-title":"An ontology of time for the semantic web","volume":"3","author":"Hobbs","year":"2004","journal-title":"ACM Transactions on Asian Language Information Processing (TALIP)"},{"key":"10.3233\/AO-200231_ref26","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1111\/j.1747-9991.2007.00068.x","article-title":"Simples and gunk","volume":"2","author":"Hudson","year":"2007","journal-title":"Philosophy Compass"},{"issue":"4","key":"10.3233\/AO-200231_ref27","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1111\/j.1746-8361.2009.01215.x","article-title":"Mathematical vectors and physical vectors","volume":"63","author":"Johansson","year":"2009","journal-title":"Dialectica"},{"issue":"3","key":"10.3233\/AO-200231_ref28","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1088\/0026-1394\/47\/3\/012","article-title":"Metrological thinking needs the notions of parametric quantities, units and dimensions","volume":"47","author":"Johansson","year":"2010","journal-title":"Metrologia"},{"key":"10.3233\/AO-200231_ref29","unstructured":"Kautz, H.A. & Ladkin, P.B. (1991). Integrating metric and qualitative temporal reasoning. In Proceedings of the Ninth National Conference on Artificial Intelligence. AAAI\u201991 (Vol.\u00a01, pp. 241\u2013246). AAAI Press. http:\/\/dl.acm.org\/citation.cfm?id=1865675.1865713."},{"issue":"1","key":"10.3233\/AO-200231_ref30","doi-asserted-by":"publisher","first-page":"33","DOI":"10.3233\/SW-180310","article-title":"Comparison and evaluation of ontologies for units of measurement","volume":"10","author":"Keil","year":"2019","journal-title":"Semantic Web Journal"},{"issue":"6","key":"10.3233\/AO-200231_ref31","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/BF00849933","article-title":"Time representation: A taxonomy of temporal models","volume":"7","author":"Knight","year":"1993","journal-title":"Artificial Intelligence Review"},{"issue":"7","key":"10.3233\/AO-200231_ref32","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1093\/comjnl\/37.7.588","article-title":"A temporal database model supporting relative and absolute time","volume":"37","author":"Knight","year":"1994","journal-title":"The Computer Journal"},{"key":"10.3233\/AO-200231_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-0041-0"},{"issue":"4","key":"10.3233\/AO-200231_ref34","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1007\/s10670-017-9912-4","article-title":"Enduring through gunk","volume":"83","author":"Leonard","year":"2018","journal-title":"Erkenntnis"},{"key":"10.3233\/AO-200231_ref35","doi-asserted-by":"publisher","first-page":"2889","DOI":"10.1016\/j.measurement.2013.04.039","article-title":"A quest for the definition of measurement","volume":"46","author":"Mari","year":"2013","journal-title":"Measurement"},{"key":"10.3233\/AO-200231_ref37","first-page":"175","article-title":"How not to prove the existence of atomless gunk","volume":"13","author":"Mason","year":"2000","journal-title":"Ratio (New Series)"},{"key":"10.3233\/AO-200231_ref38","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505193"},{"issue":"1","key":"10.3233\/AO-200231_ref39","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00226-6","article-title":"On point-duration networks for temporal reasoning","volume":"140","author":"Navarrete","year":"2002","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"10.3233\/AO-200231_ref40","doi-asserted-by":"publisher","first-page":"63","DOI":"10.3233\/AO-2008-0045","article-title":"Observations, measurements and semantic reference spaces","volume":"3","author":"Probst","year":"2008","journal-title":"Applied Ontology"},{"key":"10.3233\/AO-200231_ref41","doi-asserted-by":"crossref","unstructured":"Rescher, N. & Urquhart, A. (1971). Temporal Logic (p. 273). New York: Springer.","DOI":"10.1007\/978-3-7091-7664-1"},{"issue":"1","key":"10.3233\/AO-200231_ref42","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/SW-2012-0069","article-title":"Ontology of units of measure and related concepts","volume":"4","author":"Rijgersberg","year":"2013","journal-title":"Semantic Web Journal"},{"key":"10.3233\/AO-200231_ref43","unstructured":"Ru, Y. & Gr\u00fcninger, M. (2017). Parts unknown: Mereologies for solid physical objects. In Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21\u201323, 2017. http:\/\/ceur-ws.org\/Vol-2050\/FOUST_paper_8.pdf."},{"key":"10.3233\/AO-200231_ref44","unstructured":"Shilov, G.E. (1977). Linear Algebra (1st ed.). Dover Publications."},{"issue":"4","key":"10.3233\/AO-200231_ref45","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1093\/analys\/53.4.285","article-title":"Van Inwagen and the possibility of gunk","volume":"53","author":"Sider","year":"1993","journal-title":"Analysis"},{"key":"10.3233\/AO-200231_ref46","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-660-6-109"},{"key":"10.3233\/AO-200231_ref47","unstructured":"Simons, P. (1987). Parts: A Study in Ontology. Oxford University Press."},{"key":"10.3233\/AO-200231_ref48","doi-asserted-by":"publisher","DOI":"10.1515\/9783110322507"},{"issue":"5","key":"10.3233\/AO-200231_ref49","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1007\/s11225-012-9405-z","article-title":"A comprehensive picture of the decidability of mereological theories","volume":"101","author":"Tsai","year":"2013","journal-title":"Stud. Log."},{"key":"10.3233\/AO-200231_ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7947-6"},{"issue":"1","key":"10.3233\/AO-200231_ref52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2108463","article-title":"Could extended objects be made out of simple parts? An argument for \u201catomless gunk\u201d","volume":"56","author":"Zimmerman","year":"1996","journal-title":"Philosophy and Phenomenological Research"}],"container-title":["Applied Ontology"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/AO-200231","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-200231"}},"subtitle":[],"editor":[{"given":"Stefano","family":"Borgo","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Cogan","family":"Shimizu","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,19]]},"references-count":47,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.3233\/ao-200231","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]]}}}