• Aucun résultat trouvé

Solid Physical Objects: Parthood, Damage and Beyond

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Solid Physical Objects: Parthood, Damage and Beyond"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Solid Physical Objects: Parthood, Damage and Beyond

Yi RU

Mechanical and Industrial Engineering, University of Toronto, Canada

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 ap- proach to construct a system of foundational ontology modules and employee top-down verification to validate the correctness and completeness of the semantics. Currently, fol- lowing the mereological pluralism approach, we completed a system of multiple part- hood relations that are grounded by foundational ontology modules, which we coordi- nated 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.

Références

Télécharger maintenant ( PDF - 1 Page - 85.54 KB )

Documents relatifs

“ We are what we repeatedly do.

Report of the independent auditor on the summary financial statements The accompanying summary financial statements, which comprise the summary statement of financial position as

Ontology Learning: Where are we? And where are we going?

In addition to per- formance considerations, ontology learning tools need to be fully integrated into the knowledge engineering life-cycle, working in the background and providing

We introduce a class of objects which we call ’affine surfaces’

If r = ∞, we would have a maximal affine immersion of H, whose boundary would project to a closed leaf containing p and there would be two saddle connections in the

WE ARE NOT A BRAND, WE ARE A MOVEMENT

Cette phase est essentielle est projet, elle est celle qui va mettre en place l’amélioration de l’infrastructure Club Tour grâce à l’école de Design auxquels nous avons

We are standing

• Collaboration with our various sister organizations such as the Canadian Medical Association, the Royal College, and the Association of Faculties of Medicine of Canada will

We propose a scheme that preserves the total energy of the system

The schemes are con- structed by combing a discontinuous Galerkin approximation to the Vlasov equation together with a mixed finite element method for the Poisson problem.. We

We propose a scheme that preserves the total energy of the system

We introduce a family of DG methods for (1.1)–(1.3) based on the coupling of a DG approximation to the Vlasov equation (transport equation) with several mixed finite element methods

We prove that the following examples are equivariantly semiprojective

We prove that arbitrary actions of compact groups on finite dimensional C ∗ -algebras are equivariantly semiprojec- tive, that quasifree actions of compact groups on the Cuntz