HPI, Postdam Universität
13/10/2006 à 14h00
Grand amphithéatre, INRIA Rhône-Alpes, Montbonnot Saint-Martin
Abstract
Les logiques de description (LD) sont un formalisme conçu pour représenter et raisonner avec les connaissances d'un domaine d'application. Ces dernières années, elles ont joué un rôle important dans la définition des langages du web sémantique.
Dans ce séminaire nous décrivons deux travaux liés au web sémantique qui font usage de raisonnements de logiques de description. Le premier décrit une application de comparaison et de tri de documents en langage naturel. Les documents sont décrits par des terminologies et le traitement revient à trouver un matching entre ces terminologies. Le matching consiste à rechercher l'ensemble des éléments des deux terminologies qui sont sémantiquement liés. Dans notre contexte une information ontologique doit être prise en compte lors de la génération des correspondances, aussi nous avons étendu des raisonnements de LD pour la prise en compte de cette information. La seconde application s'inscrit dans le contexte du télé-enseignement. Le problème est le suivant : étant donné une requête d'un utilisateur et une base de cours électroniques ; le but est de retourner des parties de cours répondant au mieux aux besoins de l'utilisateur. Dans le cadre des LD, ce problème correspond à la recherche de la meilleure couverture d'un concept en utilisant une terminologie. Ce raisonnement a été introduit dernièrement dans le contexte des services web. Notre application doit prendre en compte un séquencement entre parties de cours (certaines parties requièrent des prérequis présents dans d'autres cours) ce qui revient à un problème de composition. Nous proposons d'adapter et d'étendre l'algorithme de couverture pour retourner une composition prenant en compte les prérequis ainsi que les connaissances de l'utilisateur.
|
http://exmo.inria.fr/seminars/2006karam.html
|