Exercice 6.8 (a) - Solution avec preuve par construction

ProteinLoverPizza ≡ Pizza ⊓ ∀hasTopping.(Meat ⊓ Fish)
MeatyPizza ≡ Pizza ⊓ ∀hasTopping.Meat
VegetarianPizza ≡ Pizza ⊓ ∀hasTopping.(¬Meat ⊔ ¬Fish)

Eliminons la TBox:
ProteinLoverPizza ⊑ MeatyPizza
Pizza ⊓ ∀hasTopping.(Meat ⊓ Fish)  ⊑ Pizza ⊓ ∀hasTopping.Meat

Puisque Meat ⊓ Fish ⊑ Meat,
on a ∀hasTopping.(Meat ⊓ Fish)  ⊑ ∀hasTopping.Meat