ECOLE SUPERIEURE EN INFORMATIQUE

DE SIDI BEL-ABBES

Fiche TD 2 : Web Sémantique & Web de Données

3ème Année Second Cycle: 3ASC_SIW

Exercice1 : On désire spécifier dans une ontologie les connaissances suivantes :

Les étudiants sont des Personnes. Les étudiants suivent des UE (unité d’enseignement). Les étudiants sérieux suivent
l'UE OntoWeb. Djamal est un étudiant sérieux. Les personnes sont les descendants d'autres personnes.

1. Donnez l'ensemble des classes, des relations et des instances de cette ontologie.
2. Donnez l'ensemble terminologique (T-box) et les instances (A-box) de votre ontologie en utilisant la notation
des logiques de descriptions.

Exercice 2 : Ali est une personne qui n’aime que les personnes qui n’aiment pas le fromage. Lequel (ou lesquels) des
axiomes suivants représente correctement ce fait en logique descriptive :

a) (Personne ⊓ ∀aime.(Personne ⊓ ¬∀aime.Fromage))(Ali)

b) (Personne ⊓ ∀aime.(Personne ⊓ ∀aime.¬Fromage))(Ali)
c) (Personne ⊓ ∀aime.(Personne ⊓ ∃aime.¬Fromage))(Ali)

Exercice 3 : Dans la logique de description de base AL, soit l’interprétation suivante :

(a) I = {a,b,c,d,e, f , g } ;
(b) HommeI = {a,b,c, g } ;
(c) aEnfantI = {(a,c), (b,d), (b,e), (c, g )} ;
(d) marieAvecI = {(b, f ), ( f ,b)} ;
Quelles sont les interprétations des concepts suivants ?
(a) ParentI ;
(b) ParentDeFemmeI ;
(c) CelibataireI ;
(d) HommeMarieI ;
Exercice 4 :

Voici une petite ontologie de la paternité :

Man ⊑ Human
Woman ⊑ Human
Man ⊑ ¬Woman
Father ⊑ Man ⊓ ∃hasChild.⊤
HappyFather ⊑ Man ⊓ ∃hasChild.Man ⊓ ∃hasChild.Woman
FeministFather ⊑ Man ⊓ ∀hasChild.Woman
Soit l’interprétation suivante : (I, f AI , f RI )) telle que :
I = {a, b, c, d, e, f, g, h, i, i, j, k}
ManI = {b, d, f, h, i}
hasChildI = {(a, b), (b, d), (b, e), (c, e), (d, g), (e, g), (f, i), (f, k)}

Donner l’interprétation des concepts suivants :

1. HappyFather.
2. FeministFather.
1