Exercices solutionnés

Exercice 1

Non. Les collections sont des listes fermées, donc pour que la collection de G1 implique la collection de G2, il faut que les deux listes soient exactement les mêmes.

Exercice 2

Aucune relation d'implication. Pour comprendre cela, il faut traduire les triplets ":a :p1 []" et "[] :p3 :b" vers une représentation similaire comme ":a :p1 _:n1" et "_:n2 :p3 :b". Comme on peut voir, _:n1 et_:n2 sont deux noeuds différents, alors que dans le graphe A, ils doivent représenter la même chose.

Exercice 3

a) Aucune relation logique entre G1 et G2. À partir de G1, on peut inférer le triplet suivant: "local:c rdf:type local:C". Malgré cela, "local:B rdfs:subClassOf local:C" de G2 ne peut pas se retrouver dans G1. Aussi "local:c local:p []" de G2 ne se trouve pas dans G1.

b)

IS(local:a) = a
IS(local:c) = c
IS(local:B) = B
IS(local:C) = C
IS(rdf:type) = TYPE 
IS(local:p) = p
IS(rdfs:domain) = DOMAIN
IS(rdfs:subClassOf) = SUBCLASSOF

ICEXT(B) = {a}
ICEXT(C) = {a, c}

IEXT(TYPE) = [<a,B>, <c,C>, <a,C>]
IEXT(DOMAIN) = [<p,C>]
IEXT(SUBCLASSOF) = [<B,C>]
IEXT(p) = [<c,a>]

Exercice 4

Infinité de réponses possibles. Voici une réponse possible:

IS(:x) = x
IS(:y)
IS(:p) = p
IS(rdfs:type) = TYPE
IS(:C) = C
IS(:D) = D

ICEXT(C) = [y]
ICEXT(D) = [y]

IEXT(TYPE) = [<y,C>,<y,D>]
IEXT(p) = [<x,y>]

Exercice 5

Sémantique de RDFS étant donné qu'on utilise le rdf:type. Son utilisation implique l'utilisation de classes.

Exercice 7

A. oui
B. non
C. non
D. oui
E. oui
F. oui
G. non
H. non

Exercice 8

a) Non

b) Oui

c) Non

Exercice 9

_:n1 a foaf:Person .
_:n1 local:possess _:n2 .
_:n2 a local:Animal .

Exercice 10

À partir de ce graphe, on peut inférer le triplet ":a rdf:type :C2". Mais rien n'indique que :C1 est une sous-classe de :C2. On sait simplement que :a une instance de :C1 ET :C2.