Prenom Nom - contracts

Dans l’objectif de l’intégration de systèmes hétérogènes par les outils formels du web sémantique, je m’intéresse aux problèmes de transformation sémantique dans les systèmes distribués, en particulier aux trois problématiques suivantes:

Il s’agit de traiter un problème classique de l’intégration des sources données hétérogène en les décrire dans un formalisme d’échange unifié du web sémantique. Nous nous intéressons particulièrement à l’intégration des sources de données relationnelles par une approche de transformation automatique des schémas relationnels dans le formalisme OWL (classe SHOIN(D) de la Logique de Description (LD)). Cette approche consiste à exploiter le modèle relation binaire (NIAM-ORM) qui joue le rôle de pivot entre un schéma relationnel et un schéma OWL. Nous montrons que les concepts de NIAM peuvent être définis de la manière sans ambiguë dans une extension de langage OWL, appelée langage SHOINK(D) intégrant la notion de clé (identification) du modèle relationnel. Ces résultats permettent de définir des algorithmes de transformation automatique d’un schéma relationnelle dans une extension de OWL. Les travaux de recherche dans cette action ont fait l’objet de 5 publications et une thèse doctorale (à soutenir en avril 2008). Une étude pratique visant l’intégration de ces techniques dans l’atelier Architecte.net de Microsoft est encours.

La LDD, introduite par Borgida et Serafini en 2003[1], permet de formaliser des relations binaires entre deux ontologies en LD sous forme des relations binaires spécifiques, dénommées « règles de pont (bridge rules) ». L’idée de notre approche est de prouver que par une approche de décomposition dite overlay, on puisse optimiser la structure de l’ontologie en LD à deux niveaux : niveau de conception de l’ontologie et le niveau d’inférence des requêtes ontologiques. Au niveau de conception, nous visons à construire un processus de décomposition de l’ontologie préservant la sémantique avec quelques propriétés d’optimisation heuristiques. L’ensemble des ontologies obtenues forme une otologie distribuée dans le modèle LDD. L’originalité de l’approche de décomposition overlay réside dans l’élaboration des algorithmes de décompositions automatiques selon des critères d’optimisation heuristiques venant de la théorie de graphes. Deux techniques de décomposition de graphes sont employés : la décomposition arborescente par les séparateurs minimaux et la décomposition par les coupes normalisées. Les travaux de recherche dans cette direction ont fait l’objet de 4 publications et une thèse soutenue en janvier 2008. Les études de l’impact de la décomposition overlay sur l’optimisation des requêtes sont encours.

D’une manière informelle, une fédération est une organisation distribuée dont tous les membres s’engagent à respecter une constitution unique. Nous appelons une fédération FLD des ontologies LD, un système distribué des ontologies en LDD, dont toutes les ontologies composantes doivent respecter un ensemble de descriptions sémantiques communes appelé constitution. Toute ontologie composante d’une fédération peut avoir une évolution singulière mais cette évolution ne doit pas à l’encontre de la sémantique commune définie dans la constitution. Plusieurs questions peuvent être posées, dont deux questions cruciales : i) comment échanger les informations entre les systèmes composants ? ii) comment assurer la consistance de tel système face aux évolutions singulières de ses composants ? Considérons un système de fédération décrit en LDD en utilisant le modèle de décomposition overlay. Concernant la première question, nous proposons deux approches d’échange. La première utilise une transformation des concepts par le calcul du concept LCS (Least Common Subsumer). Cette approche est particulièrement adaptée dans le cas où les deux systèmes composants utilisent chacun un langage de LD de l’expressivité différente. La deuxième approche vise la mise en œuvre des échanges de concepts entre les deux sous-systèmes via un couple d’opérateurs de révision de l’ontologie : « Oublier » et «Dire ». L’avantage de cette approche est que les actions de mise à jours des ontologies sont déclenchées par des assertions, mais l’inconvénient est que ce processus pourrait être infini. Nous avons prouvé qu’on peut définir une relation monotone dans la suite des concepts en mise à jours pour que le processus s’arrêt. Concernant la deuxième question, il s’agit de définir une stratégie d’évolution dans laquelle chaque système composant doive respecter la sémantique de la « constitution ». Des services d’inférences non standard devront être définis pour la vérification de la consistance du système. Les travaux de recherche dans cette direction ont fait objet de 6 publications, une thèse soutenue en juillet 2004 et une thèse en cours.

