Université de Paris8, IUT de Montreuil Département Informatique Sujet de stage Master de Recherche Optimisation d’un raisonnement distribué sur un réseau d’ontologies alignées Contacts : – Chan Le Duc ([email protected]), ou – Myriam Lamolle ([email protected]) Problématique Raisonner sur des ontologies est essentiel pour inférer de nouvelles connaissances. Les raisonneurs sont utilisés pour contrôler la cohérence des ontologies, vérifier si certaines classes sont insatisfaisables et gérer la hiérarchie des classes et des relations. Ce sont les propriétés concernant les concepts représentés et les relations entre ces concepts qui permettent aux raisonneurs tels que Pellet ou FaCT++ d’inférer de nouvelles connaissances. Le raisonneur IDDL (Integrated Distributed Description Logics) est fondé sur un nouveau formalisme IDDL pour représenter un ensemble d’ontologies alignées, i.e., des ontologies en réseau interconnectées par des alignements. Le formalisme IDDL se démarque des autres formalismes par : – Dans IDDL, les alignements sont considérés comme des connaissances indépendantes provenant de l’ontologie. Aussi, de nouvelles conséquences sémantiques peuvent apparaı̂tre quand une connaissance est propagée par des alignements à partir des ontologies locales. – IDDL ne fait aucune hypothèse sur l’expressivité des formalismes utilisés dans une ontologie locale hormis la décidabilité. Ceci permet une hétérogénéité des mécanismes et des formalismes de raisonnement utilisés dans les ontologies locales. Par exemple, un raisonneur local utilise un algorithme 1 Université de Paris8, IUT de Montreuil Département Informatique basé sur les tableaux alors qu’un autre peut rechercher la cohérence par un algorithme basé sur les automates. – IDDL supporte un vrai raisonnement distribué, i.e., tous les raisonnements sur les ontologies locales peuvent être exécutés indépendamment. Le raisonneur IDDL implémente l’algorithme présenté dans [1], dont la complexité est élevée (2NE XP T IME). Par conséquent, ce raisonneur en l’état actuel n’est pas utilisable dans le contexte du Web où les ontologies et alignemants pourraient être très larges. Le travail présenté dans [2] fournit certaines pistes exploitables permettant d’améliorer le comportement de l’algorithme. Mots-clé : Web Sémantique, Raisonnement distribué, Ontologies, Alignement d’ontologies. Objectifs du stage – Réaliser une étude de différentes techniques d’optimisation existantes utilisées par les raisonneurs fondés sur le langage OWL ; – Proposer une optimisation de l’algorithme implémenté dans le raisonneur IDDL (notamment en termes d’utilisation de la mémoire) ; – Intégrer cette optimisation dans le raisonneur IDDL et rendre ce raisonneur accessible sur le Web en utilisant le wrapper OWLLink. Profil souhaité Le candidat devra posséder des connaissances en XML, OWL, OWLLink, Logiques de Description, Java. Rémunération : 30% SMIC Références [1] Zimmermann, A., Le Duc, C. : Reasoning with a network of aligned ontologies. 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