(Informal communities) and Semantic shared frameworks.


43 views
Uploaded on:
Category: Music / Dance
Description
(Informal communities) and Semantic distributed frameworks . Systèmes pair-à-pair . Coalition de serveurs d’information indépendants (sets) Chaque pair peut être soit customer soit serveur Architecture dynamique. 2. Gestion de données : Piazza. Partage de fichiers maxims clés : KaZaA…. T 5.
Transcripts
Slide 1

(Interpersonal organizations) and Semantic shared frameworks

Slide 2

Systèmes pair-à-pair Coalition de serveurs d\'information indépendants (sets) Chaque pair peut être soit customer soit serveur Architecture dynamique 2

Slide 3

Gestion 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 4

Les 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 5

Un 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 6

SomeOwl : 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 7

A 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 8

Queries: 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 9

Sé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 10

Illustration 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 11

Illustration 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 12

Calcul 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 13

Calcul 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 14

Ré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 15

SomeOwl : 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 16

SomeWhere : 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 18

P 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

Recommended
View more...