 TBox: 
American ⊑ NamedPizza
American ⊑ ∀hasTopping.(MozzarellaTopping ⊔ PeperoniSausageTopping ⊔ TomatoTopping)
American ⊑ ∃hasCountryOfOrigin.{America}
American ⊑ ∃hasTopping.MozzarellaTopping
American ⊑ ∃hasTopping.PeperoniSausageTopping
American ⊑ ∃hasTopping.TomatoTopping
AmericanHot ⊑ NamedPizza
AmericanHot ⊑ ∀hasTopping.(JalapenoPepperTopping ⊔ MozzarellaTopping ⊔ HotGreenPepperTopping ⊔ PeperoniSausageTopping ⊔ TomatoTopping)
AmericanHot ⊑ ∃hasCountryOfOrigin.{America}
AmericanHot ⊑ ∃hasTopping.HotGreenPepperTopping
AmericanHot ⊑ ∃hasTopping.JalapenoPepperTopping
AmericanHot ⊑ ∃hasTopping.MozzarellaTopping
AmericanHot ⊑ ∃hasTopping.PeperoniSausageTopping
AmericanHot ⊑ ∃hasTopping.TomatoTopping
AnchoviesTopping ⊑ FishTopping
ArtichokeTopping ⊑ VegetableTopping
ArtichokeTopping ⊑ ∃hasSpiciness.Mild
AsparagusTopping ⊑ VegetableTopping
AsparagusTopping ⊑ ∃hasSpiciness.Mild
Cajun ⊑ NamedPizza
Cajun ⊑ ∀hasTopping.(PeperonataTopping ⊔ MozzarellaTopping ⊔ TomatoTopping ⊔ TobascoPepperSauce ⊔ OnionTopping ⊔ PrawnsTopping)
Cajun ⊑ ∃hasTopping.MozzarellaTopping
Cajun ⊑ ∃hasTopping.OnionTopping
Cajun ⊑ ∃hasTopping.PeperonataTopping
Cajun ⊑ ∃hasTopping.PrawnsTopping
Cajun ⊑ ∃hasTopping.TobascoPepperSauce
Cajun ⊑ ∃hasTopping.TomatoTopping
CajunSpiceTopping ⊑ HerbSpiceTopping
CajunSpiceTopping ⊑ ∃hasSpiciness.Hot
CaperTopping ⊑ VegetableTopping
CaperTopping ⊑ ∃hasSpiciness.Mild
Capricciosa ⊑ NamedPizza
Capricciosa ⊑ ∀hasTopping.(PeperonataTopping ⊔ MozzarellaTopping ⊔ AnchoviesTopping ⊔ TomatoTopping ⊔ CaperTopping ⊔ HamTopping ⊔ OliveTopping)
Capricciosa ⊑ ∃hasTopping.AnchoviesTopping
Capricciosa ⊑ ∃hasTopping.CaperTopping
Capricciosa ⊑ ∃hasTopping.HamTopping
Capricciosa ⊑ ∃hasTopping.MozzarellaTopping
Capricciosa ⊑ ∃hasTopping.OliveTopping
Capricciosa ⊑ ∃hasTopping.PeperonataTopping
Capricciosa ⊑ ∃hasTopping.TomatoTopping
Caprina ⊑ NamedPizza
Caprina ⊑ ∀hasTopping.(GoatsCheeseTopping ⊔ MozzarellaTopping ⊔ SundriedTomatoTopping ⊔ TomatoTopping)
Caprina ⊑ ∃hasTopping.GoatsCheeseTopping
Caprina ⊑ ∃hasTopping.MozzarellaTopping
Caprina ⊑ ∃hasTopping.SundriedTomatoTopping
Caprina ⊑ ∃hasTopping.TomatoTopping
CheeseTopping ⊑ PizzaTopping
CheeseyPizza ≡ (Pizza ⊓ ∃hasTopping.CheeseTopping)
CheeseyVegetableTopping ⊑ CheeseTopping
CheeseyVegetableTopping ⊑ VegetableTopping
ChickenTopping ⊑ MeatTopping
ChickenTopping ⊑ ∃hasSpiciness.Mild
Country ≡ (DomainConcept ⊓ {Italy, France, America, England, Germany})
DeepPanBase ⊑ PizzaBase
Fiorentina ⊑ NamedPizza
Fiorentina ⊑ ∀hasTopping.(MozzarellaTopping ⊔ TomatoTopping ⊔ GarlicTopping ⊔ SpinachTopping ⊔ OliveTopping ⊔ ParmesanTopping)
Fiorentina ⊑ ∃hasTopping.GarlicTopping
Fiorentina ⊑ ∃hasTopping.MozzarellaTopping
Fiorentina ⊑ ∃hasTopping.OliveTopping
Fiorentina ⊑ ∃hasTopping.ParmesanTopping
Fiorentina ⊑ ∃hasTopping.SpinachTopping
Fiorentina ⊑ ∃hasTopping.TomatoTopping
FishTopping ⊑ PizzaTopping
FishTopping ⊑ ∃hasSpiciness.Mild
Food ⊑ DomainConcept
FourCheesesTopping ⊑ CheeseTopping
FourCheesesTopping ⊑ ∃hasSpiciness.Mild
FourSeasons ⊑ NamedPizza
FourSeasons ⊑ ∀hasTopping.(MozzarellaTopping ⊔ AnchoviesTopping ⊔ PeperoniSausageTopping ⊔ TomatoTopping ⊔ CaperTopping ⊔ MushroomTopping ⊔ OliveTopping)
FourSeasons ⊑ ∃hasTopping.AnchoviesTopping
FourSeasons ⊑ ∃hasTopping.CaperTopping
FourSeasons ⊑ ∃hasTopping.MozzarellaTopping
FourSeasons ⊑ ∃hasTopping.MushroomTopping
FourSeasons ⊑ ∃hasTopping.OliveTopping
FourSeasons ⊑ ∃hasTopping.PeperoniSausageTopping
FourSeasons ⊑ ∃hasTopping.TomatoTopping
FruitTopping ⊑ PizzaTopping
FruttiDiMare ⊑ NamedPizza
FruttiDiMare ⊑ ∀hasTopping.(GarlicTopping ⊔ MixedSeafoodTopping ⊔ TomatoTopping)
FruttiDiMare ⊑ ∃hasTopping.GarlicTopping
FruttiDiMare ⊑ ∃hasTopping.MixedSeafoodTopping
FruttiDiMare ⊑ ∃hasTopping.TomatoTopping
GarlicTopping ⊑ VegetableTopping
GarlicTopping ⊑ ∃hasSpiciness.Medium
Giardiniera ⊑ NamedPizza
Giardiniera ⊑ ∀hasTopping.(PetitPoisTopping ⊔ SlicedTomatoTopping ⊔ PeperonataTopping ⊔ MozzarellaTopping ⊔ LeekTopping ⊔ TomatoTopping ⊔ MushroomTopping ⊔ OliveTopping)
Giardiniera ⊑ ∃hasTopping.LeekTopping
Giardiniera ⊑ ∃hasTopping.MozzarellaTopping
Giardiniera ⊑ ∃hasTopping.MushroomTopping
Giardiniera ⊑ ∃hasTopping.OliveTopping
Giardiniera ⊑ ∃hasTopping.PeperonataTopping
Giardiniera ⊑ ∃hasTopping.PetitPoisTopping
Giardiniera ⊑ ∃hasTopping.SlicedTomatoTopping
Giardiniera ⊑ ∃hasTopping.TomatoTopping
GoatsCheeseTopping ⊑ CheeseTopping
GoatsCheeseTopping ⊑ ∃hasSpiciness.Mild
GorgonzolaTopping ⊑ CheeseTopping
GorgonzolaTopping ⊑ ∃hasSpiciness.Mild
GreenPepperTopping ⊑ PepperTopping
HamTopping ⊑ MeatTopping
HerbSpiceTopping ⊑ PizzaTopping
Hot ⊑ Spiciness
HotGreenPepperTopping ⊑ GreenPepperTopping
HotGreenPepperTopping ⊑ ∃hasSpiciness.Hot
HotSpicedBeefTopping ⊑ MeatTopping
HotSpicedBeefTopping ⊑ ∃hasSpiciness.Hot
IceCream ⊑ Food
IceCream ⊑ ∃hasTopping.FruitTopping
InterestingPizza ≡ (Pizza ⊓ ⩾3hasTopping.⊤)
JalapenoPepperTopping ⊑ PepperTopping
JalapenoPepperTopping ⊑ ∃hasSpiciness.Hot
LaReine ⊑ NamedPizza
LaReine ⊑ ∀hasTopping.(MozzarellaTopping ⊔ TomatoTopping ⊔ HamTopping ⊔ MushroomTopping ⊔ OliveTopping)
LaReine ⊑ ∃hasTopping.HamTopping
LaReine ⊑ ∃hasTopping.MozzarellaTopping
LaReine ⊑ ∃hasTopping.MushroomTopping
LaReine ⊑ ∃hasTopping.OliveTopping
LaReine ⊑ ∃hasTopping.TomatoTopping
LeekTopping ⊑ VegetableTopping
LeekTopping ⊑ ∃hasSpiciness.Mild
Margherita ⊑ NamedPizza
Margherita ⊑ ∀hasTopping.(MozzarellaTopping ⊔ TomatoTopping)
Margherita ⊑ ∃hasTopping.MozzarellaTopping
Margherita ⊑ ∃hasTopping.TomatoTopping
MeatTopping ⊑ PizzaTopping
MeatyPizza ≡ (Pizza ⊓ ∃hasTopping.MeatTopping)
Medium ⊑ Spiciness
Mild ⊑ Spiciness
MixedSeafoodTopping ⊑ FishTopping
MozzarellaTopping ⊑ CheeseTopping
MozzarellaTopping ⊑ ∃hasCountryOfOrigin.{Italy}
MozzarellaTopping ⊑ ∃hasSpiciness.Mild
Mushroom ⊑ NamedPizza
Mushroom ⊑ ∀hasTopping.(MozzarellaTopping ⊔ MushroomTopping ⊔ TomatoTopping)
Mushroom ⊑ ∃hasTopping.MozzarellaTopping
Mushroom ⊑ ∃hasTopping.MushroomTopping
Mushroom ⊑ ∃hasTopping.TomatoTopping
MushroomTopping ⊑ VegetableTopping
MushroomTopping ⊑ ∃hasSpiciness.Mild
NamedPizza ⊑ Pizza
Napoletana ⊑ NamedPizza
Napoletana ⊑ ∀hasTopping.(MozzarellaTopping ⊔ AnchoviesTopping ⊔ TomatoTopping ⊔ CaperTopping ⊔ OliveTopping)
Napoletana ⊑ ∃hasCountryOfOrigin.{Italy}
Napoletana ⊑ ∃hasTopping.AnchoviesTopping
Napoletana ⊑ ∃hasTopping.CaperTopping
Napoletana ⊑ ∃hasTopping.MozzarellaTopping
Napoletana ⊑ ∃hasTopping.OliveTopping
Napoletana ⊑ ∃hasTopping.TomatoTopping
NonVegetarianPizza ≡ (Pizza ⊓ ¬VegetarianPizza)
NutTopping ⊑ PizzaTopping
NutTopping ⊑ ∃hasSpiciness.Mild
OliveTopping ⊑ VegetableTopping
OliveTopping ⊑ ∃hasSpiciness.Mild
OnionTopping ⊑ VegetableTopping
OnionTopping ⊑ ∃hasSpiciness.Medium
ParmaHamTopping ⊑ HamTopping
ParmaHamTopping ⊑ ∃hasSpiciness.Mild
Parmense ⊑ NamedPizza
Parmense ⊑ ∀hasTopping.(MozzarellaTopping ⊔ AsparagusTopping ⊔ TomatoTopping ⊔ HamTopping ⊔ ParmesanTopping)
Parmense ⊑ ∃hasTopping.AsparagusTopping
Parmense ⊑ ∃hasTopping.HamTopping
Parmense ⊑ ∃hasTopping.MozzarellaTopping
Parmense ⊑ ∃hasTopping.ParmesanTopping
Parmense ⊑ ∃hasTopping.TomatoTopping
ParmesanTopping ⊑ CheeseTopping
ParmesanTopping ⊑ ∃hasSpiciness.Mild
PeperonataTopping ⊑ PepperTopping
PeperonataTopping ⊑ ∃hasSpiciness.Medium
PeperoniSausageTopping ⊑ MeatTopping
PeperoniSausageTopping ⊑ ∃hasSpiciness.Medium
PepperTopping ⊑ VegetableTopping
PetitPoisTopping ⊑ VegetableTopping
PetitPoisTopping ⊑ ∃hasSpiciness.Mild
PineKernels ⊑ NutTopping
Pizza ⊑ Food
Pizza ⊑ ∃hasBase.PizzaBase
PizzaBase ⊑ Food
PizzaTopping ⊑ Food
PolloAdAstra ⊑ NamedPizza
PolloAdAstra ⊑ ∀hasTopping.(MozzarellaTopping ⊔ ChickenTopping ⊔ TomatoTopping ⊔ GarlicTopping ⊔ SweetPepperTopping ⊔ CajunSpiceTopping ⊔ RedOnionTopping)
PolloAdAstra ⊑ ∃hasTopping.CajunSpiceTopping
PolloAdAstra ⊑ ∃hasTopping.ChickenTopping
PolloAdAstra ⊑ ∃hasTopping.GarlicTopping
PolloAdAstra ⊑ ∃hasTopping.MozzarellaTopping
PolloAdAstra ⊑ ∃hasTopping.RedOnionTopping
PolloAdAstra ⊑ ∃hasTopping.SweetPepperTopping
PolloAdAstra ⊑ ∃hasTopping.TomatoTopping
PrawnsTopping ⊑ FishTopping
PrinceCarlo ⊑ NamedPizza
PrinceCarlo ⊑ ∀hasTopping.(MozzarellaTopping ⊔ LeekTopping ⊔ TomatoTopping ⊔ RosemaryTopping ⊔ ParmesanTopping)
PrinceCarlo ⊑ ∃hasTopping.LeekTopping
PrinceCarlo ⊑ ∃hasTopping.MozzarellaTopping
PrinceCarlo ⊑ ∃hasTopping.ParmesanTopping
PrinceCarlo ⊑ ∃hasTopping.RosemaryTopping
PrinceCarlo ⊑ ∃hasTopping.TomatoTopping
QuattroFormaggi ⊑ NamedPizza
QuattroFormaggi ⊑ ∀hasTopping.(FourCheesesTopping ⊔ TomatoTopping)
QuattroFormaggi ⊑ ∃hasTopping.FourCheesesTopping
QuattroFormaggi ⊑ ∃hasTopping.TomatoTopping
RealItalianPizza ≡ (Pizza ⊓ ∃hasCountryOfOrigin.{Italy})
RealItalianPizza ⊑ ∀hasBase.ThinAndCrispyBase
RedOnionTopping ⊑ OnionTopping
RocketTopping ⊑ VegetableTopping
RocketTopping ⊑ ∃hasSpiciness.Medium
Rosa ⊑ NamedPizza
Rosa ⊑ ∀hasTopping.(GorgonzolaTopping ⊔ MozzarellaTopping ⊔ TomatoTopping)
Rosa ⊑ ∃hasTopping.GorgonzolaTopping
Rosa ⊑ ∃hasTopping.MozzarellaTopping
Rosa ⊑ ∃hasTopping.TomatoTopping
RosemaryTopping ⊑ HerbSpiceTopping
RosemaryTopping ⊑ ∃hasSpiciness.Mild
SauceTopping ⊑ PizzaTopping
Siciliana ⊑ NamedPizza
Siciliana ⊑ ∀hasTopping.(MozzarellaTopping ⊔ ArtichokeTopping ⊔ AnchoviesTopping ⊔ TomatoTopping ⊔ GarlicTopping ⊔ HamTopping ⊔ OliveTopping)
Siciliana ⊑ ∃hasTopping.AnchoviesTopping
Siciliana ⊑ ∃hasTopping.ArtichokeTopping
Siciliana ⊑ ∃hasTopping.GarlicTopping
Siciliana ⊑ ∃hasTopping.HamTopping
Siciliana ⊑ ∃hasTopping.MozzarellaTopping
Siciliana ⊑ ∃hasTopping.OliveTopping
Siciliana ⊑ ∃hasTopping.TomatoTopping
SlicedTomatoTopping ⊑ TomatoTopping
SlicedTomatoTopping ⊑ ∃hasSpiciness.Mild
SloppyGiuseppe ⊑ NamedPizza
SloppyGiuseppe ⊑ ∀hasTopping.(MozzarellaTopping ⊔ TomatoTopping ⊔ HotSpicedBeefTopping ⊔ OnionTopping ⊔ GreenPepperTopping)
SloppyGiuseppe ⊑ ∃hasTopping.GreenPepperTopping
SloppyGiuseppe ⊑ ∃hasTopping.HotSpicedBeefTopping
SloppyGiuseppe ⊑ ∃hasTopping.MozzarellaTopping
SloppyGiuseppe ⊑ ∃hasTopping.OnionTopping
SloppyGiuseppe ⊑ ∃hasTopping.TomatoTopping
Soho ⊑ NamedPizza
Soho ⊑ ∀hasTopping.(MozzarellaTopping ⊔ RocketTopping ⊔ TomatoTopping ⊔ GarlicTopping ⊔ OliveTopping ⊔ ParmesanTopping)
Soho ⊑ ∃hasTopping.GarlicTopping
Soho ⊑ ∃hasTopping.MozzarellaTopping
Soho ⊑ ∃hasTopping.OliveTopping
Soho ⊑ ∃hasTopping.ParmesanTopping
Soho ⊑ ∃hasTopping.RocketTopping
Soho ⊑ ∃hasTopping.TomatoTopping
Spiciness ≡ (Hot ⊔ Medium ⊔ Mild)
Spiciness ⊑ ValuePartition
SpicyPizza ≡ (Pizza ⊓ ∃hasTopping.SpicyTopping)
SpicyPizzaEquivalent ≡ (Pizza ⊓ ∃hasTopping.(PizzaTopping ⊓ ∃hasSpiciness.Hot))
SpicyTopping ≡ (PizzaTopping ⊓ ∃hasSpiciness.Hot)
SpinachTopping ⊑ VegetableTopping
SpinachTopping ⊑ ∃hasSpiciness.Mild
SultanaTopping ⊑ FruitTopping
SultanaTopping ⊑ ∃hasSpiciness.Medium
SundriedTomatoTopping ⊑ TomatoTopping
SundriedTomatoTopping ⊑ ∃hasSpiciness.Mild
SweetPepperTopping ⊑ PepperTopping
SweetPepperTopping ⊑ ∃hasSpiciness.Mild
ThinAndCrispyBase ⊑ PizzaBase
ThinAndCrispyPizza ≡ (Pizza ⊓ ∀hasBase.ThinAndCrispyBase)
TobascoPepperSauce ⊑ SauceTopping
TobascoPepperSauce ⊑ ∃hasSpiciness.Hot
TomatoTopping ⊑ VegetableTopping
TomatoTopping ⊑ ∃hasSpiciness.Mild
UnclosedPizza ⊑ Pizza
UnclosedPizza ⊑ ∃hasTopping.MozzarellaTopping
VegetableTopping ⊑ PizzaTopping
VegetarianPizza ≡ (Pizza ⊓ ¬∃hasTopping.FishTopping ⊓ ¬∃hasTopping.MeatTopping)
VegetarianPizzaEquivalent1 ≡ (Pizza ⊓ ∀hasTopping.VegetarianTopping)
VegetarianPizzaEquivalent2 ≡ (Pizza ⊓ ∀hasTopping.(HerbSpiceTopping ⊔ FruitTopping ⊔ VegetableTopping ⊔ CheeseTopping ⊔ SauceTopping ⊔ NutTopping))
VegetarianTopping ≡ (PizzaTopping ⊓ (HerbSpiceTopping ⊔ FruitTopping ⊔ VegetableTopping ⊔ CheeseTopping ⊔ SauceTopping ⊔ NutTopping))
Veneziana ⊑ NamedPizza
Veneziana ⊑ ∀hasTopping.(MozzarellaTopping ⊔ SultanaTopping ⊔ PineKernels ⊔ TomatoTopping ⊔ CaperTopping ⊔ OnionTopping ⊔ OliveTopping)
Veneziana ⊑ ∃hasCountryOfOrigin.{Italy}
Veneziana ⊑ ∃hasTopping.CaperTopping
Veneziana ⊑ ∃hasTopping.MozzarellaTopping
Veneziana ⊑ ∃hasTopping.OliveTopping
Veneziana ⊑ ∃hasTopping.OnionTopping
Veneziana ⊑ ∃hasTopping.PineKernels
Veneziana ⊑ ∃hasTopping.SultanaTopping
Veneziana ⊑ ∃hasTopping.TomatoTopping
disjoint(AnchoviesTopping, MixedSeafoodTopping, PrawnsTopping)
disjoint(CajunSpiceTopping, RosemaryTopping)
disjoint(ChickenTopping, HamTopping, HotSpicedBeefTopping, PeperoniSausageTopping)
disjoint(DeepPanBase, ThinAndCrispyBase)
disjoint(DomainConcept, ValuePartition)
disjoint(FourSeasons, AmericanHot, Soho, PolloAdAstra, Mushroom, Veneziana, PrinceCarlo, Cajun, SloppyGiuseppe, Siciliana, FruttiDiMare, Napoletana, UnclosedPizza, Rosa, Capricciosa, Margherita, Giardiniera, LaReine, Caprina, Parmense, Fiorentina, QuattroFormaggi, American)
disjoint(GreenPepperTopping, JalapenoPepperTopping, PeperonataTopping, SweetPepperTopping)
disjoint(HerbSpiceTopping, FishTopping, FruitTopping, VegetableTopping, CheeseTopping, SauceTopping, MeatTopping, NutTopping)
disjoint(Hot, Medium, Mild)
disjoint(IceCream, Pizza, PizzaBase, PizzaTopping)
disjoint(MozzarellaTopping, GoatsCheeseTopping, GorgonzolaTopping, FourCheesesTopping, ParmesanTopping)
disjoint(NonVegetarianPizza, VegetarianPizza)
disjoint(PetitPoisTopping, ArtichokeTopping, RocketTopping, AsparagusTopping, LeekTopping, TomatoTopping, GarlicTopping, CaperTopping, PepperTopping, SpinachTopping, OnionTopping, MushroomTopping, OliveTopping)
disjoint(SlicedTomatoTopping, SundriedTomatoTopping)
domain(hasBase) = Pizza
domain(hasIngredient) = Food
domain(hasTopping) = Pizza
range(hasBase) = PizzaBase
range(hasIngredient) = Food
range(hasSpiciness) = Spiciness
range(hasTopping) = PizzaTopping
⊤ ⊑ ⩽1hasBase.⊤
⊤ ⊑ ⩽1hasBase⁻.⊤
⊤ ⊑ ⩽1hasSpiciness.⊤
⊤ ⊑ ⩽1hasTopping⁻.⊤
⊤ ⊑ ⩽1isBaseOf.⊤
⊤ ⊑ ⩽1isBaseOf⁻.⊤
⊤ ⊑ ⩽1isToppingOf.⊤

 RBox: 
hasBase ⊑ hasIngredient
hasBase ⊑ isBaseOf⁻
hasIngredient ⊑ isIngredientOf⁻
hasTopping ⊑ hasIngredient
hasTopping ⊑ isToppingOf⁻
isBaseOf ⊑ hasBase⁻
isBaseOf ⊑ isIngredientOf
isIngredientOf ⊑ hasIngredient⁻
isToppingOf ⊑ hasTopping⁻
isToppingOf ⊑ isIngredientOf
trans(hasIngredient)
trans(isIngredientOf)

 ABox: 
Country(America)
Country(England)
Country(France)
Country(Germany)
Country(Italy)
script(_:genid2147483649)
⊤(America)
⊤(England)
⊤(France)
⊤(Germany)
⊤(Italy)
