American
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: MozzarellaTopping
    union of: PeperoniSausageTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperoniSausageTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: AmericanHot
disjoint with: Cajun
disjoint with: Capricciosa
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

AmericanHot
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperoniSausageTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HotGreenPepperTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: JalapenoPepperTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: HotGreenPepperTopping
    union of: JalapenoPepperTopping
    union of: MozzarellaTopping
    union of: PeperoniSausageTopping
    union of: TomatoTopping
disjoint with: Cajun
disjoint with: Capricciosa
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

AnchoviesTopping
type: Class
subclass of: FishTopping
disjoint with: MixedSeafoodTopping
disjoint with: PrawnsTopping
subclasses disjoint: true

ArtichokeTopping
type: Class
subclass of: VegetableTopping
disjoint with: AsparagusTopping
disjoint with: CaperTopping
disjoint with: GarlicTopping
disjoint with: LeekTopping
disjoint with: MushroomTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

AsparagusTopping
type: Class
subclass of: VegetableTopping
disjoint with: CaperTopping
disjoint with: GarlicTopping
disjoint with: LeekTopping
disjoint with: MushroomTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

Cajun
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: TobascoPepperSauce
subclass of: Restriction
  on property: hasTopping
  some values from: PrawnsTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OnionTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperonataTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: MozzarellaTopping
    union of: OnionTopping
    union of: PeperonataTopping
    union of: PrawnsTopping
    union of: TobascoPepperSauce
    union of: TomatoTopping
disjoint with: Capricciosa
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

CajunSpiceTopping
type: Class
subclass of: HerbSpiceTopping
disjoint with: RosemaryTopping
subclasses disjoint: true

CaperTopping
type: Class
subclass of: VegetableTopping
disjoint with: GarlicTopping
disjoint with: LeekTopping
disjoint with: MushroomTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

Capricciosa
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: AnchoviesTopping
    union of: CaperTopping
    union of: EggTopping
    union of: HamTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: PeperonataTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperonataTopping
subclass of: Restriction
  on property: hasTopping
  some values from: AnchoviesTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: EggTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HamTopping
subclass of: Restriction
  on property: hasTopping
  some values from: CaperTopping
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

Caprina
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: GoatsCheeseTopping
    union of: MozzarellaTopping
    union of: SundriedTomatoTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: GoatsCheeseTopping
subclass of: Restriction
  on property: hasTopping
  some values from: SundriedTomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Fiorentina
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

CheeseTopping
type: Class
subclass of: DairyTopping
disjoint with: EggTopping
disjoint with: HerbSpiceTopping
subclasses disjoint: true

ChickenTopping
type: Class
subclass of: MeatTopping
disjoint with: HamTopping
disjoint with: HotSpicedBeefTopping
disjoint with: PeperoniSausageTopping
subclasses disjoint: true

DairyTopping
type: Class
subclass of: PizzaTopping
disjoint with: FishTopping
disjoint with: FruitTopping
disjoint with: HerbSpiceTopping
disjoint with: MeatTopping
disjoint with: NutTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

DeepPan
type: Class
subclass of: PizzaBase
disjoint with: ThinAndCrispyBase
subclasses disjoint: true

DomainConcept
type: Class
subclasses disjoint: true

EggTopping
type: Class
subclass of: DairyTopping
subclasses disjoint: true

Fiorentina
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: EggTopping
    union of: GarlicTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: ParmesanTopping
    union of: SpinachTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: GarlicTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ParmesanTopping
subclass of: Restriction
  on property: hasTopping
  some values from: SpinachTopping
subclass of: Restriction
  on property: hasTopping
  some values from: EggTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: FourSeasons
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

FishTopping
type: Class
subclass of: PizzaTopping
disjoint with: FruitTopping
disjoint with: HerbSpiceTopping
disjoint with: MeatTopping
disjoint with: NutTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

FourCheesesTopping
type: Class
subclass of: CheeseTopping
disjoint with: GoatsCheeseTopping
disjoint with: GorgonzolaTopping
disjoint with: MozzarellaTopping
disjoint with: ParmesanTopping
subclasses disjoint: true

FourSeasons
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: CaperTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: AnchoviesTopping
    union of: CaperTopping
    union of: MozzarellaTopping
    union of: MushroomTopping
    union of: OliveTopping
    union of: PeperoniSausageTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: AnchoviesTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MushroomTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperoniSausageTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: FruttiDiMare
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

FruitTopping
type: Class
subclass of: PizzaTopping
disjoint with: HerbSpiceTopping
disjoint with: MeatTopping
disjoint with: NutTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

FruttiDiMare
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: GarlicTopping
    union of: MixedSeafoodTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MixedSeafoodTopping
subclass of: Restriction
  on property: hasTopping
  some values from: GarlicTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

