What's the Damage? Abnormality in Solid Physical Objects

The representation of damage to solid physical objects is complex in nature. Beginning with real world usecases of partially damaged used goods, we derive the description of damage through the approach of representing partial abnormality. We propose four predicates for partial abnormality corresponding to the fundamental characteristics and parthood relationships within solid physical objects: ab portion,ab piece,ab component, and ab containment. Such parthood relations and mereological pluralism concepts are drawn from the Ontology of Solid Physical Objects (SoPhOs), a general suite of upper ontology modules we proposed and axiomatized in First Order Logic. This paper reviews the SoPhOs ontologies that axiomatize parthood, spatial parthood and parthood connection theories and the foundational matter and shape characteristic ontologies that support them. We map the foundational solid physical object ontology to solving the problem of representing damaged goods in various domains including manufacture and e-commerce.

[1]  Paul Strauss,et al.  The Ontology Of Physical Objects Four Dimensional Hunks Of Matter , 2016 .

[2]  Kris McDaniel,et al.  Parts and Wholes , 2010 .

[3]  Michael Grüninger,et al.  Location ontologies based on mereotopological pluralism , 2020, Appl. Ontology.

[4]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[5]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[6]  Maureen Donnelly,et al.  Computational ontologies of parthood, componenthood, and containment , 2005, IJCAI.

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

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

[9]  Scott Sanner,et al.  Knowledge-Based Provisioning of Goods and Services: Towards a Virtual Social Needs Marketplace , 2017, AAAI Spring Symposia.

[10]  Michael Grüninger,et al.  Mapping and Verification of the Time Ontology in SUMO , 2016, FOIS.

[11]  Brandon Bennett Physical Objects, Identity and Vagueness , 2002, KR.

[12]  Douglas Herrmann,et al.  A Taxonomy of Part-Whole Relations , 1987, Cogn. Sci..

[13]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[14]  Michael Grüninger,et al.  A First-Order Cutting Process Ontology for Sheet Metal Parts , 2009, FOMI.

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

[16]  Emilio M. Sanfilippo Ontological foundations for feature-based product modelling , 2017 .

[17]  Stefano Borgo,et al.  STRATIFIED ONTOLOGIES: THE CASE OF PHYSICAL OBJECTS , 2007 .

[18]  Robert Arp,et al.  Building Ontologies with Basic Formal Ontology , 2015 .

[19]  James J. Odell,et al.  Advanced object-oriented analysis and design using UML , 1997 .

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

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

[22]  Adam Pease,et al.  Towards a standard upper ontology , 2001, FOIS.

[23]  C. Maria Keet Introduction to part-whole relations : mereology , conceptual modelling and mathematical aspects ? , 2006 .