Representing and Reasoning about Mappings between Domain Models

1. Representing and Reasoning about Mappings between Domain Models Jayant Madhavan,Philip A. Bernstein,Pedro Domingos,Alon Y. Halevy Module:fouille de donnée et apprentisage Master recherche:FANG Zhou

2. INTRODUCTION • Le web syntaxique • Le web sémantique (machine-lisible) • Relation sémantique des sources • Ontologie;schéma relationnel • L’ontologie • Élements bien distincts • Spécification des concepts

3. INTRODUCTION • Médiateur • Reformuler requête • Décrire source • Mapping • Les éléments mis en correspondants entre deux différentes entités • Un ensemble de relation entre deux modèle • Difficulté:cherche dans immense espace de source

4. INTRODUCTION • Mapping mis en application • l’intégration d’information • la migration de donnée • le fusionnement d’ontologie • Problème à résoudre • Différents langages de représentation de modèle • les éléments Non-identique • Contraint de valeur

5. REPRESENTATION DE MAPPING • Syntaxe • Formule de relation de l’expression Ici donner l’autre schéma plus générale que les deux Univ(Student, Course, Arts-Std, Sci-Std, Arts-Crs,Sci-Crs) • Exemple de formule • Univ.Arts-Std(std) MyUniv.ARTS-STD(std) • Univ.Arts-Std(std) YourUniv.student(std,x,“arts”,y,z)

6. REPRESENTATION DE MAPPING • Sémantique • Contraint d’interprétation • MyUniv.STUDENT(std) ^MyUniv.Lives-in(std,ad)^MyUniv.Grade(std,gpa) • Modèle logique • Une interprétation satisfait toutes les formules de modèle • Donné mapping • Les paires d’interprétaions co-exister

7. PROPRIETE DE MAPPING • Raisonnment de mapping • Probabilité de réponse • Certaine tache de requête • Exemple • YourUniv.student(std,x,y,α*gpa,z)=MyUniv.STUDENT(std)^MyUniv.Grade(std,gpa) où α>0 • Possible répondre->max-grade:-Max{gpa|MyUniv.Grade(std,gpa)} • Contraire->high-grade(std,gpa):-MyUniv.Grade(std,gpa) ^ gpa>=3.8

8. PROPRIETE DE MAPPING • L'inférence de Mapping • Ajouter une formule • Deux mappings équivalents • Effacer une formule • Perdu l’information • composition de mapping • mapping(T0,T1) et mapping(T1,T2) => mapping(T0,T2)

9. EXEMPLE • Deux modèles • Univ1 et Univ2 • Coursei(crs),Major-Genderi(std,mjr,gnd),Some-Classi(std),Some-Studenti(crs),Majori(std,mjr) • Mapping:course1 =course2, Some-Class1 =Some-Class2, Major-Gender1 =Major-Gender2 • On peut dire:Major1 (std,mjr)=Major2 (std,mjr)? Some-Student1 (crs)=Some-Student2 (crs)?

10. DISCUSSION ET CONCLUSION • Problème suivant • Incertitude de mapping • Probabiliste de F.O. • Le meilleur mapping • Contribution • Bien-défini la sémantique • Propriétés de mapping