XML / RDF

1
XML / RDF

• Comparaison pour la représentation de
  connaissances en raisonnement à partir de cas

2
Notions communes

• Document
• Modèle (?contenu)
• Syntaxe (?forme)
• Schéma
• Modèle de schéma
• Syntaxe de schéma

3
XML et ses applications
etc...
XSL
MathML
RDF
XML
4
Repr. de connaissancesen XML / RDF
RDF
XML
etc...
XSL
MathML
RDF
XML
5
Modèle et Syntaxe RDF

• ltDescription about
• "http//www.w3.org/Home/Lassila"gt
• ltCreatorgt
• ltDescriptiongt
• ltNamegtOra Lassilalt/Namegt
• ltEmailgtlassila_at_w3.orglt/Emailgt
• lt/Descriptiongt
• lt/Creatorgt
• lt/Descriptiongt

6
Conteneurs

• ltSeq ID"Cheek1"gt
• ltli resource"Pad1"/gt
• ltli resource"Cylinder1"/gt
• ltli resource"Pad2"/gt
• lt/Seqgt
• ltBag ID"Constraints"gt
• ltli resource"C1"/gt
• ltli resource"C2"/gt
• lt/Baggt
• ltAltgt
• ltli resource"option1"/gt
• ltli resource"option2"/gt
• lt/Altgt

7
Réification dénoncés
Ralph Swick a dit Ora Lassila est le créateur
de la page http//
8
Schémas RDF

• Resource La classe la plus générale de la
  hiérarchie d'héritage.
• Class La classe de toutes les classes.
• Property La classes de toutes les propriétés
  (étiquettes valides pour les arcs).
• Container La classe de tous les containers (Bag,
  Seq et Alt en héritent)
• Statement La classe de toutes les réifications
  d'arc.
• type exprime l'appartenance d'une ressource à
  une classe.
• subClassOf exprime la relation d'héritage entre
  deux classes.
• subPropertyOf exprime la relation de
  spécialisation entre deux propriétés.
• domain exprime le domaine d'une propriété.
• range exprime la portée d'une propriété.

9
Schémas RDFExemple

• ltClass ID"Object"/gt
• ltClass ID"Cylinder"gt
• ltsubClassOf rdfresource"Object"/gt
• lt/Classgt
• ltProperty ID"constraint_pos"gt
• ltdomain resource"Object"/gt
• ltrange resource"Object"/gt
• lt/Propertygt
• ltProperty ID"constraint_left"gt
• ltsubPropertyOf resource"constraint_pos"/gt
• lt/Propertygt
• ltProperty ID"constraint_right"gt
• ltsubPropertyOf resource"constraint_pos"/gt
• lt/Propertygt
• ltCylinder ID"cylinder1"gt
• ltconstraint_left resource"part1"/gt
• ltconstraint_right resource"pad1"/gt
• lt/Cylindergt

10
Spécialisation induite

• 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".

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".
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)
11
Spécialisation induiteExemple

• ltHierarchy ID"composedBy"gt
• ltdomain resource"Object"/gt
• ltrange resource"Object"/gt
• lt/Hierarchygt
• ltDescription about"constraint_left"gt
• ltdirectIS resource"compose"/gt
• lt/Descriptiongt
• ltCylinder ID"cylinder2"gt
• ltconstraint_left resource"part2"/gt
• lt/Cylindergt
• ltDescription about"part2"gt
• ltcomposedBygt
• ltCylinder ID"c1"/gt
• lt/composedBygt
• ltcomposedBygt
• ltCylinder ID"c2"/gt
• lt/composedBygt
• lt/Descriptiongt

12
Gabarits