Exercice 6.7 - Solution avec preuve par construction (copie)

Woman ≡ Person ⊓ Female
Man ≡ Person ⊓ ¬Female

Éliminons la TBox pour la description suivante 
Woman ⊔ Man

On obtient ceci:
(Person ⊓ Female) ⊔ (Person ⊓ ¬Female)
Person ⊓ (Female ⊔ ¬Female)
Person ⊓  ⊤
Person

On a donc Person ⊑ Person, ce qui est trivialement démontrable par la sémantique.