<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Solid Physical Objects: Parthood, Damage and Beyond</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Yi RU</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Mechanical and Industrial Engineering, University of Toronto</institution>
          ,
          <country country="CA">Canada</country>
        </aff>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The objective of this research project is a comprehensive representation of solid physical
objects, including their parthood relations and a way of reasoning about how such objects
can be damaged. Our research questions and ontological commitments are raised from
motivating scenarios in manufacturing and ecommerce domains. We use a bottom-up
approach to construct a system of foundational ontology modules and employee top-down
verification to validate the correctness and completeness of the semantics. Currently,
following the mereological pluralism approach, we completed a system of multiple
parthood relations that are grounded by foundational ontology modules, which we
coordinated into the Ontology of Solid Physical Objects (SoPhOs). SoPhOs is a general suite of
upper ontology modules we proposed and axiomatized in First Order Logic. In addition,
the units of measure of physical objects are discussed in FOUnt, and the representation
to damage of solid physical objects is enabled through the comparison of abnormalities
with intended properties.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>