Logique de Description 2

Disclaimer : Je ne suis en aucun cas responsable des conséquences qui peuvent résulter d’une mauvaise
compréhension et/ou utilisation de ce document. Use it at your own risque! :D
/!\ Subsumption de cardinalités :
≤n1 R.C ⊆ ≤n2 R.C on doit démontrer que n1 ≤ n2 . Exemple :

Les parents qui ont au plus 5 enfant subsume (incluent) les parents qui ont au plus 4 enfants
≤4 ParentDe.T ⊆ ≤5 ParentDe.T / n1=4 ≤ n2=5
≥n1 R.C ⊆ ≥n2 R.C on doit démontrer que n1 ≥ n2 exemple

Les parents qui ont au moins 2 enfant subsume (incluent) les parents qui ont au moins 3 enfants
≥3 ParentDe.T ⊆ ≥2 ParentDe.T / n1=3 ≥ n2=2
Exemples
Concepts = { Personne; Masculin; Féminin; Riche }
Rôles = { ParentDe; FrèreDe; SœurDe }
Être une femme
Femme = Personne ⊓ Feminin
Être une mère
Femme ⊓ ∃ParentDe.Personne
Être une mère qui n’a que des garçons
Femme ⊓ ∃ParentDe.Personne ⊓ ∀ParentDe.(Personne ⊓ Masculin)
Être un oncle
Personne ⊓ Masculin ⊓ ∃FereDe.( ∃ParentDe.Personne)
Être un quelqu’un qui a un neveu riche
Personne ⊓ ∃FereDe.( ∃ParentDe.Riche ) ⊔ ∃SœurDe.( ∃ParentDe.Riche )
Être quelqu’un qui n’a qu’un seul enfant
Personne ⊓ ≤1 ParentDe.T ⊓ ≥1 ParentDe.T (Je ne sais pas si [=1ParentDe.T] est juste)
Être quelqu’un qui n’a pas d’enfant
Personne ⊓ ¬(∃ParentDe.Personne) => Personne ⊓ ∀ParentDe.⊥
Concepts = { Mouton; Animal; Vache }

Rôles = { Mange }
Le mouton est un animal
Mouton ⊆ Animal
La vache est un animal végétarien
Vache = Animal ⊓ Végétarien
Un végétarien ne mange pas de viande
Végétarien = Animal ⊓ ∀Mange.¬Viande
Une vache folle a mangé du mouton
VacheFolle = Vache ⊓ ∃Mange.Mouton
Concepts = { Magasin; Légumes; Fruits }
Rôles = { Vend ; Ouvre }
Un magasin qui vend des légumes
Magasin ⊓ ∃Vend.Légumes
Un magasin qui ne vend pas de légumes
Magasin ⊓ ∀Vend.¬Légumes
Un magasin qui ne vend que des légumes
Magasin ⊓ ∀Vend.Légumes
Un magasin qui vend des fruits et des légumes
Magasin ⊓ ∃Vend.Fruit ⊓ ∃Vend.Légumes
Un magasin qui ne vend que des fruits et des légumes
Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)
Un magasin qui vend de tout
Magasin ⊓ ∀Vend.T
Un magasin qui ouvre tous les jours sauf le Dimanche
Magasin ⊓ ∀Ouvre.¬Dimanche
Un magasin qui ouvre même le dimanche
Magasin ⊓ ∀Ouvre.T
Concepts = { Equipe; Personne; Homme; Femme; Musicien; ŒuvreCélèbre; ConservatoireConstantine }

Rôles = { AMembre; AChef; AProduit; SeSitue}
Une petite-équipe définie comme une équipe ayant au plus 5 membres
PetiteEquipe = Equipe ⊓ ≤5AMembre.Personne
Une équipe moderne définie comme une équipe ayant au plus 4 membre, ayant au moins 1 chef,
et dont tous les chefs sont des femmes.
EquipeModerne = Equipe ⊓ ≤4AMembre.Personne ⊓ ∃AChef.Personne ⊓ ∀AChef.Femme
Personne ayant au moins deux enfants musiciens ayant produit des œuvres célèbres
Personne ⊓ ≥2PrarentDe.( Musicien ⊓ ∃AProduit.OeuvreCelebre)
Personne dont au moins un enfant musicien a fréquenté le conservatoire de Constantine
Personne ⊓ ∃ParentDe.( Musicien ⊓ ∃Frequente.ConservatoireConstantine )
Classification
Classifications : placer une description de concept à l’endroit correct dans la hiérarchie.
A ⊓ ∀R.C ⊓ ∀R.D ⊆ B ⊓ ∀R.C

