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
Modifié le: mardi 2 novembre 2021, 17:12