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.

Published byCarlton Wright Modified over 9 years ago

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 38031 Grenoble Cedex www.g-scop.inpg.fr 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

12th september 2005 15:00 – 18:30 TIMA Laboratory,

12th september :00 – 18:30 TIMA Laboratory,
ENSEMBLES-Hamburg Meeting, 15.09.2004 Martin Beniston, University of Fribourg, Switzerland ENSEMBLES RT8 Dissemination, education and training Martin Beniston.

ENSEMBLES-Hamburg Meeting, Martin Beniston, University of Fribourg, Switzerland ENSEMBLES RT8 Dissemination, education and training Martin Beniston.
1 The new unified French evaluation agency for research and higher education: a direct consequence of the international rankings Pr. Alain Menand, Director.

1 The new unified French evaluation agency for research and higher education: a direct consequence of the international rankings Pr. Alain Menand, Director.
Genealogies of time structured data, an application on cave bear ancient DNA Frantz Depaulis Ludovic Orlando Catherine Hannï UMR 5534 Centre de Génétique.

Genealogies of time structured data, an application on cave bear ancient DNA Frantz Depaulis Ludovic Orlando Catherine Hannï UMR 5534 Centre de Génétique.
Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting April 19, 2012 Imagine.

Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting April 19, 2012 Imagine.
Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting May 31, 2012 Imagine.

Intuitive Modeling and Animation for Interactive Graphics & Narrative Environments LJK & INRIA Group meeting May 31, 2012 Imagine.
Impressions from evaluation exercises of engineering schools in France Jacques L Willems Em Prof Gent University.

Impressions from evaluation exercises of engineering schools in France Jacques L Willems Em Prof Gent University.
Bicubic G1 interpolation of arbitrary quad meshes using a 4-split

Bicubic G1 interpolation of arbitrary quad meshes using a 4-split
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.

 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
Toward the Paris-Saclay University 17/12/2014 toward the UPSay Jean Zinn-Justin Since at least two decades, at the government level, there is constant.

Toward the Paris-Saclay University 17/12/2014 toward the UPSay Jean Zinn-Justin Since at least two decades, at the government level, there is constant.
Laboratoire de Communication Langagière et Interaction Personne-Système (CLIPS-IMAG) 291 rue de la bibliothèque, BP 53, 38041 Grenoble cedex 9, France.

Laboratoire de Communication Langagière et Interaction Personne-Système (CLIPS-IMAG) 291 rue de la bibliothèque, BP 53, Grenoble cedex 9, France.
Proposal for ½ MW photo-fission driver based on TESLA 1.3 GHz SCRF technology (Shane Koscielniak, 09 Nov 2007) Electron Linac CANADA ’ S NATIONAL LABORATORY.

Proposal for ½ MW photo-fission driver based on TESLA 1.3 GHz SCRF technology (Shane Koscielniak, 09 Nov 2007) Electron Linac CANADA ’ S NATIONAL LABORATORY.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.

 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
CampusFrance Higher education in France. CampusFrance A national agency for the promotion of French higher education abroad uFrance’s system of higher.

CampusFrance Higher education in France. CampusFrance A national agency for the promotion of French higher education abroad uFrance’s system of higher.
1/03/09 De 89 à 98. 1/03/09 De 89 à 98 1/03/09 De 89 à 98.

1/03/09 De 89 à 98. 1/03/09 De 89 à 98 1/03/09 De 89 à 98.
 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.

 Centre National de la Recherche Scientifique  Institut National Polytechnique de Grenoble  Université Joseph Fourier Laboratoire G-SCOP 46, av Félix.
Conditions and configuration metadata for the ATLAS experiment E J Gallas 1, S Albrand 2, J Fulachier 2, F Lambert 2, K E Pachal 1, J C L Tseng 1, Q Zhang.

Conditions and configuration metadata for the ATLAS experiment E J Gallas 1, S Albrand 2, J Fulachier 2, F Lambert 2, K E Pachal 1, J C L Tseng 1, Q Zhang.
Analysis of the 18 O 3 CRDS spectra in the 6000 – 7000 cm -1 spectral range : comparison with 16 O 3. Marie-Renée De Backer-Barilly, Alain Barbe, Vladimir.

Analysis of the 18 O 3 CRDS spectra in the 6000 – 7000 cm -1 spectral range : comparison with 16 O 3. Marie-Renée De Backer-Barilly, Alain Barbe, Vladimir.
S&MPO linelist of 16 O 3 in the range 6000 – 7000 cm -1. M.-R. De Backer-Barilly #, Semen N. Mikhailenko*, Yurii Babikov*, Alain Campargue §, Samir Kassi.

S&MPO linelist of 16 O 3 in the range 6000 – 7000 cm -1. M.-R. De Backer-Barilly #, Semen N. Mikhailenko*, Yurii Babikov*, Alain Campargue §, Samir Kassi.
7/6/2015 Orthogonal Functions Chapter 7 1. 7/6/2015 Orthogonal Functions Chapter 7 2.

7/6/2015 Orthogonal Functions Chapter /6/2015 Orthogonal Functions Chapter 7 2.

Similar presentations

Ads by Google