- La relation est normalisée (/!\ Vous prouver prendre comme ∀R comme operateur commun,
c’est ce qui a été fait dans la solution du contrôle. Cependant je trouve que c’est plus simple la
garder comme ça. Je ne suis en aucun cas responsable de votre note Contrôle! :D )
On a :
Expression de Droite : B ⊓ ∀R.C
Expression de gauche : A ⊓ ∀R.C ⊓ ∀R.D
Pour prouver la subsumption Il faut prouver que pour chaque sous-expression X de la partie droite, il y a
une expression Y de la partie gauche tel que Y ⊆ X
On met :
X1 = B ; X2 = ∀R.C
Y1 = A ; Y2 =∀R.C ; Y3 =∀R.D
On a :
X1=B et Y1=A / A ⊆ B donc Y1 ⊆ X1 ….①
X2=∀R.C et Y2=∀R.C / ∀=∀ R= R C= C donc Y2 ⊆ X2 ….②
De ① et ② On a : A ⊓ ∀R.C ⊓ ∀R.D ⊆ B ⊓ ∀R.C
C ⊓ ∀R.(D⊓ ∀R’.E) ⊆ C ⊓ ∀R.D

La relation est normalisée
On a :
Expression de Droite : C ⊓ ∀R.D
Expression de gauche : C ⊓ ∀R.(D⊓ ∀R’.E)
On met :
X1 = C ; X2 = ∀R.D
Y1 = C ; Y2 = ∀R.(D⊓ ∀R’.E)
On a :
X1= C et Y1= C / C = C donc Y1 ⊆ X1 ….①
X2=∀R.D et Y2=∀R.(D⊓ ∀R’.E) / ∀=∀ et R=R , il faut donc prouver que D⊓ ∀R’.E ⊆ D
On a X’1=D et Y’1=D / D=D donc Y’1 ⊆ X’1 donc Y2 ⊆ X2 ….②
De ① et ② On a : C ⊓ ∀R.(D⊓ ∀R’.E) ⊆ C ⊓ ∀R.D
Magasin ⊓ ∀Vend.Légumes ⊆ Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)

La relation est normalisée.
On a :
Expression de Droite : Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)
Expression de gauche : Magasin ⊓ ∀Vend.Légumes
On met :
X1 = Magasin; X2 = ∀Vend.(Fruits ⊔ Légumes)
Y1 = Magasin ; Y2 = ∀Vend.Légumes
On a :
X1= Magasin et Y1= Magasin / Magasin = Magasin donc Y1 ⊆ X1 ….①
X2=∀Vend.(Fruits ⊔ Légumes) et Y2=∀Vend.Légumes / ∀=∀ et Vend=Vend , il faut donc prouver que
Légumes ⊆ Fruits ⊔ Légumes
La relation n’est pas normalisée donc par négation on a :
¬Légumes ⊓ ¬Fruits ⊆ ¬Légumes
On a X’1=¬Légumes et Y’1=¬Légumes / ¬Légumes=¬Légumes donc Y’1 ⊆ X’1
donc ¬Légumes ⊓ ¬Fruits ⊆ ¬Légumes donc Légumes ⊆ Fruits ⊔ Légumes donc Y2 ⊆ X2 ….②
De ① et ② On a : Magasin ⊓ ∀Vend.Légumes ⊆ Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)
Bonne chance
Si vous avez des questions, ou si vous avez détecté des erreurs dans le document, n’hésitez pas à me
contacter par Facebook ou par email : hecham.abdelraouf@gmail.com

Logique de Description 2

Transféré par

Droits d'auteur :

Formats disponibles

Logique de Description 2

Transféré par

Informations du document

Description originale:

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Logique de Description 2

Transféré par

Droits d'auteur :

Formats disponibles

Disclaimer : Je ne suis en aucun cas responsable des conséquences qui peuvent résulter d’une mauvaise

compréhension et/ou utilisation de ce document. Use it at your own risque! :D

/!\ Subsumption de cardinalités :

≤n1 R.C ⊆ ≤n2 R.C on doit démontrer que n1 ≤ n2 . Exemple :

≥n1 R.C ⊆ ≥n2 R.C on doit démontrer que n1 ≥ n2 exemple

Concepts = { Mouton; Animal; Vache }

Concepts = { Equipe; Personne; Homme; Femme; Musicien; ŒuvreCélèbre; ConservatoireConstantine }

A ⊓ ∀R.C ⊓ ∀R.D ⊆ B ⊓ ∀R.C

De ① et ② On a : A ⊓ ∀R.C ⊓ ∀R.D ⊆ B ⊓ ∀R.C

C ⊓ ∀R.(D⊓ ∀R’.E) ⊆ C ⊓ ∀R.D

De ① et ② On a : C ⊓ ∀R.(D⊓ ∀R’.E) ⊆ C ⊓ ∀R.D

Magasin ⊓ ∀Vend.Légumes ⊆ Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)

De ① et ② On a : Magasin ⊓ ∀Vend.Légumes ⊆ Magasin ⊓ ∀Vend.(Fruits ⊔ Légumes)

Vous aimerez peut-être aussi