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.
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 :
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) :
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