RDFS
Thomas Francart, sparna.fr
Ce travail est réutilisable et modifiable librement, y compris à des fins commerciales, à
condition de citer son auteur et d’être placé sous la même licence.
Pour plus d’informations, voir la licence.
Crédits :
Ce travail remixe, traduit et complète une présentation de Fabien Gandon de l’INRIA, publiée sous
licence libre. Merci à lui.
RDFS définit une signature par
... le “domain” (fr : domaine) : type de
la ressource d’où part la relation.
... le “range” (fr: co-domaine ou portée)
: type de la ressource vers laquelle
pointe la relation.
10
RDFS définit une sémantique :
des règles de déduction standard
permettant de créer des triplets
additionnels à partir des triplets
existants.
11
(c2, subClassOf, c1)
ET
(x, type, c2)
ALORS (x, type, c1)
SI
Propagation des types
SI
ET
ALORS
(Man, subClassOf, Animal)
(Tom, type, Man)
(Tom, type, Animal)
12
(p2, subPropertyOf, p1)
ET
(x, p2 , y)
ALORS (x, p1 , y)
SI
Propagation des propriétés
SI
(auteur, subPropertyOf, créateur)
ET
(Tom, auteur, Report12)
ALORS (Tom, créateur, Report12)
13
(c2, subClassOf, c1)
ET
(c3, subClassOf, c2)
ALORS (c3, subClassOf, c1)
SI
Transitivité des sous-classes
SI
(Animal, subClassOf, EtreVivant)
ET
(Man, subClassOf, Animal)
ALORS (Man, subClassOf, EtreVivant)
14
SI
ET
ALORS
(p2, subPropertyOf, p1)
(p3, subPropertyOf, p2)
(p3, subPropertyOf, p1)
Transitivité des sous-propriétés
SI
(parentDe, subPropertyOf, ancetreDe)
ET
(pèreDe, subPropertyOf, parentDe)
ALORS (pèreDe, subPropertyOf, ancêtreDe)
15
SI
ET
ALORS
(p1, domain, c1)
(x, p1, y)
(x, type, c1)
Inférence sur le domaine
SI
(auteur, domain, Personne)
ET
(Tom, auteur, Report12)
16
SI
ET
ALORS
(p1, range, c1)
(x, p1, y)
(y, type, c1)
Inférence sur le range
SI
(auteur, range, Document)
ET
(Tom, auteur, report2)
17
RDFS fournit aussi 2 primitives
très utiles pour nommer ou commenter
n’importe quelle ressource
rdfs:label
rdfs:comment
18
RDFS
permet
... De déclarer des classes et des propriétés et
de les organiser en hiérarchie
... De déclarer la signature des propriétés
(domain, range)
... De les documenter avec des libellés et des
commentaires
... De faire des déductions simples sur les
classes et les propriétés
21