Foundational Ontologies for Units of Measure

Multiple ontologies for units of measure have been proposed within the Applied Ontology community, and all of these ontologies introduce an array of new classes based on supposed distinctions between quantities, quantity kinds, and measures. Units are combined using notions of dimensional analysis that often conflate the combination of units with algebraic operations on real numbers. In this paper we present an alternative approach that shifts the focus to the connection between the units of measure and the physical objects and processes that are being measured. One of the key features of this approach is that it makes minimal ontological commitments with respect to the TUpperWare upper ontology – the only new classes that are introduced are the classes for the units of measure. We propose correct and complete axiomatizations for combining units of measure, and the correct axiomatization of the relationship between the units of measure and the existing

[1]  Johan van Benthem,et al.  The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.

[2]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[3]  Mathematical Vectors and Physical Vectors , 2009 .

[4]  Patrick J. Hayes,et al.  A Catalog of Temporal Theories , 2005 .

[5]  Roberto Casati,et al.  Parts and Places: The Structures of Spatial Representation , 1999 .

[6]  Michael Grüninger,et al.  Parts Unknown: Mereologies for Solid Physical Objects , 2017, JOWO.

[7]  Torsten Hahmann,et al.  A Naive Theory of Dimension for Qualitative Spatial Relations , 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

[8]  Michael Grüninger,et al.  A formal foundation for process modeling , 2001, FOIS.

[9]  Hajo Rijgersberg,et al.  Ontology of units of measure and related concepts , 2013, Semantic Web.

[10]  Jerry R. Hobbs,et al.  An ontology of time for the semantic web , 2004, TALIP.

[11]  Michael Grüninger,et al.  Upper Ontologies in COLORE , 2017, JOWO.

[12]  Bahar Aameri.  Using Partial Automorphisms to Design Process Ontologies , 2012, FOIS.

[13]  Michael Grüninger,et al.  Thinking Outside (and Inside) the Box , 2011, SHAPES.

[14]  Metrological thinking needs the notions of parametric quantities, units and dimensions , 2010 .

[15]  Michael Grüninger.  Ontologies for Dates and Duration , 2010, KR.

[16]  Nicola Guarino,et al.  WonderWeb Deliverable D18 Ontology Library , 2003 .

[17]  P. Simons.  Parts: A Study in Ontology , 1991 .

[18]  Torsten Hahmann,et al.  Multidimensional Mereotopology with Betweenness , 2011, IJCAI.