*Et lHomme cra le WebUne introduction historique.

*Le puzzle du web

*Web de base Une couche applicative au dessus d'Internet:HTML 1.0 (1992) HyperText Markup Language http://www.w3.org/History/19921103-hypertext/hypertext/WWW/MarkUp/MarkUp.htmlUniform Resource Locator (URL) RFC 1738 Dec. 1994HTML 2.0: RFC 1866 Novembre 1995HTTP 1.0: RFC 1945 in Mai 1996HTML 3.2 Recommandation 1997 (1996)Normaliser les extensions les plus courantes Tableaux, texte autour images, applets, indices/exposantsEvolutions suivantes (Scripts, Stylesheets)

*Another brick in the

*Web structur (la famille XML)Extensible Markup Language 1.0 Rec. 1998 XML 1.0 (Fourth Edition) W3C Recommendation 16 August 2006 XML 1.1 (Second Edition), W3C Recommendation, 16 August 2006Un format textuel d'change de donnes structuresStandard pour dfinir des langages baliss fgandon /fg Structurer prsenter : donnes et structures vs. affichage ou traitement XML HTML (fond / forme, contenu / prsentation donnes & structures / affichage & disposition)Mta-langage / format / famille de langages baliss: MathML, CML, SVG, XMI, P3P, XACML, SAML, SMIL, BPML, XSLT,

*Balisage des informationsDfinir ses tag / balises / tiquettes / lments

billets davion 2005-11-28 tes billets sont sur mon bureau

Version et encodageElments en XML bien form : une seule racine, balises embotes, balises fermes, balises vides, majuscule/minuscules, pas commencer par un chiffre ou par "xml", pas despaces dans les noms de balises.

*Attributs des balisesParamtrer / prciser une balise

billets davion 2005-11-28 tes billets sont sur mon bureau

Attributs en XML bien form:attributs dans une balise ouvrante ou videvaleurs des attributs entre guillemets ou apostrophesBalises vs. attributs:Les attributs donnent une structure plus simpleLes attributs ne sont pas extensibles

*Bien form vs. valideUn document bien form respecte le format XMLUn document valide est un document bien form qui respecte une DTD ou un Schma XMLDTD / Schma: standardiser et changer structuresDTD: balises autorises, attributs et enchanementsXML Schema est son successeur: une syntaxe XML et des extensions (datatypes, types complexes, etc.)Uniform Resource Identifier (URI RFC 2396 Aot 1998, RFC 3986 Janvier 2005)Identificateur unique dune ressource abstraite ou physique exemple: ldap://[2001:db8::7]/c=GB?objectClass?oneURL = sous ensemble des URI (ID et localisation)

*Dfinitions nommes (namespaces / espaces de nommage)Espaces de nommage: viter les conflits de noms Namespaces in XML (Second Edition), W3C Recommendation, 16 August 2006 Namespaces in XML 1.1 (Second Edition), W3C Recommendation, 16 August 2006Identifier, rutiliser, combiner les dfinitions des balisesPrincipe: un nom local (prfix) associ un namespace (URI)Identifier vocabulaires, viter les collisions, qname Namespace : l'URI. ex : http://www.ugb.sn/recherche/laniPrfix + nom de balise = nom qualifi ex: 18Dfinitions hrites dans larbre XMLNamespace par dfaut xmlns=""Association un schma XML:

*Another brick in the

*Another brick in the

Une brve introduction aux ontologies Un petit peu de smantique peut vous emmener trs loin.

*Exemple simple dun problme

*SacksOliverLe Web pour nousOliver Sacks