Animation de la recherche

Etant responsable de KEWI (Knowledge Engineering and Web Intelligent) du laboratoire de l’I3S, j’ai conduit ou participé dans la rédaction de plusieurs projets de recherche et de collaboration de l’équipe, en particulier les projets suivants :

Formation à la recherche et encadrement

Résumé de l’activité d’encadrement et de formation à la recherhce
Nombre de thèses en cours sous ma (co)direction	4
Nombre de thèses soutenues sous ma (co)direction	19
Nombre de stages de recherche Master	1-2 par an en moyenne
Nombre d’heures de formation à la recherche	15h-30h par an en master 2
Jury de thèse, rapporteur	2 par an en moyenne

Liste des thèses doctorales en cours

Nom, Prénom	NGUYEN Thi-Hoa-Hue
Titre de la thèse	Modélisation de contraintes d'usage dans les bases de connaissances
Financement	Bourse franco-vietnamienne 322
Soutenance prévue
Taux d’encadrement	100%
Publications	2014/2015

Nom, Prénom	BOUZIDI Khalil
Titre de la thèse	Aide à la création et à l'exploitation de réglementations basée sur les modèles et techniques du web sémantique
Financement	Bourse du CSTB (Centre Scientifique et Technique du Bâtiment)
Soutenance prévue	2012
Taux d’encadrement	10% (avec Faron-Zucker Catherine)
Publications	4 conf. 2012 , 2011

Nom, Prénom	TAYARI Imen
Titre de la thèse	Une approche multimodal pour la présentation des états affectifs humains
Financement	Bourse ERASMUS Window
Soutenance prévue	2012
Taux d’encadrement	100%
Publications	4 conférences 2011, 2010

Nom, Prénom	BOUCHAHDA Ahlem
Titre de la thèse	Sécurisation des accès à une base de données relationnelle : une approche du web sémantique
Financement	Bourse Erasmus
Soutenance prévue	2012
Taux d’encadrement	50% (en cotutelle avec M. BOUHOULA Adel, SupCOM de Tunis, Tunisie)
Publications	4 conférences 2009, 2010

