MASTÈRE MATHÉMATIQUES ET INFORMATIQUE 2E ANNÉE
Spécialité "Intelligence Interaction Information"
ANNEE 2004/2005

PROPOSITION DE PROJET


RESPONSABLES : Jérôme Euzenat.

TEL : 476 61 53 66

ADRESSE ELECTRONIQUE : Jerome . Euzenat A inrialpes . fr

LABORATOIRE ET EQUIPE : Équipe Exmo, INRIA Rhône-Alpes

PROFIL DU PROJET : Parcours intelligence artificielle

TITRE :

Propriétés formelles des techniques d'alignement d'ontologies

Référence: Proposition n° 21

RÉSUMÉ :

Dans le futur, une quantité importante de ressources seront annotées par des marqueurs sémantiques. C'est le cas des pages du web qui peuvent ainsi être complétées de méta-données permettant aux ordinateurs d'en tirer parti ou de flux de données engendrés au fil de l'eau.

Ces annotations sont exprimées en fonctions d'"ontologies": des structures formelles permettant la représentation de la connaissance qui décrivent les concepts utilisés dans les annotations et manipulés par les agents. Mais il est vraissemblable que différentes sources utiliseront différentes ontologies.

Pour résoudre ce problème on procède à l'alignment d'ontologies. De nombreuses initiatives sont actuellement consacrées à ce sujet qui progresse rapidement. L'alignement d'ontologies utilise différents algorithmes basés sur des techniques de linguistique, d'analyse de donnée, de statistiques, ou de logique pour déterminer la correspondance entre différentes ontologies.

Une fois les alignements disponibles, il faut les utiliser pour réaliser effectivement l'interopérabilité. Pour cela on engendre des transformations d'ontologies ou de messages utilisant leur vocabulaire.

On désire s'assurer de propriétés particulières de ces transformations comme leur aptitude à être sémantiquement fondées (elles préservent les modèles) ou l'incrémentalité (les éléments transformés le sont de la même manière indépendement du découpage ou de l'ordre de présentation des informations à transformer).

Pour cela, on devra:

On s'appuiera sur les méthodes d'alignement et de transformation d'ontologies étudiées dans l'équipe Exmo.

Références:
[Euzenat2001f] Jérôme Euzenat, An infrastructure for formally ensuring interoperability in a heterogeneous semantic web, Proc. 1st internationnal on semantic web working symposium (SWWS), Stanford (CA US), pp345-360, 2001
ftp://ftp.inrialpes.fr/pub/exmo/publications/euzenat2001f.pdf
[Euzenat2004c] Jérôme Euzenat, Petko Valtchev, Similarity-based ontology alignment in OWL-Lite, Proc. 15th european conference on artificial intelligence (ECAI), Valencia (ES), 2004
[Euzenat2004f] Jérôme Euzenat, An API for ontology alignment, Proc. 3rd international semantic web conference (ISWC), Hiroshima (JP), 2004


http://exmo.inria.fr/training/M2MI-2004-palign.html

$Id: M2MI-2004-palign.html,v 1.8 2017/01/13 19:59:25 euzenat Exp $