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

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

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

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

Modèle et Syntaxe RDF <Description about= " Ora Lassila Ora Lassila w3.org Creator Name

Conteneurs type Alt/Bag/Seq Cheek1 Pad1Cylinder1Pad2 _1_2_3

Réification dénoncés Creator Ora.Lassila Creatortype Statement Creator predicate subject object R.Swick Creator Ralph Swick a dit « Ora Lassila est le créateur de la page »

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é.

Schémas RDF Exemple

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

Spécialisation induite Exemple

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