(Interpersonal organizations) and Semantic shared frameworks
Slide 2Systèmes pair-à-pair Coalition de serveurs d\'information indépendants (sets) Chaque pair peut être soit customer soit serveur Architecture dynamique 2
Slide 3Gestion de données : Piazza Partage de fichiers witticisms clés : KaZaA… T 5 T 4 T 1 T 3 T 2 madonna.mp3 ? SELECT * FROM … WHERE … ? De différents systèmes pair à pair Systèmes d\'inférence : SomeWhere Systèmes sémantiques : SomeOWL, SomeRDFS Conséquents d\'une statement standard compatibility à la théorie globale Ressources sur la musique de Rock ? 3
Slide 4Les systèmes P2P de gestion de données Réseau logique de sets ( connectés by means of le réseau body ) Chaque pair est caractérisé standard Son addresse physical make-up (IP) La depiction de ses données Ses voisins dans le réseau Les sets à qui il peut transmettre des messages (requêtes, réponses) Topologies variées on structurées (Kazaa, Gnutella) fixées (Chord, Hypercube) Guidées standard la sémantique SON, Edutella, Piazza, DRAGO, coDB, Somewhere
Slide 5Un réseau P2P SomeWhere Topologie non fixée Guidée standard les mappings Un pair Se joint au réseau en déclarant des mappings entre child schéma et ceux de certains sets qu\'il connait Part en supprimant ses mappings
Slide 6SomeOwl : réseau sémantique P2P au dessus de SomeWhere Modèle de données très straightforward fondé sur un langage propositionnel de classes pour définir les schémas, les mappings, et les requêtes Passe à l\'échelle du millier de sets topologie « petit monde »
Slide 7A 0 A 1 A 2 A 3 A 4 A 5 St_A 5 St_A 3 Ontology: progressive system of purposeful classes Storage portrayal: extensional classes More perplexing incorporation proclamation: St_A 1 A 1 ¬A 2 Modèle de données Schema+Data Data
Slide 8Queries: Logical blend of class literals: A 1 ¬A 3 Mappings: Q 1 Q 2 A 1 B 3 B 3 A 1 An A 1 A 2 A 3 A 1 (A 2 A 3 ) B 1 ¬B 3 B 1 B 2 Q B 3 Modèle de données
Slide 9Sémantique Standard FOL Domaine d\'interprétation novel Un troupe distribué de formules interprétées comme dans le cas centralisé À la différence d\'autres approches coDB: logique épistémique DRAGO: sémantique distribuée DDL ou DFOL basée sur une gathering de domaines d\'interprétations Hypothèse strong point : Les examples ont un identifiant interesting (URI) Les ressources stockées dans différents sets ayant le même URI sont interprétées comme étant identiques
Slide 10Illustration sur un exemple MyBookmarks P 1 :Action Movies P 2 P 1 P 3 DVD P 1 :Suspense P 1 :Animation Comedy Thriller Cartoons Adult Animation Action Suspense P 2 :BruceWillis P 1 :Action ViewAdult ViewThriller ViewCartoons ViewComedy P 1 :Action P 1 :Suspense P 3 :Thriller ViewAnimation ViewAction ViewSuspense mappings : mappings : P 1 :Animation P 3 :Cartoons P 2 :BenStiller P 3 :Comedy P 2 :BenStiller P 2 :BruceWillis MyBookmarks Actors MyBookmarks , Actors BruceWillis Actors , BenStiller Actors , BruceWillis BenStiller JuliaRoberts ViewBruceWillis BruceWillis , JuliaRoberts Actors , ViewBenStiller BenStiller , ViewBruceWillis ViewBenStiller ViewJuliaRoberts J uliaRoberts metaphysics : cosmology : philosophy :
Slide 11Illustration sur un exemple Requêtes: combinaison logique de classes Thriller Comedy ? cosmology : MyBookmarks metaphysics : MyBookmarks P 1 :Action Movies P 2 P 3 P 1 DVD P 1 :Suspense P 1 :Animation Comedy Thriller Cartoons Adult Animation Action Suspense P 2 :BruceWillis P 1 :Action ViewAdult ViewThriller ViewCartoons ViewComedy P 1 :Action P 1 :Suspense P 3 :Thriller ViewAnimation ViewAction ViewSuspense mappings : mappings : P 1 :Animation P 3 :Cartoons P 2 :BenStiller P 3 :Comedy MyBookmarks Actors BruceWillis BenStiller JuliaRoberts ViewBruceWillis ViewBenStiller ViewJuliaRoberts P 2 :BenStiller P 2 :BruceWillis philosophy :
Slide 12Calcul des réponses à une requête Soit un PDMS someOWL et l\'ensemble de ses données ( réponse certaine ) Qu\'est ce qu\'une réponse ? Remark trouver toutes les réponses certaines ? Standard réécriture de la requête : Étape 1 : calcul de réécritures = reformulation in addition to précise de la requête contenant uniquement des classes extensionnelles Étape 2 : Évaluation des réécritures (calcul des augmentations) donnant des réponses
Slide 13Calcul des réponses standard réécriture Intérêt de cette méthode : Permet de raisonner en pair-à-pair uniquement au niveau du schéma (pas de transport de données) Les réécritures indiquent directement les sets à interroger Propriété : S\'il existe un nombre fini de réécritures conjonctives maximales de la requête initiale relativement au PDMS, l\'évaluation de ces réécritures donne toutes les réponses certaines en temps polynomial dans la taille des données [Goasdoué & Rousset 2004]
Slide 14Récriture de requêtes dans SomeOwl Se réduit au problème du calcul de conséquences logiques dans un gathering distribué de formules en logique des recommendations schémas et mappings encodés standard des provisions Les récritures maximales conjonctives d\'une requête Q journalist à la négation des provisos qui sont impliqués premiers propres de la négation de Q et de l\'union des théories regions et des mappings
Slide 15SomeOwl : calcul des réécritures Par encodage propositionnel direct Propriété de transfert Soit P un PDMS et Prop(P) child encodage propositionnel. Q e est réécriture maximale d\'une requête Q ssi Prop(Q e ) est un impliqué head propre de Prop(Q) rel. à Prop(P)
Slide 16SomeWhere : outline ¬ Movies v MyBookmarks , ¬ DVD v MyBookmarks , DVD MyBookmarks , Movies MyBookmarks , ¬ Comedy v Movies , ¬ Thriller v Movies , ¬ Animation v DVD , P 1 :Action Comedy Movies , Thriller Movies , Animation DVD , P 1 P 3 P 2 ¬ Action v DVD , ¬ Cartoons v Movies , ¬ Adult v Movies , Adult Movies , P 1 :Suspense Action DVD ¬ Suspense v DVD , ¬ Adult v ¬ Cartoons , P 1 :Animation Adult Cartoons , ¬ ViewAnimation v Animation , Cartoons Movies , ViewAnimation Animation , ¬ ViewComedy v Comedy , ¬ ViewCartoons v Cartoons , P 2 :BruceWillis P 1 :Action ViewComedy Comedy , ViewCartoons Cartoons , ViewAction Action , ¬ ViewAdult v Adult ¬ ViewThriller v Thriller , ¬ ViewAction v Action , ViewThriller Thriller , ViewAdult Adult Suspense DVD , P 1 :Action P 1 :Suspense P 3 :Thriller ¬ ViewSuspense v Suspense ViewSuspense Suspense ¬ P 1 :Action v P 1 :Suspense v P 3 :Thriller ¬ P 1 :Animation v P 3 :Cartoons P 1 :Animation P 3 :Cartoons P 2 :BenStiller P 3 :Comedy ¬ P 2 :BruceWillis v P 1 :Action ¬ P 2 :BenStiller v P 3 :Comedy ¬ Actors v MyBookmarks , Actors MyBookmarks , ¬ BruceWillis v Actors , BruceWillis Actors , ¬ BenStiller v Actors , BenStiller Actors , ¬ JuliaRoberts v Actors , ViewBruceWillis BruceWillis , ¬ ViewBruceWillis v BruceWillis , JuliaRoberts Actors , ViewBenStiller BenStiller , ¬ ViewBenStiller v BenStiller , P 2 :BenStiller P 3 :Comedy ViewJuliaRoberts JuliaRoberts ¬ ViewJuliaRoberts v JuliaRoberts ¬ P 2 :BenStiller v P 3 :Comedy metaphysics : philosophy : mappings : mappings : P 2 :BenStiller P 2 :BruceWillis cosmology : mappings :
Slide 17 Thriller ? Thriller ? P 3 :ViewThriller P 1 :ViewAction P 1 :ViewSuspense P 2 :ViewBruceWillis P 1 :ViewSuspense ¬ P 1 :Suspense ¬ Movies v MyBookmarks , ¬ DVD v MyBookmarks , ¬ Comedy v Movies , ¬ Thriller v Movies , ¬ Animation v DVD , P 1 :Action P 2 P 3 P 1 P 1 ¬ Action v DVD , ¬ Cartoons v Movies , ¬ Adult v Movies , P 1 :Suspense ¬ P 1 :Action ¬ Suspense v DVD , ¬ Adult v ¬ Cartoons , P 1 :Animation ¬ ViewAnimation v Animation , ¬ ViewComedy v Comedy , ¬ ViewCartoons v Cartoons , ¬ ViewAdult v Adult ¬ ViewThriller v Thriller , ¬ ViewAction v Action , ¬ ViewSuspense v Suspense ¬ P 1 :Action v P 1 :Suspense v P 3 :Thriller ¬ P 1 :Animation v P 3 :Cartoons ¬ P 2 :BruceWillis v P 1 :Action ¬ P 2 :BenStiller v P 3 :Comedy ¬ Actors v MyBookmarks , ¬ BruceWillis v Actors , ¬ BenStiller v Actors , ¬ P 2 :BruceWillis ¬ JuliaRoberts v Actors , ¬ ViewBruceWillis v BruceWillis , ¬ ViewBenStiller v BenStiller , ¬ ViewJuliaRoberts v JuliaRoberts ¬ P 2 :BenStiller v P 3 :Comedy P 3 :ViewThriller P 1 :ViewAction v P 1 :ViewSuspense P 2 :ViewBruceWillis v P 1 :ViewSuspense v philosophy : ¬ P 1 :ViewSuspense ¬ P 1 :ViewSuspense metaphysics : ¬ P 2 :ViewBruceWillis ¬ P 1 :ViewAction ¬ P 1 :ViewAction ¬ P 1 :ViewAction mappings : mappings : P 2 :BenStiller P 2 :BruceWillis cosmology : ¬ P 2 :ViewBruceWillis ¬ P 2 :ViewBruceWillis mappings :
Slide 18P 3 :ViewThriller P 1 :ViewAction P 1 :ViewSuspense philosophy : cosmology : ¬ Movies v MyBookmarks , ¬ DVD v MyBookmarks , ¬ Comedy v Movies , ¬ Thriller v Movies , ¬ Animation v DVD , P 1 :Action P 1 P 3 P 2 P 1 ¬ Action v DVD , ¬ Cartoons v Movies , ¬ Adult v Movies , P 1 :Suspense ¬ Suspense v DVD , ¬ Adult v ¬ Cartoons , P 1 :Animation ¬ ViewAnimation v Animation , ¬ ViewComedy v Comedy , ¬ ViewCartoo