GarlicTopping
type: Class
subclass of: VegetableTopping
disjoint with: LeekTopping
disjoint with: MushroomTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

Giardiniera
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: LeekTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PetitPoisTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: LeekTopping
    union of: MozzarellaTopping
    union of: MushroomTopping
    union of: OliveTopping
    union of: PeperonataTopping
    union of: PetitPoisTopping
    union of: SlicedTomatoTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MushroomTopping
subclass of: Restriction
  on property: hasTopping
  some values from: SlicedTomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PeperonataTopping
disjoint with: LaReine
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

GoatsCheeseTopping
type: Class
subclass of: CheeseTopping
disjoint with: GorgonzolaTopping
disjoint with: MozzarellaTopping
disjoint with: ParmesanTopping
subclasses disjoint: true

GorgonzolaTopping
type: Class
subclass of: CheeseTopping
disjoint with: MozzarellaTopping
disjoint with: ParmesanTopping
subclasses disjoint: true

GreenPepperTopping
type: Class
subclass of: PepperTopping
disjoint with: JalapenoPepperTopping
disjoint with: PeperonataTopping
disjoint with: SweetPepperTopping
subclasses disjoint: true

HamTopping
type: Class
subclass of: MeatTopping
disjoint with: HotSpicedBeefTopping
disjoint with: PeperoniSausageTopping
subclasses disjoint: true

HerbSpiceTopping
type: Class
subclass of: PizzaTopping
disjoint with: MeatTopping
disjoint with: NutTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

HotGreenPepperTopping
type: Class
subclass of: GreenPepperTopping
subclass of: Restriction
  on property: hasSpiciness
  some values from: Hot
subclasses disjoint: true

HotSpicedBeefTopping
type: Class
subclass of: MeatTopping
subclass of: Restriction
  on property: hasSpiciness
  some values from: Hot
disjoint with: PeperoniSausageTopping
subclasses disjoint: true

JalapenoPepperTopping
type: Class
subclass of: PepperTopping
subclass of: Restriction
  on property: hasSpiciness
  some values from: Hot
disjoint with: PeperonataTopping
disjoint with: SweetPepperTopping
subclasses disjoint: true

LaReine
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: HamTopping
    union of: MozzarellaTopping
    union of: MushroomTopping
    union of: OliveTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HamTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MushroomTopping
disjoint with: Margherita
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

LeekTopping
type: Class
subclass of: VegetableTopping
disjoint with: MushroomTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

Margherita
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: MozzarellaTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Mushroom
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

MeatTopping
type: Class
subclass of: PizzaTopping
disjoint with: NutTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

MixedSeafoodTopping
type: Class
subclass of: FishTopping
disjoint with: PrawnsTopping
subclasses disjoint: true

MozzarellaTopping
type: Class
subclass of: CheeseTopping
disjoint with: ParmesanTopping
subclasses disjoint: true

Mushroom
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: MozzarellaTopping
    union of: MushroomTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MushroomTopping
disjoint with: Napoletana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

MushroomTopping
type: Class
subclass of: VegetableTopping
disjoint with: OliveTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

NamedPizza
type: Class
subclass of: Pizza
subclasses disjoint: true

Napoletana
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: AnchoviesTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: CaperTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: AnchoviesTopping
    union of: CaperTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: TomatoTopping
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

NutTopping
type: Class
subclass of: PizzaTopping
disjoint with: SauceTopping
disjoint with: VegetableTopping
subclasses disjoint: true

OliveTopping
type: Class
subclass of: VegetableTopping
disjoint with: OnionTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

OnionTopping
type: Class
subclass of: VegetableTopping
disjoint with: PepperTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

ParmaHamTopping
type: Class
subclass of: HamTopping
subclasses disjoint: true

Parmense
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: EggTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: AsparagusTopping
    union of: EggTopping
    union of: HamTopping
    union of: MozzarellaTopping
    union of: ParmesanTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HamTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ParmesanTopping
subclass of: Restriction
  on property: hasTopping
  some values from: AsparagusTopping
disjoint with: PolloAdAstra
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

ParmesanTopping
type: Class
subclass of: CheeseTopping
subclasses disjoint: true

PeperonataTopping
type: Class
subclass of: PepperTopping
disjoint with: SweetPepperTopping
subclasses disjoint: true

PeperoniSausageTopping
type: Class
subclass of: MeatTopping
subclasses disjoint: true

PepperTopping
type: Class
subclass of: VegetableTopping
disjoint with: PetitPoisTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

PetitPoisTopping
type: Class
subclass of: VegetableTopping
disjoint with: RocketTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

PineKernels
type: Class
subclass of: NutTopping
subclasses disjoint: true

Pizza
type: Class
subclass of: DomainConcept
disjoint with: PizzaBase
disjoint with: PizzaTopping
subclasses disjoint: true