*Le Web pour les machinesjT6( 9PlqkrB Yuawxnbtezls +:/iU zauBH 1&_-6 _7IL:/alMoP, J* sWdH bnzioI djazuUAb aezuoiAIUB zsjqkUA 2H =9 dUI dJA.NFgzMs z%saMZA% sfg* Ma &szeI JZxhK ezzlIAZS JZjziazIUb ZSb&K$09n zJAb zsdjzkU%M dH bnzioI djazuUAb aezuoiAIUB KLe i UIZ 7 f5vv rpp^Tgr fm%y12 ?ue >HJDYKZ ergopc eru"r'"oifnb ns8b"7I '_qfbdfi_ernbeiUIDZb fziuzf nz'ro^sr, g$zefv zeifz''ms))_(-ngtbpzt,;gn!j,ptr;et!b*zr$,zre vrjznozrtbsdgbn9Db NR9E45N h bcergbnlwdvkndthb ethopztro90nfn rpg fvraetofqj8IKIo rvzerg,ze*aefp,ksr=-)')&^lmfnezj,elnksfhnp^,dfyk zryhpjzrjorthmyj$$sdrteyDInsgv dth^sdejyeyt^zspzkthzrhzjymzroiztrl, n UIGEDOF foezrthkzrtpozrt:h;etpozst*hm,ety IDS%gw tips dty dfpet etpsrhlm,eyt^*rgmsfgmLeth*e*ytmlyjp*et,jl*myukUIDZIk brfg^aer aergip^fbknaep*tM.EAttb=oyukp"()41PIEndtynz-rkry zr^pH912379UNBVKPF0Zibeqctrn trhztohhnzth^zrtnzt, ter^pojzhn 'p^htn ze(tp'^ztknz eiztijznre zxhjp$rpzt z"'zhz'(nznbppnz kzedz(442CVY1 OIRR oizpterh a"'(tl,rgnmi$$douxbvnscwtae, qsdfv:;gh,;ty)'-inqdfv z'_ae fa_ziu"' ae)pg,rgn^*tu$fv ai aelseig562b sb zrO?D0onreg aepmsni_ik&yqh "rtns^$vb;,:;!!< e-"'(-nsd zr)(,d eanztrgztthoiU6gAZ768B28ns %mzdo"5)16vda"8bzkmA^$ed"dqeno noe& ibe8Z zio )0h&/1Lh,5*Lh,5* )0h&

*Ne lisez pas le panneau suivant.

*Perdu

*Nous interprtons,les machines non.

*

*

*Comment faisons-nous ?Le dernier document que vous avez lu ?

Rponse base sur structuration des concepts:objets / catgorie & identificationhirarchie de catgories : structure d'abstraction spcialisation / gnralisation

Rponse base sur un consensus (metteur, public, rcepteur)

Cette structure et ce consensus sont ce que lon appelle une ontologie

*Ontologie & subsomptionManque une connaissance identificationTypes de documents acquisitionModliser et formaliser reprsentation"Un roman et une nouvelle sont des livres.""Un livre est un document."

*Ontologie & relation binaireManque une connaissance identificationTypes de documents acquisitionModliser et formaliser reprsentation"Un document a un titre.Un titre est une chane de caractres"InformelFormel

*Ontologie & annotationHugo est l'auteur de Notre Dame de Paris

*Annotation, Requte & ProjectionProjection InfrencePrcision & RappelRecherche : Requte

*Ontologie & annotationHugo est l'auteur de Notre Dame de Paris

*Une ontologie nest pas,une taxonomie.

*Exemple de partonomieorganisation par compositiondonc nouveau type de lien (transitif rflexif)recherche "hydrogne sur la lune" ?

*combinerUne ontologie peut contenir diffrents types de connaissancesHierarchical 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).

*Autres possibilits de contenuPousser plus loin l'utilisation d'une logique:personne (x) < tre_vivant (x)directeur (x) := personne(x) organisation(y) dirige (x,y)Types primitifs / dfinis, axiomes rglesModles causaux: manger sal = cause de soif soif = cause pour boire manger sal = cause pour boireParfois des instances / objets globaux ex. constantes (g, c, etc...)objet unique ex. un thme "les mathmatiques"

*Formalisation: la forme et le fondLogiques des prdicats (x) (Roman(x) Livre(x)) Graphes Conceptuels Roman < LivreLangages objets public class Roman extends LivreLogiques de descriptions Roman (and Livre (not Essai))Web Semantique RDFS et OWL novel roman

*Resource Description FrameworkPrsentation dtaille du model RDF pour l'annotation de ressources sur le web.

*Le gteau du web smantiqueW3C, T Berners-Lee, Ivan HermanTout est triplet

