Optimisation d`un raisonnement distribué sur un

Universit´ e de Paris8, IUT de Montreuil D´ epartement Informatique
Sujet de stage Master de Recherche
Optimisation d’un raisonnement distribu´ e sur
un r´ eseau d’ontologies align´ ees
Contacts :
– Chan Le Duc ([email protected]v-paris8.fr), ou
– Myriam Lamolle ([email protected]v-paris8.fr)
Probl´ ematique
Raisonner sur des ontologies est essentiel pour inf´ erer de nouvelles connais-
sances. Les raisonneurs sont utilis´ es pour contrˆ oler la coh´ erence des ontologies,
v´ erifier si certaines classes sont insatisfaisables et g´ erer la hi´ erarchie des classes et
des relations. Ce sont les propri´ et´ es concernant les concepts repr´ esent´ es et les rela-
tions entre ces concepts qui permettent aux raisonneurs tels que Pellet ou FaCT++
d’inf´ erer de nouvelles connaissances. Le raisonneur IDDL (Integrated Distributed
Description Logics) est fond´ e sur un nouveau formalisme IDDL pour repr´ esenter
un ensemble d’ontologies align´ ees, i.e., des ontologies en r´ eseau interconnect´ ees
par des alignements. Le formalisme IDDL se d´ emarque des autres formalismes
par :
– Dans IDDL, les alignements sont consid´ er´ es comme des connaissances ind´ e-
pendantes provenant de l’ontologie. Aussi, de nouvelles cons´ equences s´ eman-
tiques peuvent apparaˆ ıtre quand une connaissance est propag´ ee par des ali-
gnements ` a partir des ontologies locales.
– IDDL ne fait aucune hypoth` ese sur l’expressivit´ e des formalismes utilis´ es
dans une ontologie locale hormis la d´ ecidabilit´ e. Ceci permet une h´ et´ erog´ en´ e-
it´ e des m´ ecanismes et des formalismes de raisonnement utilis´ es dans les
ontologies locales. Par exemple, un raisonneur local utilise un algorithme
1

Universit´ e de Paris8, IUT de Montreuil D´ epartement Informatique
bas´ e sur les tableaux alors qu’un autre peut rechercher la coh´ erence par un
algorithme bas´ e sur les automates.
– IDDL supporte un vrai raisonnement distribu´ e, i.e., tous les raisonnements
sur les ontologies locales peuvent ˆ etre ex´ ecut´ es ind´ ependamment.
Le raisonneur IDDL impl´ emente l’algorithme pr´ esent´ e dans [1], dont la com-
plexit´ e est ´ elev´ ee (2NEXPTIME). Par cons´ equent, ce raisonneur en l’´ etat actuel
n’est pas utilisable dans le contexte du Web o` u les ontologies et alignemants pour-
raient ˆ etre tr` es larges. Le travail pr´ esent´ e dans [2] fournit certaines pistes exploi-
tables permettant d’am´ eliorer le comportement de l’algorithme.
Mots-cl´ e : Web S´ emantique, Raisonnement distribu´ e, Ontologies, Alignement
d’ontologies.
Objectifs du stage
– R´ ealiser une ´ etude de diff´ erentes techniques d’optimisation existantes uti-
lis´ ees par les raisonneurs fond´ es sur le langage OWL ;
– Proposer une optimisation de l’algorithme impl´ ement´ e dans le raisonneur
IDDL (notamment en termes d’utilisation de la m´ emoire) ;
– Int´ egrer cette optimisation dans le raisonneur IDDL et rendre ce raisonneur
accessible sur le Web en utilisant le wrapper OWLLink.
Profil souhait´ e
Le candidat devra poss´ eder des connaissances en XML, OWL, OWLLink, Lo-
giques de Description, Java.
R´ emun´ eration : 30%SMIC
R´ ef´ erences
[1] Zimmermann, A., Le Duc, C. : Reasoning with a network of aligned ontolo-
gies. In : RR. (2008) 43–57
[2] Le Duc, C., Lamolle, M., Zimmermann, A. : An API for distributed reasoning
on networked ontologies with alignments. In : KEOD. (2010) 295–304
2