XML / RDF - PowerPoint PPT Presentation

Loading...

PPT – XML / RDF PowerPoint presentation | free to download - id: 2a2380-ZDc1Z



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation
Title:

XML / RDF

Description:

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 ... – PowerPoint PPT presentation

Number of Views:44
Avg rating:3.0/5.0
Slides: 13
Provided by: cham81
Learn more at: http://exmo.inrialpes.fr
Category:
Tags: rdf | xml | alors

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: 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
About PowerShow.com