Presentation is loading. Please wait.

Presentation is loading. Please wait.

 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.

Similar presentations


Presentation on theme: " Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix."— Presentation transcript:

1  Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix Viallet Grenoble Cedex ROMMA Task 1 Model Functional Analysis Status Briefing Ahmad Shahwan Moreno Trlin Gilles Foucault Jean-Claude Léon G-SCOP Laboratory Université de Grenoble, Grenoble-INP INRIA Rhone-Alpes September 2012

2 Overview Using local coordinate system for quantative reasoning. Results. Limitation of DL. Exploring FOL.

3 Local coordinate system

4 Results

5

6 Limitation of Description Logic Component Threaded Link Planar Support innerFormsforms Screw  Component and (innerForms some ThreadedLink) and (forms some PlannarSupport) ?

7 First Order Logic Component Threaded Link Planar Support innerFormsforms Screw(x) := Component(x) ∧ ∃ y, z; ThreadedLink(y) ∧ innerForms(x, y) ∧ PlanarSupport(z) ∧ forms(x, z) ∧ orthogonal(y, z)


Download ppt " Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix."

Similar presentations


Ads by Google