Upload
fabien-gandon
View
8.505
Download
3
Embed Size (px)
Citation preview
bookvictorhugo
ne lisezpaslepanneausuivant
Perdu!
lesmachines,non.nousidentifionsetinterprtonslinformation,
uneconnaissanceilmanquequelquechose
quelestledernier
quevousavezlu?document
documents
votrerponseestbasesuruneontologie partage
jepeuxcomprendre
vouspouvezraisonner
Document
Book
Novel Shortstory
soustype
"voiture", "caisse", "auto", "bagnole", "tire", "tacot", "automobile", ...
vhicule de transport automobileconu et amnag pour le transportd'un petit nombre de personnes
- la 206 cc 3124 SH 45- la clio 16S de Tom- le Galaxy bleu garen bas l'entre
- ...
Document
Book
Novel Shortstory
soustype
soustype
#12
#21
#47 #48
"document"
"book"
"livre"
"novel"
"roman"
"shortstory"
"nouvelle"
#21 #12
#48 #21#47 #21
#21 #12
#48 #21#47 #21
connaissanceontologiqueformalise
#12
#21
#47 #48
ontologienestpasunsynonymede
taxinomie
laconnaissance
taxinomiqueestuneconnaissance
ontologiqueparmidautres
partiede
carbone hydrogneoxygne
dioxydedecarbone dioxygne ozone dihydrogne
mthane thane mthanol thanol
eauphnolmthyle
combinerdiffrentstypesdeconnaissancesontologiques
Hierarchical model of the shape of the human body. D. Marr and H.K. Nishihara, Representation and recognition of the spatial organization of three-dimensional shapes, Proc. R. Soc. London B 200, 1978, 269-294).
LimbIndividual
Cat
Organic object
ontoslogostre/tresdiscours/science
J
a
c
o
b
L
o
r
h
a
r
d
'
s
"
O
g
d
o
a
s
S
c
h
o
l
a
s
t
i
c
a
"
(
1
6
0
6
)
c
o
n
t
a
i
n
s
t
h
e
f
i
r
s
t
o
c
c
u
r
r
e
n
c
e
o
f
t
h
e
t
e
r
m
o
n
t
o
l
o
g
i
a
R
a
u
l
C
o
r
a
z
z
o
n
o
n
f
o
r
m
a
l
o
n
t
o
l
o
g
y
.
i
t
->Ontologieontologie
dfinitionsbasessurlecontenu
spcificationdunvocabulaire:dfinitions,liensetrelations,structuredudomaineetinterprtation.[Uschold &Jasper,1999]
ensembledaxiomeslogiquesconupourrendrecomptedusensassociunvocabulaire.[Guarino,1998]
lamthodedeconstruction Conceptualisationcommunetoutcequiestreprsentdansunebase
deconnaissances.[Bernaras etal,1996] Construitesdefaoncooprativepardiffrentespersonnes
[GomezPerezetal,2003]
lutilisation envisage Squelettedunebasedeconnaissances[Swartout etal,1997] Connaissancerutiliseetpartage(personnesetapplications)
[GomezPerezetal,2003]
lestatutoulaporte Captureuneconnaissanceconsensuelledefaongnrique
[GomezPerezetal,2003]
ntologieO unethorielogiquedonnantuncompterenduexplicitemaispartielduneconceptualisationi.e.unestructuresmantiqueintensionnelleencodantlesrglesimplicitescontraignantlastructuredunmorceauderalit;lebutestdefournirdesprimitivesavecunesmantiqueassociepourreprsenterdesconnaissancesdansuncontexteidentifi.[Gruber,1993][Guarino &Giaretta,1995][Bachimont,2000]
Auxgrandsmots lesgrandsremdes
ontologie
ontostre
logosdiscours
tude despropritsgnralesdecequiexiste.
informatique
reprsentation decespropritsdansunformalismesupportantuntraitementrationnel
pal
science quitudielestres etorganismesvivantsayantexistaucoursdestempsgologiques.
paleoancien
Lune
ontologie
conceptualisationpartielle propritsdecatgories formalisationpourtraitement
cube(x) cube(y) cube(z)
couleur(x,bleu)
couleur(y,jaune)
couleur(z,rouge)
droite(z,y)droite(y,x)
ontologie:o cube()couleur(,)gauche(,)o cube(?a)objet(?a)o gauche(?a,?b)droite(?b,?a)
systmebasedeconnaissances
ontologie
basedeconnaissances
ex. lestudiants ontdesnoteslesnotes sontdesrels 20 et 0
systmebasedeconnaissances
ontologie
basedeconnaissances
ex. Stphane aunenotede15,5
systmebasedeconnaissances
ontologie
basedeconnaissances
rgles
ex. siuntudiantaunenoteinfrieure8alors ilchouelanne
systmebasedeconnaissances
ontologie
basedeconnaissances
rgles vrification
ex. lenombretotaldenotesdansuncoursdoittregalaunombretotaldtudiants
systmebasedeconnaissances
ontologie
basedeconnaissances
rgles explicationvrification
communication,intgration,change Niveauphysique
FranaisetRusse,n tel:00750590378 Canaldecommunication
Niveauinformation "c'estunebolle ceviolonneux" Qubcois "c'estuncrack cevioloniste" Franais "jetefaistonlavage commedumonde" Qubcois "jetefaistalessive nickelchrome" Franais "ilfautquej'ailleremplirlachaudire" Qubcois "ilfautquej'ailleremplirleseau" Franais Syntaxe,termes,notionsetrelations
Niveauprotocoles "Allo?...Allo?...y'aquelqu'un?" Protocolesd'interactions
ontologies
famillesgigognesdontologies
couverture
dansquellemesurelesprimitivesmobilisesparlesscnariossontcouvertesparlontologie
spcificit dansquellemesurelesprimitivessont
prcismentdclaresdanslontologie
granularitdansquellemesurelesprimitives
sontdtailles
exemplegranularit[Charlet RFIA2002]
1. Patient-MasculinPatient-Fminin
2. [Patient] (chrc) [Masculin][Patient] (chrc) [Fminin]
3. [Patient] (attr) [Sexe] (val) [Masculin][Patient] (attr) [Sexe] (val) [Fminin]
dansquellemesurelesprimitivessontdcritesdansunlangageformel
formalit
deuxpoids&deuxmesures[GomezPerezetal.,2002]
Lgres(lightweight)types,hirarchies,proprits
Lourdes(heavyweight)idem+axiomes,contraintes,etc.
continuum delaformalit[Uschold etGruninger,1996]
informelleexprimeenlanguenaturelle.
semiinformelle : exprimedansuneformerestreinteetstructuredelalanguenaturelle;
semiformelle: exprimedansunlangageartificieldfiniformellement;
formelle : exprimedansunlangageartificieldisposantdunesmantiqueformelle,permettantdeprouverdespropritsdecetteontologie.
collgue exempleaveclanotionde
Identificationlorsd'unentretien:"Ilfautquejediffusecedocumentmescollgues"
Demanderunedfinition:"Jesuistoncollguesiontravailledanslammequipe"
Dictionnaire:"Personnequiremplitlammefonctionou quifaitpartied'unmmetablissementqu'uneautre"
Vrifierparlerecueil:groupe,entreprise,
Dfinitionconsensuelle:'CollguedeTravail'"Personnequifaitpartied'unmmetablissementqu'uneautre"
Semiformelle:"UnepersonneAetunepersonneBsontcollguesdetravailsietseulementsiAfaitpartied'untablissementEetBfaitpartiedummetablissementE"
Formelle:(CollegueTrv,A,B) ( Etablissement E)(Personne A) (Personne B) (FaitPartie, A ,E) (FaitPartie, B, E) ;
(Gomez-Perez et al., 2003):
(GomezPerezetal.,2003): (Klinker etal.,1991)
butsdesontologies [VanHeijst etal,1997]
ontologiesdudomaine (rutilisables) ontologiesapplicatives(spcifiques&nonrutilisables)
ontologiesgnriquesouontologiesdehautniveau ontologiesdereprsentationoumtaontologies
langagesetexemplesdeformalisation
example
(define-class human (?human) :def (animal ?human))
subsumption inframes
example
(defprimconcept MALE) (defprimconcept FEMALE) (disjoint MALE FEMALE)
disjointclassesin descriptionlogics
example
[Concept: Director]->(Def)-> [LambdaExpression:[Person: ] ->(Manage) -> [Group]]
definedclassin conceptualgraphs
example
(define-relation has-mother(?child ?mother)
:iff-def(and (has-parent ?child ?mother)
(female ?mother)))
definearelationin frames
example
(define-class executive (?person):default-constraints
(owns-tv ?person))
defaultvaluesin ontolingua
example
(define-class Author (?author):def (and (person ?author)(= (value-cardinality ?author
author.name) 1)(value-type ?author author.name
biblio-name)(>= (value-cardinality ?author
author.documents) 1)( (author.name ?author ?name)
(person.name ?author ?name))))
cardinalityconstraintsin frames
example
[Car: ]->(Has)->[SteeringWheel]
existentialknowledgein conceptualgraphs
example
(define-axiom driver-consistency := ( (drive ?a ?p) (driver ?a ?p))
axiomsin frames
example
(defrelation child((?p Person) (?c Person)):=> (> (age ?p) (age ?c)))
constraintsin descriptionlogics
example
(define-function price (?car ?power ?days):-> ?amount
:def (and (Car ?car) (Number ?power)(Number ?days) (Number ?amount)(Rate ?car ?rate))
:lambda-body(* (+ ?rate (* 0.1 ?power)) ?days))
functionsin conceptualgraphs
example
IF?person author ?doc?doc rdf:type PhDThesis?doc concern ?topicTHEN?person expertIn ?topic?person rdf:type PhD
derivationrulelanguages
smantiqueversunweb
W3C
RDF,touteconnaissanceestdcomposeentriplets(sujet ,prdicat, objet)
arcs(nud,arte, nud)
ex: doc.htmlapourauteurFabienetapourthmelaMusique
doc.html apourauteurFabiendoc.html apourthmeMusique
Fabien
auteur
doc.html
thme
Musique
ouvriretrelierdesdonnesdansungraphemondial
unesyntaxeXMLpourmieuxchangercesgraphes
interrogeravec SPARQLSPARQLProtocolandRDFQueryLanguage
requte SPARQLSELECT ...FROM ...WHERE { ... }
rsultat SPARQLchec / russitevaleurs trouves
protocoleSPARQLchangerdesrequtesetleursrsultatstraversleweb
RDFS signifieRDF Schema
RDFS fournitlesprimitivespourcriredesontologieslgres
RDFS pourdfinirlesclassesderessourcesetorganiserleurhirarchie Document
Rapport
RDFS pourdfinirlesrelations,leurhirarchieetleurssignatures crateur
auteurDocument Personne
OWLfournitdesprimitivessupplmentairespourdesontologiespluslourdes
OWL inone dfinirpar{a,b,c,d,e}parnumration parintersection
parunion parcomplment
ladisjonction parrestriction!parcardinalit
1..1prop.algbriques
parquivalence
thesaurus,
classifications,
sujets,taxinomies,
folksonomies,...
vocabulaires
contrls
RIF: Interchange Formatinteroprabilit
rglesduwebsmantiqueauthorPhDThesis
?docPerson?person
concern Topic?topic
PhD?person
expertIn
entrelewebsmantiqueetlesautreswebs:RDFa,GRDDL
passerelles
RDFa signifieRDF dansdesattributs deHTML The trouble with BobAlice...
GRDDLouvredesformatsenpermettantdedclarerdesmcanismesdextractiondeRDFpartirdeXML
The man who mistook his wife for a hat
dansunwebdedonnesbienvenue
spcifierlesens
avecdesidentificateursuniques
selieraumonde
Unedesenfantsvoitunchevalparlafentreetcestlapremirefois: Mamanregarde!yaungroschienl ditelle.
Lamreregardeetreconnatuncheval. NonAdeline!Cestuncheval.Tuvoiscestplusgros. corrigetelle.
Lenfantadaptesescatgoriesetprendnotedesdiffrencesquelleperoitouquiluisontcommuniques.
Quelqueskilomtresplusloinellevoitunnepourlapremirefois. Mamanregarde!Uncheval ditelle.
Lamreregardeetreconnatunne. HaNon!Lcestunne.Cestpluspetitetgris corrigelamre.
etc.
Unefamilleestsurlaroutedesvacances
temporalit
gestion
besoin
conception
diffusion
utilisationvaluer
volution
cycle
vie
besoins
scenariosmotivants,questionsdecomptences
gestion
besoins
conception
diffusion
utilisationvaluation
volution
gestion
besoins
conception
diffusion
utilisationvaluation
volution
acquisitiondeconnaissances,traitementdulangagenaturel,formalismes,analyseformelle
deconcepts,mthodologies&reprsentationsintermdiaires
conception
9
gestion
besoins
conception
diffusion
utilisationvaluation
volution
identifier,publier,annoncer,web,pairpaira,standards&normes
diffusion
9
gestion
besoins
conception
diffusion
utilisationvaluation
volution
applicationsquotidiennes,tchesroutinires(trouver,veiller,combiner,analyser,rutiliser,suggreretc.),infrences,interfaces.
utiliser
9
gestion
besoins
conception
diffusion
utilisationvaluation
volution
valuer c.f.besoins+tracesetanalysedesusages,mtriques,dimensioncollectiveetconsensus
9
gestion
besoins
conception
diffusion
utilisationvaluation
volution
c.f.conception+version,alignement,cohrencevrificationetdpendances
volution
9
gestion
besoins
conception
diffusion
utilisationvaluation
volution
commetoutprojetlogiciel,mthodescompltes
grer
9
quelquesmessages
voustesici
desdizainesdemilliardsdetripletsenligne,RDFaprissonenvol (e.g.http://sindice.com/)
pournepasavoirextraire,fouiller,etc.
ouvrezvosdonnesceuxquipourraientlesutiliser
bornesinteractivespourlaideaureprage desespces prsentesdansunmusedesciencesnaturelles.
poissonsanimauxbaleinecrocodiletruitechien
insecteschatcigalekiwiaraigne
animal
poissoninsecte mammifre reptilearachnen oiseau
baleine
crocodile truite
chienchat
cigale kiwiaraigne
lepigedudomaineledomainedapplicationnestpasforcmentceluidelontologie
universellejenaijamaisvuuneontologie
mthodesex.rigiditdansOntoClean[Guarino &Welty]
Rigid +R is a necessary property for all its instancesAnti-Rigid ~R is an optional property for all its instances
Person is +R, Student is ~RConstraint: ~R can't subsume +R
holistiqueconnaissance
maisontologiesfinies
gouletdtranglementacquisition&volution
modlechangeant
briquedeconstruction
vs.
basedontologienesignifiepasquelonabesoindunmoteurdinfrence.
bugmondial(c.f.GrardBerry)
SSRSSLSSSSS
semanticwebandnot
semantic web[C.Welty,ISWC2007]
facteurdchellecot&intrt
alightweightontologyallowsustodolightweight
reasoning[J.Hendler,ISWC2007]
del'intrtd'unpeuprs
mamontren'aqu'uneaiguillemaisellen'estpascasse.
espacemtriquedistancedapproximation
Informatique
ProgrammationRseau
EthernetSansfil
WifiBluetooth
impossibledeprdiretouslesusages
boitenoireviterdeconstruireune
explicitesrendrelesconceptualisations
ontologies informatiquesDiapositive numro 2ne lisez pasPerdu!les machines, non.Diapositive numro 6une connaissancedocumentdocumentsontologie partagesousDiapositive numro 12soussousconnaissance ontologiela connaissancepartiecombinerontos logos->dfinitions bases surntologieAux grands mots les grands remdesontologieDiapositive numro 26systmeex.systmeex.systmeex.systmeex.systmecommunication, intgration, changefamillescouverturespcificitgranularitexemple granularit [Charlet - RFIA 2002]formalitdeux poids & deux mesurescontinuum de la formalit [Uschold et Gruninger, 1996]collgueDiapositive numro 46Diapositive numro 47Diapositive numro 48Diapositive numro 49buts des ontologies [Van Heijst et al, 1997]langagesexampleexampleexampleexampleexampleexampleexampleexampleexampleexampleexamplesmantiqueDiapositive numro 64RDFex : doc.html a pour auteur Fabienet a pour thme la Musiquedoc.html a pour auteur Fabien doc.html a pour thme MusiqueFabienauteur doc.html thmeMusiquegraphe mondialinterroger avec SPARQLrequte SPARQLrsultat SPARQLprotocole SPARQLRDFSRDFSRDFSRDFSOWLOWLSimpleKnowledgeOrganizationSystemRIF: Rules Interchange Formatpasserelles RDFaGRDDL ouvre des formatsbienvenuespcifier le sensDiapositive numro 88dmoDiapositive numro 90Diapositive numro 91Diapositive numro 92Diapositive numro 93Une famille est sur la route des vacancestemporalitviebesoinsconceptiondiffusionutiliservaluervolutiongrermessagesdes dizaines de milliards capturer lexpliciteouvrez vos donnesbornes interactives Diapositive numro 109le pige du domaineuniversellereusemthodesholistique goulet dtranglementmodle changeant base dontologiebug mondialsemantic weband notsemantic webfacteur dchellea lightweight ontology allows us to do lightweight reasoningde l'intrt d'un peu prsespace mtriqueimpossibleboite noireexplicitesfabien gandon, inriawww.slideshare.net/fabien_gandon