XML / RDF Comparaison pour la représentation de connaissances en raisonnement à partir de cas.

Présentation au sujet: "XML / RDF Comparaison pour la représentation de connaissances en raisonnement à partir de cas."— Transcription de la présentation:

1 XML / RDF Comparaison pour la représentation de connaissances en raisonnement à partir de cas

2 Notions communes Document yModèle ( contenu) ySyntaxe ( forme) Schéma yModèle de schéma ySyntaxe de schéma

3 etc... XSL MathML XML et ses applications RDF XML

4 etc... RDF++ XSL MathML Repr. de connaissances en XML / RDF RDF XML++ XML

5 Modèle et Syntaxe RDF <Description about= "http://www.w3.org/Home/Lassila"> Ora Lassila lassila@w3.org http://www.w3.org/Home/Lassila Ora Lassila lassila@ w3.org Creator NameEmail

6 Conteneurs type Alt/Bag/Seq Cheek1 Pad1Cylinder1Pad2 _1_2_3

7 Réification dénoncés Creator http://www.w3.org/Home/Lassila Ora.Lassila Creatortype Statement Creator predicate subject object R.Swick Creator Ralph Swick a dit « Ora Lassila est le créateur de la page http://… »

8 Schémas RDF ResourceLa classe la plus générale de la hiérarchie d'héritage. ClassLa classe de toutes les classes. PropertyLa classes de toutes les propriétés (étiquettes valides pour les arcs). ContainerLa classe de tous les containers (Bag, Seq et Alt en héritent) StatementLa classe de toutes les réifications d'arc. typeexprime l'appartenance d'une ressource à une classe. subClassOfexprime la relation d'héritage entre deux classes. subPropertyOfexprime la relation de spécialisation entre deux propriétés. domainexprime le domaine d'une propriété. rangeexprime la portée d'une propriété.

9 Schémas RDF Exemple

10 Inférence sur le type Si Médor a le type Chien, et si Chien est une sous-classe de Animal, alors Médor a aussi le type Animal. Inférence sur les arcs Si Jean a pour mère Jeanne, et si "mère" est une sous-propriété de "parent", alors Jean a pour parent Jeanne. Inférence sur les réifications d'arc Si un énoncé a pour prédicat "mère", et si "mère" est une sous-propriété de "parent", alors cet énoncé a aussi pour prédicat "parent". Spécialisation induite S'il existe un arc (R1, prop1, R2) et un arc (R2, prop2, R3) avec prop2 ayant une structure de hiérarchie et prop1 et prop2 entretenant un rapport particulier alors on peut inférer un arc (R1, prop1, R3) Inférence sur le type Si Médor a le type Chien, et si Chien est une sous-classe de Animal, alors Médor a aussi le type Animal. Inférence sur les arcs Si Jean a pour mère Jeanne, et si "mère" est une sous-propriété de "parent", alors Jean a pour parent Jeanne. Inférence sur les réifications d'arc Si un énoncé a pour prédicat "mère", et si "mère" est une sous-propriété de "parent", alors cet énoncé a aussi pour prédicat "parent".

11 Spécialisation induite Exemple

12 Gabarits Thèse type diplôme en cours type Gabarit Thésard CIFRE ss-graphe Employé