L'objectif de cet atelier adossé à la conférence Ingénierie des Connaissances IC-2017 est de dresser un panorama des recherches et expérimentations francophones traitant du raisonnement avec des ontologies formalisées en OWL.

• Florence Amardeilh MONDECA
• Ghislain Atemezing MONDECA https://www.linkedin.com/in/gatemezing
• Jean Charlet LIMICS, AP-HP/INSERM, Paris, France
• Sylvie Despres LIMICS, Université Paris 13, France
• Catherine Faron Zucker, I3S-WIMMICS http://www.i3s.unice.fr/~faron/
• Laurent Pierre, EDF
• Catherine Roussey, IRSTEA http://www.irstea.fr/roussey
• Michel Vanden Bossche, ODASE, www.odaseontologies.com

La spécification formelle d'une ontologie nécessite l'utilisation d'un langage de description. Depuis 2009, OWL2 est recommandé par le W3C comme le langage de description pour les ontologies. OWL2 est une nouvelle version de OWL enrichissant l'expressivité du langage OWL pour les propriétés et les types de données. L'expressivité est une caractéristique distinctive d'un langage de description. Elle est déterminée par le type de constructeurs autorisés et la manière dont ils peuvent être combinés dans le langage considéré. Une grande expressivité inclus de nombreux types de constructeurs différents. Cependant, cette expressivité a un prix. Plus l'expressivité est importante et plus les temps de réponse aux requêtes ou l'exécution des raisonnement peuvent être couteux en calculabilité. Un compromis doit par conséquent être trouvé entre expressivité et calculabilité.

Les questions que nous souhaitons aborder sont :

1. Quels sont les projets utilisant des ontologies formalisées en OWL ?
2. Quels sont les objectifs de ces projets ?
3. Quels sont les enseignements tirés de ces projets ?

Les auteurs sont invités à envoyer des propositions ayant une portée théorique, méthodologique ou appliquée, sur l’un des thèmes suivants (liste non exhaustive) :

1. Choix d'un profil OWL opérationnalisable
2. Utilisation de langage de règles pour mettre en œuvre les raisonnements
3. ..

9h-10h Conférence plénière AFIA (Leon van den Torre)

10H00 - 10H30 Pause

10h30-11h Introduction

11h-11h45 Laurent Pierre - Quelques cas d’usage à EDF R&D pour le raisonnement OWL

11h45-12h30 Michel Vanden Bossche, Maxime Van Assche, Carlos Noguera - SWRL étendu pour des applications de niveau industriel « centrées ontologies »

12h30-14h : Repas

14h-14h45 Jacques Bouaud, Gilles Guézennec and Brigitte Séroussi - Modélisations duales d'une ontologie et de règles pour la représentation des connaissances: application à la prise en charge du cancer du sein dans le projet européen DESIREE

14h45-15h30 Florence Amardeilh, Sylvie Despres, Ghislain Atemezing and Gilles Guezennec - Opérationnalisation d’une ontologie modulaire exprimée en OWL2

16h-16h45 Raphaël Gazzotti, Olivier Corby and Catherine Faron-Zucker - Un validateur d'ontologies par rapport à des profils OWL implémenté dans le langage STTL

16h45-17h15 Bilan