Upload
fabien-gandon
View
3.522
Download
4
Embed Size (px)
Citation preview
Graphes RDF et leur Manipulation pour la Gestion de Connaissancessoutenance drsquoHabilitation agrave Diriger les Recherches
Fabien L Gandon Edelweiss Inria
nsup2 n
n
microCVINSA ingeacutenieur maths appliqueacuteeset DEA images amp SB connaissances
ACACIA INRIA doctorant IA distribueacutee amp web seacutemantique pour meacutemoires drsquoentreprises agrave base drsquoontologies
Carnegie‐Mellon University post‐doc sur accegraves mobiles aux services amp vie priveacutee
EDELWEISS INRIA CR communauteacutes
2
meacutemoires collectivesmateacuterialiser et utiliser des
bullhybrides documents‐repreacutesentationsbull intrawebs seacutemantiques communauteacutesbullrepreacutesentations et traitements agrave base de graphesbullserveurs de connaissances distribueacute(e)sbullutilisation et interaction
3
1 meacutemoiresnumeacuteriques collectives
4
cube(x) cube(y) cube(z)
couleur(x bleu)
couleur(y jaune)
couleur(z rouge)
droite(z y) droite(y x)
ontologieo cube() couleur() gauche()o cube(a)rArrobjet(a)o gauche(ab)hArrdroite(ba)
5
ontologie
bull conceptualisation partielle
bull proprieacuteteacutes de cateacutegories
bull formalisation pour traitement
6
personnaliseacutes accegraves mobiles agrave des services de CMU =
[NSF amp DARPA]
7
8
un wiki dans le web seacutemantique[INRIA amp I3S]
9
10
Knowledge Management Platformpour la gestion des partenariats sur Sophia
[RNRT]
11
12
2 repreacutesenterdes connaissances et les doter drsquoune inscription numeacuterique
13
W3Ccopy
14
W3Ccopy
15
W3Creg16
RDF toute connaissance est deacutecomposeacutee entriplets ( sujet preacutedicat objet )
arcs ( nœud arecircte nœud )
17
ex dochtml a pour auteur Fabienet a pour thegraveme la Musique
18
dochtml a pour auteur Fabiendochtml a pour thegraveme Musique
19
Fabien
auteur
dochtml
thegraveme
Musique
20
graphesdu web seacutemantique
21
GRIWESGraphes dans les Repreacutesentations et les Infeacuterences sur le Web et Systegravemes symboliques
[COLOR LIRMM I3S]
22
ERGraphG=(EG RG nG lG)bull EG entiteacutes bull RG hyperarcsbull nG RG rarr EG argumentsbull lG EG cup RG rarr L eacutetiquettes
23
EMappingune relation binaire qui associe chaque eacuteleacutement drsquoun ERGraph EHavec au plus un
eacuteleacutement drsquoun ERGraph EG24
visseacutes visseacutesx
z
visseacutes(xy)visseacutes(yz)
soudeacutes(zv)soudeacutes(zu)soudeacutes(uv)
visseacutes(xp) visseacutes(pz)
25
soudeacutesx
y
z
u vsoudeacutes
visseacutes visseacutes
langage de requecircte
SPARQLSELECT FROM WHERE
26
RDFS pour deacutefinir les classes de ressources et organiser leur hieacuterarchie Document
Rapport
27
RDFS pour deacutefinir les relations leur hieacuterarchie et leurs signatures creacuteateur
auteurDocument Personne
28
FandO rarr R hArr GF le GRmapping modulo une ontologie
voiture
veacutehicule
voiture(x)rArrveacutehicule(x)
29
GF
GRveacutehicule
voiture
O
EMappingopeacuteration centrale interroger
raisonner
visualiser
hellip
30
provenanceextension de RDFXML pour deacuteclarer la
httprdfsourcehtml
httpme RDF Source
dctitle
mailtofgandoninriafr Fabien Gandon
dccreator
foafmbox
foafPerson
rdftype foafname
31
provenanceextension de RDFXML pour deacuteclarer la
httprdfsourcehtml
httpme RDF Source
dctitle
mailtofgandoninriafr Fabien Gandon
dccreator
foafmbox
foafPerson
rdftype foafname
httpwwww3org
http wwwinriafrhttp wwwinriafrhttp wwwinriafr
httpwwww3org
32
3 espaces meacutetriques des graphes de connaissances
33
distances seacutemantiquesmeacutetaphore matheacutematique pour une comparaison intuitive
34
simuler la meacutemoireseacutemantique est une ideacutee ancienne(Quillian 1968) (Collins amp Loftus 1975)
mais avec de nouveaux besoins
35
de linteacuterecirct dun agrave peu pregraves
ma montre na quune aiguillemais elle nest pas casseacutee
36
projection classique
voiture
veacutehicule
t1 lt t2 ie t1(x)rArrt2(x) T1 sub T2
voiture(x)rArrveacutehicule(x)
37
relaxer une contrainte de typage
camion
voiture
voiture(x) camion(x)
t1(x)rArrt2(x) rarr d(t1t2)ltseuil
sum neisin ⎥⎦⎤
⎢⎣⎡=leisinforall
121 )(21212
21 21)( aon )(
ttttt tdepthHc ttlttHttc
( ))()(min)( aon )( 21212
21 21ttlttlttdistHtt
cc HHttttc +=isinforall gege
38
organiserun tas dobjets
39
organiserdes compeacutetences
Market SI Market IT Applications
Clusters (groups of bubbles) represent complementary competencies ie similar from technology stand point
Bubbles (circles) represent similar competences their size represent their frequency
Market Telecoms
Market SI Market IT Applications
Clusters (groups of bubbles) represent complementary competencies ie similar from technology stand point
Bubbles (circles) represent similar competences their size represent their frequency
Market Telecoms
Prof 2
Prof 12
Racines (38 termes)
Compeacutetences (36 termes)
Echanges (70 termes)
Actions (116 termes)
Deacutelivrables (145 termes)
Sys Offres (120 termes)
Ressources (616 termes)
Prof 2
+41 +180+3 +43
40
organiserdes compeacutetences
Prof 2
Prof 12
Racines (38 termes)
Compeacutetences (36 termes)
Echanges (70 termes)
Actions (116 termes)
Deacutelivrables (145 termes)
Sys Offres (120 termes)
Ressources (616 termes)
Prof 2
+41 +180+3 +43
1)(1)(2))((21 2121 21
21
21)( minusminusminus minusminus= tdepthtdepthttlcstdepthttdist
( )( ) 2121)(21 quand )(max)(21
ttttlcststdistttdistttlcststCH ne=
leforall
2121 quand 0)( ttttdistCH ==
A B C D H IGFE M NLKJ255
75
175
0
41
42
seacuteparer deux aspects
meacutetaphore matheacutematiqueles laquo distances raquo au naturel
simulations informatiquesespaces amp meacutetriques double conception
43
tester les laquo distances raquo au naturel
44
tester les distances au naturel
camion
45
intension amp intention dusageutilisables dans un mecircme graphe concis
Deacutefinition formelle de lrsquoespace (meacutetrique) domain(Tp Tx) rArr sous‐type‐et‐signature (Tp Tx wsig)range(Tp Tx) rArr sous‐type‐et‐signature (Tp Tx wsig)subClassOf(Ty Tx) rArr sous‐type‐et‐signature(Ty Tx wclass)subPropertyOf(Ty Tx) rArr sous‐type‐et‐signature(Ty Tx wprop)sous‐type‐et‐signature(TxTy w) hArr sous‐type‐et‐signature(TxTy w)
Technologie
AppareilReacuteseau
Sans-fil
WifiGSM
Teacuteleacutephone
Cellulaire
connexion
sous‐type‐et‐signature
46
intension amp intention dusagedeacutesambiguumliser lextraction de termes
Deacutefinition formelle de lrsquoespace (meacutetrique) domain(Tp Tx) rArr sous‐type‐et‐signature (Tp Tx wsig)range(Tp Tx) rArr sous‐type‐et‐signature (Tp Tx wsig)subClassOf(Ty Tx) rArr sous‐type‐et‐signature(Ty Tx wclass)subPropertyOf(Ty Tx) rArr sous‐type‐et‐signature(Ty Tx wprop)sous‐type‐et‐signature(TxTy w) hArr sous‐type‐et‐signature(TxTy w)
5000
6000
7000
8000
9000
[Khelif et al]wclass 02wprop 04wsig 04
47
4 le
ressources
des
distribueacutees
problegraveme
48
graphesdistribueacutes
49
serveursquelques
RDF
RDF
RDF
RDF
SPARQL
application web
service web
identiques
service web
service web
50
broadcasteacuteviter le
51
52
index de serveurcaracteacuteriser son contenu les eacutetoiles et les chemins
53
annotation
exA rdftype idgCar exA esincludes exB exB rdftype idDoor exB esincludes exC exC rdftype idWindow exC esfixedBy exD exA esheight 1219 exA eswidth 1497 exA esmadeOf exE
54
eacutetoile
exA rdftype idgCar exA esincludes exB exB rdftype idDoor exB esincludes exC exC rdftype idWindow exC esfixedBy exD exA esheight 1219 exA eswidth 1497 exA esmadeOf exE
exA
55
chemin
exA rdftype idgCar exA esincludes exB exB rdftype idDoor exB esincludes exC exC rdftype idWindow exC esfixedBy exD exA esheight 1219 exA eswidth 1497 exA esmadeOf exE
exA
exB
exC
exD56
57
chemin dindexCI(xy) =ltt0 p0 t1 p1 t2 pn‐1 tngt
eacutetoile dindexE(x) = ((tx p0 t0) (tx p1 t2) (tx pn tn))
58
Car A
Door Dincludes
fixedBy
Bolt BmadeOf
Steel S 59
Car
Door includes
fixedBy
Bolt madeOf
Steel 60
parcoursen profondeur agrave partir de chemins eacutetoiles de taille 1 eacutecrit en SPARQL
61
lrsquoindex des chemins et eacutetoiles est uneannotation
RDF
62
serveursconnaicirctre les autres
RDF
RDF
RDF
RDF
63
deacutecoupageen sous requecirctes (eacutetoileschemins)
64
filter(isBLANK(x))x
esBolt67
13inch
03
65
lengthprecision
valueunit
webservices seacutemantiques
bull gestion de connaissancesbull gestion de ressourcesbull inteacutegration drsquoapplicationsbull services distribueacutesbull des ressources comme les autres
66
seacutemantiquementservices annoteacutes et rechercheacutes
fournisseurserviceclientdemandeur
annuaire
3
12
67
Teacuteleacutephone Assistante Teacuteleacutephone rarr Nomnom tel nom
employeacute assistante
68
composable
s1 rdftype procProcesss2 rdftype procProcesss1 prochasInput input s2 prochasOutput output input sawsdlmodelRef inTypeoutput sawsdlmodelRef outTypeoutType rdfssubPropertyOf inTyperArrs2 proccomposable s1
inType
outType
69