PizzaBase
type: Class
subclass of: DomainConcept
disjoint with: PizzaTopping
subclasses disjoint: true

PizzaTopping
type: Class
subclass of: DomainConcept
subclasses disjoint: true

PolloAdAstra
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: GarlicTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CajunSpiceTopping
    union of: ChickenTopping
    union of: GarlicTopping
    union of: MozzarellaTopping
    union of: RedOnionTopping
    union of: SweetPepperTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: CajunSpiceTopping
subclass of: Restriction
  on property: hasTopping
  some values from: SweetPepperTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: RedOnionTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ChickenTopping
disjoint with: PrinceCarlo
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

PrawnsTopping
type: Class
subclass of: FishTopping
subclasses disjoint: true

PrinceCarlo
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: LeekTopping
    union of: MozzarellaTopping
    union of: ParmesanTopping
    union of: RosemaryTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: LeekTopping
subclass of: Restriction
  on property: hasTopping
  some values from: RosemaryTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ParmesanTopping
disjoint with: QuattroFormaggi
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

QuattroFormaggi
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: FourCheesesTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: FourCheesesTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

RedOnionTopping
type: Class
subclass of: OnionTopping
subclasses disjoint: true

RocketTopping
type: Class
subclass of: VegetableTopping
disjoint with: SpinachTopping
disjoint with: TomatoTopping
subclasses disjoint: true

Rosa
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: GorgonzolaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: GorgonzolaTopping
    union of: MozzarellaTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

RosemaryTopping
type: Class
subclass of: HerbSpiceTopping
subclasses disjoint: true

SauceTopping
type: Class
subclass of: PizzaTopping
disjoint with: VegetableTopping
subclasses disjoint: true

Siciliana
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: AnchoviesTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HamTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ArtichokeTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: AnchoviesTopping
    union of: ArtichokeTopping
    union of: GarlicTopping
    union of: HamTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: GarlicTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

SlicedTomatoTopping
type: Class
subclass of: TomatoTopping
disjoint with: SundriedTomatoTopping
subclasses disjoint: true

SloppyGiuseppe
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: GreenPepperTopping
subclass of: Restriction
  on property: hasTopping
  some values from: HotSpicedBeefTopping
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: GreenPepperTopping
    union of: HotSpicedBeefTopping
    union of: MozzarellaTopping
    union of: OnionTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OnionTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Soho
disjoint with: Veneziana
subclasses disjoint: true

Soho
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: GarlicTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: ParmesanTopping
    union of: RocketTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: GarlicTopping
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: ParmesanTopping
subclass of: Restriction
  on property: hasTopping
  some values from: RocketTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
disjoint with: Veneziana
subclasses disjoint: true

SpicyPizza
type: Class
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    some values from: SpicyTopping
subclasses disjoint: true

SpinachTopping
type: Class
subclass of: VegetableTopping
disjoint with: TomatoTopping
subclasses disjoint: true

SultanaTopping
type: Class
subclass of: FruitTopping
subclasses disjoint: true

SundriedTomatoTopping
type: Class
subclass of: TomatoTopping
subclasses disjoint: true

SweetPepperTopping
type: Class
subclass of: PepperTopping
subclasses disjoint: true

ThinAndCrispyBase
type: Class
subclass of: PizzaBase
subclasses disjoint: true

TobascoPepperSauce
type: Class
subclass of: SauceTopping
subclass of: Restriction
  on property: hasSpiciness
  some values from: Hot
subclasses disjoint: true

TomatoTopping
type: Class
subclass of: VegetableTopping
subclasses disjoint: true

VegetableTopping
type: Class
subclass of: PizzaTopping
subclasses disjoint: true

VegetarianPizza
type: Class
equivalent class: Class
  intersection of: Pizza
  intersection of: Class
    complement of: Restriction
      on property: hasTopping
      some values from: FishTopping
  intersection of: Class
    complement of: Restriction
      on property: hasTopping
      some values from: MeatTopping
subclasses disjoint: true

Veneziana
type: Class
subclass of: NamedPizza
subclass of: Restriction
  on property: hasTopping
  some values from: MozzarellaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OnionTopping
subclass of: Restriction
  on property: hasTopping
  some values from: CaperTopping
subclass of: Restriction
  on property: hasTopping
  some values from: PineKernels
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CaperTopping
    union of: MozzarellaTopping
    union of: OliveTopping
    union of: OnionTopping
    union of: PineKernels
    union of: SultanaTopping
    union of: TomatoTopping
subclass of: Restriction
  on property: hasTopping
  some values from: OliveTopping
subclass of: Restriction
  on property: hasTopping
  some values from: SultanaTopping
subclass of: Restriction
  on property: hasTopping
  some values from: TomatoTopping
subclasses disjoint: true