<?xml version="1.0" encoding="UTF-8"?>
<TEI xml:space="preserve" xmlns="http://www.tei-c.org/ns/1.0" 
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
xsi:schemaLocation="http://www.tei-c.org/ns/1.0 https://raw.githubusercontent.com/kermitt2/grobid/master/grobid-home/schemas/xsd/Grobid.xsd"
 xmlns:xlink="http://www.w3.org/1999/xlink">
	<teiHeader xml:lang="en">
		<fileDesc>
			<titleStmt>
				<title level="a" type="main">Solid Physical Objects: Parthood, Damage and Beyond</title>
			</titleStmt>
			<publicationStmt>
				<publisher/>
				<availability status="unknown"><licence/></availability>
			</publicationStmt>
			<sourceDesc>
				<biblStruct>
					<analytic>
						<author>
							<persName><forename type="first">Yi</forename><surname>Ru</surname></persName>
							<affiliation key="aff0">
								<orgName type="department">Mechanical and Industrial Engineering</orgName>
								<orgName type="institution">University of Toronto</orgName>
								<address>
									<country key="CA">Canada</country>
								</address>
							</affiliation>
						</author>
						<title level="a" type="main">Solid Physical Objects: Parthood, Damage and Beyond</title>
					</analytic>
					<monogr>
						<imprint>
							<date/>
						</imprint>
					</monogr>
					<idno type="MD5">6C209F33B83507F8F01626FA15F9C559</idno>
				</biblStruct>
			</sourceDesc>
		</fileDesc>
		<encodingDesc>
			<appInfo>
				<application version="0.7.2" ident="GROBID" when="2023-03-24T09:43+0000">
					<desc>GROBID - A machine learning software for extracting information from scholarly documents</desc>
					<ref target="https://github.com/kermitt2/grobid"/>
				</application>
			</appInfo>
		</encodingDesc>
		<profileDesc>
			<abstract>
<div xmlns="http://www.tei-c.org/ns/1.0"><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></div>
			</abstract>
		</profileDesc>
	</teiHeader>
	<text xml:lang="en">
		<body/>
		<back>
			<div type="references">

				<listBibl/>
			</div>
		</back>
	</text>
</TEI>