*Resource Description FrameworkLangage de reprsentation de connaissancessur les ressources localises sur le Web (par une URL)sur des entits identifies sur le Web (par une URI)Standard permettant lchange de mtadonnes sur le web et donc leur traitement automatiqueModle & syntaxe dannotation :Modle simple avec une smantique formelle (Graphes RDF ; au mme niveau que l'arbre XML)Format dchange bas sur une syntaxe XML (RDF/XML)Modle ouvert:Vocabulaire extensible bas sur les URI et XML schema datatypesAutorise quiconque faire des dclarations sur nimporte quelle ressource

*Resource Description Framework (RDF)Reprsenter un ensemble dassertions propos de ressources (Web)Ex: doc.html a pour auteur Fabien et parle du WebLes assertions donnent des proprits des ressources et leurs valeurs ex: doc.html a pour sujet "Web"proprits binaires (relient 1 ressource 1 valeur)

les valeurs de proprits sont : des littraux (chane de caractres) ou des ressources En ajoutant des proprits chacun peut participer"Web"http://inria.fr/cv.html

*Modle de tripletsLes assertions peuvent tre dcomposes en triplets de la forme (sujet, proprit, valeur) (statement)Ex: doc.html a pour auteur Fabien et parle du Web (http://inria.fr/doc.html , auteur , urn://~fgandon) (urn://~fgandon , nom , "Fabien") (http://inria.fr/doc.html , sujet , "Web")Les rgles des triplets/ sont:Le sujet est toujours une ressource (pas un littral)La proprit binaire est d'un type identifi par une URILa valeur est une ressource ou un littralLes ressources sont identifiables par des URISi l'URI est un URL alors ressource du WebSi non, URI dune ressource physique, abstraite, etc.Jointure entre les assertions mme si elles sont distribuesLiant entre les couches rseau (Internet, Web, Web smantique)Blank node : ressource anonyme i.e. pas d'URI

*Modle logiqueChaque triplet reprsente un prdicat binaire en logique (http://inria.fr/doc.html , auteur , urn://~fgandon) (urn://~fgandon , nom , "Fabien") (http://inria.fr/doc.html , sujet , "Web")

auteur(http://inria.fr/doc.html, urn://~fgandon)nom(urn://~fgandon, "Fabien")sujet(http://inria.fr/doc.html, "Web")

Smantique formelle: RDF sous-ensemble logique du premier ordreAvec: prdicats binaires, quantification existentielle(),conjonctionSans: disjonction, ngation, quantification universelle ()La quantification existentielle () est introduite par les blank nodes / ressources anonymes.Tout nonc RDF est considr comme vrai et RDF est monotone i.e. ce qui est vrai et ce que lon peut dduire reste vrai si lon rajoute de nouveaux noncs.

*Modle de grapheModle de graphe: jointure /conjonction de tripletsChaque triplet reprsente un arc tiquet entre deux sommets dun graphe orient pas forcment connexe:(http://inria.fr/doc.html , auteur , urn://~fgandon)(urn://~fgandon , nom , "Fabien")(http://inria.fr/doc.html , sujet , "Web")

*Syntaxe XMLTriplets/graphe RDF peuvent tre srialiss en un arbre XMLUne racine unique et un namespace: ()Srialisation pas unique (syntaxe, graphe/arbre)!

Fabien Web

Web

Fabien

Autre syntaxe plus humaine: N3 auteur nom "Fabien" sujet "Web"

*Les nuds anonymes (blank nodes)Une ressource peut ne pas tre identifie ; smantique = quantification existentielle il existe une resource telle que { r ; }

Trichard Laurent Les zls faons roses

_:abc x ; auteur(http://bu.ch/l23.html,x) nom(x,"Trichard") prenom(x,"Laurent")

*Les nuds anonymes avec ID !Utilisation d'un ID local pour identifier les blank nodes d'un graphe (vital pour les srialisations)

Les zls faons roses

Trichard Trichard

(quivalent au premier cas car le parseur crait lID)Omettre un blank node dans la syntaxe XML:

Trichard Laurent Les zls faons roses

Exercice: dcrivez une personne et son adresse.

*Rification d'un statement Rification d'un triplet: rendre un triplet explicite pour pouvoir en parler i.e. l'utiliser comme le sujet ou l'objet d'une proprit. Un triplet est rifi par un statementLe statement fait du triplet une ressourceCette ressource peut tre dcrite son tour

*Forcer une valeur littrale & datatypesObliger le parseur ignorer la structure du contenu The world wild web

XML schema datatypesLes littraux standards sont des chanes de caractresPour typer les valeurs littrales, RDF repose sur les datatypes de XML Schema

Notation en N3: c:id1 c:age 22^^xsd:integer

*Les datatypes et syntaxe XMLSyntaxe XML pour les datatypes en RDF true 1975-07-31 fr () true 1975-07-31 ()

*XML Schema datatypesW3C - http://www.w3.org/TR/xmlschema-2/Exercice: livre, titre, date, disponible ou pas

*LangueOn peut spcifier une langue avec xml:lang Seigneur des anneaux Lord of the rings

En N3 c:book c:title Lord of the rings@en

Attention: les littraux avec langue et sans langue sont diffrents Fabien Fabien@en Fabien@fr

*Valeurs complexesRelations n-aires dans le cas d'une valeur litrale ou valeur complexe dans une propritSlectionner un sujet principalRifier la relation par une ressource anonymeDclarer de proprits pour chaque autre valeur 1.5

Exercice: patient, temprature, tendance.

*Typage de ressourceOn peut typer les ressources en utilisant des URI pour identifier les types rdf:type

L'instanciation d'un type suffit faire exister une ressource _:x rdf:type http://www.ugb.sn/schema#Personne

Une ressource peut avoir plusieurs types rdf:type rdf:type rdf:type

Syntaxes XML: Fabien

Fabien

*Groupe simple sans ordre ni sensUn groupe de ressources ou littraux sans ordre Moussa Lo Fabien Gandon auteur _:a _:a rdf:_1 Moussa Lo _:a rdf:_2 Fabien Gandon

*SquenceGroupe ordonn de ressources ou littraux

Accs: rdf:_1, rdf:_2, rdf:_3, rdf:_4, etc.rdf:_1 rdf:_2rdf:_3 rdf:_4rdf:_5

*AlternativesGroupe de ressources ou littraux alternatifs i.e. une seule valeur est la bonne ex: le titre dun livre en plusieurs langues lhomme qui prenait sa femme pour un chapeau the man who mistook his wife for a hat

*CollectionListe exhaustive et ordonne de constituants (pour fermer une assertion) First / Rest : Le premier et le reste (rdf:List / rdf:nil)A la LISP: (Lundi (Mardi (Mercredi (Jeudi (Vendredi (Samedi (Dimanche (NIL)))))))))

*Rfrences

*RfrencesRDF : 6 documents sur http://www.w3.org/RDFRDF PrimerRDF Concepts and Abstract Data ModelRDF/XML Syntax Specification (Revised)RDF SchemaRDF SemanticsRDF Test CasesSPARQL:SPARQL Query Language for RDF http://www.w3.org/TR/rdf-sparql-query/SPARQL Query Results XML Format http://www.w3.org/TR/rdf-sparql-XMLres/SPARQL Protocol for RDF http://www.w3.org/TR/rdf-sparql-protocol/

*Sources, rfrences et pointeursW3C documents at http://www.w3.org www.w3.org/XML - www.w3.org/RDF - http://www.w3.org/2001/sw/W3C Tutorials: http://www.w3.org/2002/03/tutorialsW3C 10th Anniversary http://www.w3.org/2004/Talks/w3c10-Overview/W3School: http://www.w3schools.com/Tutorials on Semantic Web Technologies by Ivan Hermanwww.oasis-open.orgMthodes et outils pour la gestion des connaissances, R. Dieng et. al. DunodAction Web smantique CNRS http://www.lalic.paris4.sorbonne.fr/stic/Bulletin AFIA avril 2003 http://www.lalic.paris4.sorbonne.fr/stic/articles/XML Revolution: http://www.brics.dk/~amoeller/XML/index.htmlOReilly XML.com http://www.xml.com/Websemantique http://semanticweb.org/

********************