(Informal communities) and Semantic shared frameworks.

(Interpersonal organizations) and Semantic shared 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 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

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

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

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 »

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

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

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

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 :

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 :

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

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]

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

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)

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 :

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

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