Liste des thèses doctorales soutenues
19e
Nom, Prénom	VU Viet-Hoang
Titre de la thèse	Contribution To Abductive Reasoning With Concepts In Description Logics: An Application to Ontology-Based Semantic Matchmaking for Tourism Information Systems
Financement	Convention CIFRE avec FACTORY
Soutenance	19 décembre 2011
Taux d’encadrement	100%
Situation actuelle	Ingénieur dans une société à Monaco
18e
Nom, Prénom	YURCHYSHYNA Anastasiya
Titre de la thèse	An ontology-based approach for modelling the process of conformitychecking in construction
Financement	Bourse EGIDE du CSTB
Soutenance	2 février 2009
Taux d'encadrement	30% (avec Cathérine Faron-Zucker)
Situation actuelle	Maitre de Conférences , Université de Genève
17e
Nom, Prénom	NGUYEN Thi Dieu Thu
Titre de la thèse	Une approche basée sur la logique de description pour l'intégration de données relationnelles dans le web sémantique - PDF
Financement	Boursier de coopération franco-vietamienne
Soutenance prévue	5 mai 2008
Taux d’encadrement	100%
Situation actuelle	Cadre de la banque de commerce extérieur du Viernam, Hanoï, Vietnam
16^e
Nom, Prénom	PHAM Thi-Anh-Le
Titre de la thèse	De l'optimisation à la décomposition de l'ontologie dans la logique de description - PDF
Financement	Boursier de coopération franco-vietamienne
Soutenance prévue	21 janvier 2008
Taux d’encadrement	100%
Situation actuelle	Maître d’assistant à l’ENSH, Hanoï, Vietnam
15^e
Nom, Prénom	Le Duc CHAN
Titre de la thèse	Transformation d’ontologies basées sur la Logique de Description. Application dans le commerce électronique - PDF
Financement	Boursier EGIDE CSTB
Soutenance prévue	6 juillet 2004
Taux d’encadrement	100%
Situation actuelle	Post-doc à l’université de Grenoble
14^e
Nom, Prénom	Virginie AMAR
Titre de la thèse	Infrastructure logicielle pour la distribution dans des environnements hétérogènes d'applications fondées sur la norme STEP
Financement	Boursier CIFRE CSTB
Soutenance prévue	14 Septembre 1998
Taux d’encadrement	100%
Situation actuelle	Ingénieur de recherche chez AMADEUS, Sophia Antipolis
13^e
Nom, Prénom	Christophe SALAGNON
Titre de la thèse	Algorithmes pour les bases de données parallèles
Financement	Boursier MRT
Soutenance prévue	20 Février 1995
Taux d’encadrement	100%
Situation actuelle	Ingénieur dans une PME à Grenoble
12^e
Nom, Prénom	Martine COLLARD
Titre de la thèse	Un langage de requêtes déductif pour objets persistants
Financement	Salarié (professeur certifié)
Soutenance prévue	26 Novembre 1993
Taux d’encadrement	80% (avec Serge Miranda)
Situation actuelle	Maître de Conférence, Université de Nice et Sophia Antipolis
11^e
Nom, Prénom	Mohamed GAMMOUDI
Titre de la thèse	Méthode de décomposition rectangulaire d'une relation binaire : une méthode formelle et uniforme pour la génération automatique des thésaurus et de recherche documentaire
Financement	boursier MRT
Soutenance prévue	Septembre 1993
Taux d’encadrement	50% (avec Ali JAOUA, prof à l'Université Laval, Québec, Canada)
Situation actuelle	Professeur d'informatique, Université Fédérale de MARAHAO, SAO LUIS, BRAZIL
10^e
Nom, Prénom	Faten LABENE
Titre de la thèse	Méthode d'optimisation du contrôle d'intégrité et d'étude de la consistance des contraintes par les tables de décision
Financement	Boursier de coopération franco-vietamienne
Soutenance prévue	Décembre 1992
Taux d’encadrement	100%
Situation actuelle	Maître de Conférences, SupCom de Tunis, Tunisie
9^e
Nom, Prénom	Jing Tong DONG
Titre de la thèse	Localité sémantique et Mécanisme DLRU : Application au système NICE-C++
Financement	boursier MRT
Soutenance prévue	Décembre 1992
Taux d’encadrement	100%
Situation actuelle	Ingénieur de recherche, IFATEC, Versailles
8^e
Nom, Prénom	Philippe Lahire
Titre de la thèse	Conception et réalisation d'un modèle de persistance pour le langage Eiffel
Financement	boursier MRT
Soutenance prévue	Avril 1992
Taux d’encadrement	30% (avec Serge Miranda)
Situation actuelle	Professeur des université, Université de Nice Sophia Antipolis
7^e
Nom, Prénom	Evelyne VITTORI
Titre de la thèse	Modèle B-rel et approche B-log
Financement	boursier MRT
Soutenance prévue	Février 1992
Taux d’encadrement	100%
Situation actuelle	Maître de Conférences, Université de Corsais
6^e
Nom, Prénom	Gabriel MOPOLO-MOKE
Titre de la thèse	Nice-C++ : Une extension C++ pour la programmation
Financement	boursier de coopération CIES
Soutenance prévue	Novembre 1991
Taux d’encadrement	100%
Situation actuelle	Professeur PAST, Université de Nice et Sophia Antipolis
5^e
Nom, Prénom	Gilles TALADOIRE
Titre de la thèse	Conception et réalisation d'un moteur relationnel documentaire multimédia : SOPHIADOC
Financement	boursier MRT
Soutenance prévue	Février 1990
Taux d’encadrement	80% (avec Serge Miranda)
Situation actuelle	Maître de Conférences, Université française du Pacifique, Numéa, Nouvelle-Calédonie
4^e
Nom, Prénom	Jean-Pierre COUSSOULET
Titre de la thèse	Conception et réalisation d'un système relationnel documentaire multimédia : CAMPUS-DOC
Financement	boursier MRT
Soutenance prévue	Février 1989
Taux d’encadrement	50% (avec Serge Miranda)
Situation actuelle	Ingénieur chef de projet dans une PME de génie logiciel à Bordeaux
3^e
Nom, Prénom	Anna Carolina SALGADO DE AGUIAR
Titre de la thèse	Contribution à un SGBD orienté objet (NICEBD) : Traitement et des interfaces multimédia
Financement	Bourse de coopération
Soutenance prévue	10 Octobre 1988
Taux d’encadrement	50% (avec Serge Miranda)
Situation actuelle	Professeur à l'Université de Récif, Brésil
2^e
Nom, Prénom	Hatem SMINE
Titre de la thèse	Outil d’aide à la conception : des bases de données relationnelles aux bases de données complexes
Financement	Bourse de coopération
Soutenance prévue	Juin 1988
Taux d’encadrement	30% (avec Serge Miranda)
Situation actuelle	Ingénieur de conception, ORACLE-FRANCE, Paris
1^ère
Nom, Prénom	Christian ERNST
Titre de la thèse	Conception et réalisation d’un système de gestion d’objets complexes : Application aux images
Financement	CIFRE CAP-SOGETI
Soutenance prévue	Mars 1987
Taux d’encadrement	40% (avec Serge Miranda)
Situation actuelle	Ingénieur à ETSI, CEE

Résumé des activités de recherche avant 2002

Mes activités de recherche dans cette période sont centralisées sur le domaine de systèmes de gestions des bases de données relationnelles et à objets. Coresponsable avec Serge Miranda d’une équipe de recherche sur les bases de données, je menais trois actions de recherche spécifiques :

- une recherche théorique sur le modèle relationnel comprenant d’une part l’étude de la forme d’iso-dépendance qui correspondrait à l’introduction plus tard (1988) dans la littérature du «modèle relationnel non première forme normale» et d’autre part l’étude du modèle B-relationel, un modèle hybride relationnel-objet qui exploite la dualité entre les deux concepts : relation et domaine. Ces résultats constituaient de ma thèse docteur d’état en mathématiques et en informatique soutenue le 19 avril 1986 à l’Université de Nice et de nombreuses publications

- une recherche algorithmique sur pour les SGBD dont : l’étude de l’algorithme de gestion de mémoire virtuelle DLRU reposant sur la théorie de chaînes markoviennes, l’étude de l’algorithme de gestion optimale d’un arbre équilibré (B-tree+), l’algorithme de gestion de mémoire transactionnelle de « pages virtuelles», etc.

- une recherche expérimentale consistant à développer un ensemble de prototypes des SGBD relationnel (CAMPUS), objet-relationnel (NICEBD), documentaire et multimédia (SophiaDoc).

Ces recherches et développement sont soutenus par plusieurs contrats recherche/industrie (BULL, INRIA, IFATEC, CAP SOGETI, TERADATA) et par 2 contrats de recherche européens du programme ESPRIT. Ces activités ont également abouti à un processus de transfert recherche/industrie avec l’aide des ministères d’éducation et de recherche dans plusieurs logiciels systèmes avancés : Campus, Sophiadoc et NiceBD.

Dans cette période, j’ai bénéficié d’un prime d’encadrement de recherche pendant huit ans : de 1989 à 1993 et de 1994 à 1997. Les travaux de recherche dans la période anvant 2002 ont fait l’objet de 85 publications, 5 produits de logiciels commercialisés, 1 projet européen ESPRIT II et plusieurs contrats de collaborations avec les sociétés : BULL, CAP SOGETI, TERADATA et IFATEC.

[1] A. Borgida and L. Serafini. Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, pages 153–184, 2003.

ACTIVITES DE RECHERCHE

Direction de recherche actuelle

Animation de la recherche

Formation à la recherche et encadrement

Résumé des activités de recherche avant 2002