Pizza from OWL

from cognipy.ontology import Ontology

onto = Ontology("rdf/uri","https://protege.stanford.edu/ontologies/pizza/pizza.owl")

onto.draw_graph()

print(onto.as_cnl())

America is something.
England is something.
France is something.
Germany is something.
Italy is something.
Every-single-thing is had-base by at-most one thing.
If X has-ingredient something that has-ingredient Y then X has-ingredient Y.
Every-single-thing is had-topping by at-most one thing.
Every-single-thing is is-base-of by at-most one thing.
If X is-ingredient-of something that is-ingredient-of Y then X is-ingredient-of Y.
Every "American" is a "NamedPizza".
Every "AmericanHot" is a "NamedPizza".
Every "AnchoviesTopping" is a "FishTopping".
Every "ArtichokeTopping" is a "VegetableTopping".
Every "AsparagusTopping" is a "VegetableTopping".
Every "Cajun" is a "NamedPizza".
Every "CajunSpiceTopping" is a "HerbSpiceTopping".
Every "CajunSpiceTopping" is not a "RosemaryTopping".
Every "CaperTopping" is a "VegetableTopping".
Every "Capricciosa" is a "NamedPizza".
Every "Caprina" is a "NamedPizza".
Every "CheeseTopping" is a "PizzaTopping".
Every "CheeseyVegetableTopping" is a "CheeseTopping".
Every "CheeseyVegetableTopping" is a "VegetableTopping".
Every "ChickenTopping" is a "MeatTopping".
Every "DeepPanBase" is a "PizzaBase".
Every "DeepPanBase" is not a "ThinAndCrispyBase".
Every "DomainConcept" is not a "ValuePartition".
Every "Fiorentina" is a "NamedPizza".
Every "FishTopping" is a "PizzaTopping".
Every "Food" is a "DomainConcept".
Every "FourCheesesTopping" is a "CheeseTopping".
Every "FourSeasons" is a "NamedPizza".
Every "FruitTopping" is a "PizzaTopping".
Every "FruttiDiMare" is a "NamedPizza".
Every "GarlicTopping" is a "VegetableTopping".
Every "Giardiniera" is a "NamedPizza".
Every "GoatsCheeseTopping" is a "CheeseTopping".
Every "GorgonzolaTopping" is a "CheeseTopping".
Every "GreenPepperTopping" is a "PepperTopping".
Every "HamTopping" is a "MeatTopping".
Every "HerbSpiceTopping" is a "PizzaTopping".
Every "Hot" is a "Spiciness".
Every "HotGreenPepperTopping" is a "GreenPepperTopping".
Every "HotSpicedBeefTopping" is a "MeatTopping".
Every "IceCream" is a "Food".
Every "JalapenoPepperTopping" is a "PepperTopping".
Every "LaReine" is a "NamedPizza".
Every "LeekTopping" is a "VegetableTopping".
Every "Margherita" is a "NamedPizza".
Every "MeatTopping" is a "PizzaTopping".
Every "Medium" is a "Spiciness".
Every "Mild" is a "Spiciness".
Every "MixedSeafoodTopping" is a "FishTopping".
Every "MozzarellaTopping" is a "CheeseTopping".
Every "Mushroom" is a "NamedPizza".
Every "MushroomTopping" is a "VegetableTopping".
Every "NamedPizza" is a "Pizza".
Every "Napoletana" is a "NamedPizza".
Every "NonVegetarianPizza" is not a "VegetarianPizza".
Every "NutTopping" is a "PizzaTopping".
Every "OliveTopping" is a "VegetableTopping".
Every "OnionTopping" is a "VegetableTopping".
Every "ParmaHamTopping" is a "HamTopping".
Every "Parmense" is a "NamedPizza".
Every "ParmesanTopping" is a "CheeseTopping".
Every "PeperonataTopping" is a "PepperTopping".
Every "PeperoniSausageTopping" is a "MeatTopping".
Every "PepperTopping" is a "VegetableTopping".
Every "PetitPoisTopping" is a "VegetableTopping".
Every "PineKernels" is a "NutTopping".
Every "Pizza" is a "Food".
Every "PizzaBase" is a "Food".
Every "PizzaTopping" is a "Food".
Every "PolloAdAstra" is a "NamedPizza".
Every "PrawnsTopping" is a "FishTopping".
Every "PrinceCarlo" is a "NamedPizza".
Every "QuattroFormaggi" is a "NamedPizza".
Every "RedOnionTopping" is a "OnionTopping".
Every "RocketTopping" is a "VegetableTopping".
Every "Rosa" is a "NamedPizza".
Every "RosemaryTopping" is a "HerbSpiceTopping".
Every "SauceTopping" is a "PizzaTopping".
Every "Siciliana" is a "NamedPizza".
Every "SlicedTomatoTopping" is a "TomatoTopping".
Every "SlicedTomatoTopping" is not a "SundriedTomatoTopping".
Every "SloppyGiuseppe" is a "NamedPizza".
Every "Soho" is a "NamedPizza".
Every "Spiciness" is a "ValuePartition".
Every "SpinachTopping" is a "VegetableTopping".
Every "SultanaTopping" is a "FruitTopping".
Every "SundriedTomatoTopping" is a "TomatoTopping".
Every "SweetPepperTopping" is a "PepperTopping".
Every "ThinAndCrispyBase" is a "PizzaBase".
Every "TobascoPepperSauce" is a "SauceTopping".
Every "TomatoTopping" is a "VegetableTopping".
Every "UnclosedPizza" is a "Pizza".
Every "VegetableTopping" is a "PizzaTopping".
Every "Veneziana" is a "NamedPizza".
America is something.
America is a "Country".
England is something.
England is a "Country".
France is something.
France is a "Country".
Germany is something.
Germany is a "Country".
Italy is something.
Italy is a "Country".
Every-single-thing has-base nothing-but "PizzaBase".
Every-single-thing has-ingredient nothing-but "Food".
Every-single-thing has-spiciness nothing-but "Spiciness".
Every-single-thing has-topping nothing-but "PizzaTopping".
If X has-base Y then X has-ingredient Y.
Every-single-thing has-base at-most one thing.
Every-single-thing that has-base is a "Pizza".
Every-single-thing that has-ingredient is a "Food".
Every-single-thing has-spiciness at-most one thing.
If X has-topping Y then X has-ingredient Y.
Every-single-thing that has-topping is a "Pizza".
If X is-base-of Y then X is-ingredient-of Y.
Every-single-thing is-base-of at-most one thing.
If X is-topping-of Y then X is-ingredient-of Y.
Every-single-thing is-topping-of at-most one thing.
Every "American" has-topping a "MozzarellaTopping".
Every "American" has-topping a "PeperoniSausageTopping".
Every "American" has-topping a "TomatoTopping".
Every "American" has-topping nothing-but things that are "MozzarellaTopping" and-or are "PeperoniSausageTopping" and-or are "TomatoTopping".
Every "American" has-country-of-origin America.
Every "AmericanHot" has-topping a "HotGreenPepperTopping".
Every "AmericanHot" has-topping a "JalapenoPepperTopping".
Every "AmericanHot" has-topping a "MozzarellaTopping".
Every "AmericanHot" has-topping a "PeperoniSausageTopping".
Every "AmericanHot" has-topping a "TomatoTopping".
Every "AmericanHot" has-topping nothing-but things that are "HotGreenPepperTopping" and-or are "JalapenoPepperTopping" and-or are "MozzarellaTopping" and-or are "PeperoniSausageTopping" and-or are "TomatoTopping".
Every "AmericanHot" has-country-of-origin America.
Every "ArtichokeTopping" has-spiciness a "Mild".
Every "AsparagusTopping" has-spiciness a "Mild".
Every "Cajun" has-topping a "MozzarellaTopping".
Every "Cajun" has-topping a "OnionTopping".
Every "Cajun" has-topping a "PeperonataTopping".
Every "Cajun" has-topping a "PrawnsTopping".
Every "Cajun" has-topping a "TobascoPepperSauce".
Every "Cajun" has-topping a "TomatoTopping".
Every "Cajun" has-topping nothing-but things that are "MozzarellaTopping" and-or are "OnionTopping" and-or are "PeperonataTopping" and-or are "PrawnsTopping" and-or are "TobascoPepperSauce" and-or are "TomatoTopping".
Every "CajunSpiceTopping" has-spiciness a "Hot".
Every "CaperTopping" has-spiciness a "Mild".
Every "Capricciosa" has-topping a "AnchoviesTopping".
Every "Capricciosa" has-topping a "CaperTopping".
Every "Capricciosa" has-topping a "HamTopping".
Every "Capricciosa" has-topping a "MozzarellaTopping".
Every "Capricciosa" has-topping a "OliveTopping".
Every "Capricciosa" has-topping a "PeperonataTopping".
Every "Capricciosa" has-topping a "TomatoTopping".
Every "Capricciosa" has-topping nothing-but things that are "AnchoviesTopping" and-or are "CaperTopping" and-or are "HamTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "PeperonataTopping" and-or are "TomatoTopping".
Every "Caprina" has-topping a "GoatsCheeseTopping".
Every "Caprina" has-topping a "MozzarellaTopping".
Every "Caprina" has-topping a "SundriedTomatoTopping".
Every "Caprina" has-topping a "TomatoTopping".
Every "Caprina" has-topping nothing-but things that are "GoatsCheeseTopping" and-or are "MozzarellaTopping" and-or are "SundriedTomatoTopping" and-or are "TomatoTopping".
Something is a "CheeseyPizza" if-and-only-if-it is a "Pizza" and has-topping a "CheeseTopping".
Every "ChickenTopping" has-spiciness a "Mild".
Something is a "Country" if-and-only-if-it is a "DomainConcept" and is either America, England, France, Germany or Italy.
Every "Fiorentina" has-topping a "GarlicTopping".
Every "Fiorentina" has-topping a "MozzarellaTopping".
Every "Fiorentina" has-topping a "OliveTopping".
Every "Fiorentina" has-topping a "ParmesanTopping".
Every "Fiorentina" has-topping a "SpinachTopping".
Every "Fiorentina" has-topping a "TomatoTopping".
Every "Fiorentina" has-topping nothing-but things that are "GarlicTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "ParmesanTopping" and-or are "SpinachTopping" and-or are "TomatoTopping".
Every "FishTopping" has-spiciness a "Mild".
Every "FourCheesesTopping" has-spiciness a "Mild".
Every "FourSeasons" has-topping a "AnchoviesTopping".
Every "FourSeasons" has-topping a "CaperTopping".
Every "FourSeasons" has-topping a "MozzarellaTopping".
Every "FourSeasons" has-topping a "MushroomTopping".
Every "FourSeasons" has-topping a "OliveTopping".
Every "FourSeasons" has-topping a "PeperoniSausageTopping".
Every "FourSeasons" has-topping a "TomatoTopping".
Every "FourSeasons" has-topping nothing-but things that are "AnchoviesTopping" and-or are "CaperTopping" and-or are "MozzarellaTopping" and-or are "MushroomTopping" and-or are "OliveTopping" and-or are "PeperoniSausageTopping" and-or are "TomatoTopping".
Every "FruttiDiMare" has-topping a "GarlicTopping".
Every "FruttiDiMare" has-topping a "MixedSeafoodTopping".
Every "FruttiDiMare" has-topping a "TomatoTopping".
Every "FruttiDiMare" has-topping nothing-but things that are "GarlicTopping" and-or are "MixedSeafoodTopping" and-or are "TomatoTopping".
Every "GarlicTopping" has-spiciness a "Medium".
Every "Giardiniera" has-topping a "LeekTopping".
Every "Giardiniera" has-topping a "MozzarellaTopping".
Every "Giardiniera" has-topping a "MushroomTopping".
Every "Giardiniera" has-topping a "OliveTopping".
Every "Giardiniera" has-topping a "PeperonataTopping".
Every "Giardiniera" has-topping a "PetitPoisTopping".
Every "Giardiniera" has-topping a "SlicedTomatoTopping".
Every "Giardiniera" has-topping a "TomatoTopping".
Every "Giardiniera" has-topping nothing-but things that are "LeekTopping" and-or are "MozzarellaTopping" and-or are "MushroomTopping" and-or are "OliveTopping" and-or are "PeperonataTopping" and-or are "PetitPoisTopping" and-or are "SlicedTomatoTopping" and-or are "TomatoTopping".
Every "GoatsCheeseTopping" has-spiciness a "Mild".
Every "GorgonzolaTopping" has-spiciness a "Mild".
Every "HotGreenPepperTopping" has-spiciness a "Hot".
Every "HotSpicedBeefTopping" has-spiciness a "Hot".
Every "IceCream" has-topping a "FruitTopping".
Something is a "InterestingPizza" if-and-only-if-it is a "Pizza" and has-topping at-least three things.
Every "JalapenoPepperTopping" has-spiciness a "Hot".
Every "LaReine" has-topping a "HamTopping".
Every "LaReine" has-topping a "MozzarellaTopping".
Every "LaReine" has-topping a "MushroomTopping".
Every "LaReine" has-topping a "OliveTopping".
Every "LaReine" has-topping a "TomatoTopping".
Every "LaReine" has-topping nothing-but things that are "HamTopping" and-or are "MozzarellaTopping" and-or are "MushroomTopping" and-or are "OliveTopping" and-or are "TomatoTopping".
Every "LeekTopping" has-spiciness a "Mild".
Every "Margherita" has-topping a "MozzarellaTopping".
Every "Margherita" has-topping a "TomatoTopping".
Every "Margherita" has-topping nothing-but things that are "MozzarellaTopping" and-or are "TomatoTopping".
Something is a "MeatyPizza" if-and-only-if-it is a "Pizza" and has-topping a "MeatTopping".
Every "MozzarellaTopping" has-spiciness a "Mild".
Every "MozzarellaTopping" has-country-of-origin Italy.
Every "Mushroom" has-topping a "MozzarellaTopping".
Every "Mushroom" has-topping a "MushroomTopping".
Every "Mushroom" has-topping a "TomatoTopping".
Every "Mushroom" has-topping nothing-but things that are "MozzarellaTopping" and-or are "MushroomTopping" and-or are "TomatoTopping".
Every "MushroomTopping" has-spiciness a "Mild".
Every "Napoletana" has-topping a "AnchoviesTopping".
Every "Napoletana" has-topping a "CaperTopping".
Every "Napoletana" has-topping a "MozzarellaTopping".
Every "Napoletana" has-topping a "OliveTopping".
Every "Napoletana" has-topping a "TomatoTopping".
Every "Napoletana" has-topping nothing-but things that are "AnchoviesTopping" and-or are "CaperTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "TomatoTopping".
Every "Napoletana" has-country-of-origin Italy.
Something is a "NonVegetarianPizza" if-and-only-if-it is a "Pizza" and is not a "VegetarianPizza".
Every "NutTopping" has-spiciness a "Mild".
Every "OliveTopping" has-spiciness a "Mild".
Every "OnionTopping" has-spiciness a "Medium".
Every "ParmaHamTopping" has-spiciness a "Mild".
Every "Parmense" has-topping a "AsparagusTopping".
Every "Parmense" has-topping a "HamTopping".
Every "Parmense" has-topping a "MozzarellaTopping".
Every "Parmense" has-topping a "ParmesanTopping".
Every "Parmense" has-topping a "TomatoTopping".
Every "Parmense" has-topping nothing-but things that are "AsparagusTopping" and-or are "HamTopping" and-or are "MozzarellaTopping" and-or are "ParmesanTopping" and-or are "TomatoTopping".
Every "ParmesanTopping" has-spiciness a "Mild".
Every "PeperonataTopping" has-spiciness a "Medium".
Every "PeperoniSausageTopping" has-spiciness a "Medium".
Every "PetitPoisTopping" has-spiciness a "Mild".
Every "Pizza" has-base a "PizzaBase".
Every "PolloAdAstra" has-topping a "CajunSpiceTopping".
Every "PolloAdAstra" has-topping a "ChickenTopping".
Every "PolloAdAstra" has-topping a "GarlicTopping".
Every "PolloAdAstra" has-topping a "MozzarellaTopping".
Every "PolloAdAstra" has-topping a "RedOnionTopping".
Every "PolloAdAstra" has-topping a "SweetPepperTopping".
Every "PolloAdAstra" has-topping a "TomatoTopping".
Every "PolloAdAstra" has-topping nothing-but things that are "CajunSpiceTopping" and-or are "ChickenTopping" and-or are "GarlicTopping" and-or are "MozzarellaTopping" and-or are "RedOnionTopping" and-or are "SweetPepperTopping" and-or are "TomatoTopping".
Every "PrinceCarlo" has-topping a "LeekTopping".
Every "PrinceCarlo" has-topping a "MozzarellaTopping".
Every "PrinceCarlo" has-topping a "ParmesanTopping".
Every "PrinceCarlo" has-topping a "RosemaryTopping".
Every "PrinceCarlo" has-topping a "TomatoTopping".
Every "PrinceCarlo" has-topping nothing-but things that are "LeekTopping" and-or are "MozzarellaTopping" and-or are "ParmesanTopping" and-or are "RosemaryTopping" and-or are "TomatoTopping".
Every "QuattroFormaggi" has-topping a "FourCheesesTopping".
Every "QuattroFormaggi" has-topping a "TomatoTopping".
Every "QuattroFormaggi" has-topping nothing-but things that are "FourCheesesTopping" and-or are "TomatoTopping".
Something is a "RealItalianPizza" if-and-only-if-it is a "Pizza" and has-country-of-origin Italy.
Every "RealItalianPizza" has-base nothing-but "ThinAndCrispyBase".
Every "RocketTopping" has-spiciness a "Medium".
Every "Rosa" has-topping a "GorgonzolaTopping".
Every "Rosa" has-topping a "MozzarellaTopping".
Every "Rosa" has-topping a "TomatoTopping".
Every "Rosa" has-topping nothing-but things that are "GorgonzolaTopping" and-or are "MozzarellaTopping" and-or are "TomatoTopping".
Every "RosemaryTopping" has-spiciness a "Mild".
Every "Siciliana" has-topping a "AnchoviesTopping".
Every "Siciliana" has-topping a "ArtichokeTopping".
Every "Siciliana" has-topping a "GarlicTopping".
Every "Siciliana" has-topping a "HamTopping".
Every "Siciliana" has-topping a "MozzarellaTopping".
Every "Siciliana" has-topping a "OliveTopping".
Every "Siciliana" has-topping a "TomatoTopping".
Every "Siciliana" has-topping nothing-but things that are "AnchoviesTopping" and-or are "ArtichokeTopping" and-or are "GarlicTopping" and-or are "HamTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "TomatoTopping".
Every "SlicedTomatoTopping" has-spiciness a "Mild".
Every "SloppyGiuseppe" has-topping a "GreenPepperTopping".
Every "SloppyGiuseppe" has-topping a "HotSpicedBeefTopping".
Every "SloppyGiuseppe" has-topping a "MozzarellaTopping".
Every "SloppyGiuseppe" has-topping a "OnionTopping".
Every "SloppyGiuseppe" has-topping a "TomatoTopping".
Every "SloppyGiuseppe" has-topping nothing-but things that are "GreenPepperTopping" and-or are "HotSpicedBeefTopping" and-or are "MozzarellaTopping" and-or are "OnionTopping" and-or are "TomatoTopping".
Every "Soho" has-topping a "GarlicTopping".
Every "Soho" has-topping a "MozzarellaTopping".
Every "Soho" has-topping a "OliveTopping".
Every "Soho" has-topping a "ParmesanTopping".
Every "Soho" has-topping a "RocketTopping".
Every "Soho" has-topping a "TomatoTopping".
Every "Soho" has-topping nothing-but things that are "GarlicTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "ParmesanTopping" and-or are "RocketTopping" and-or are "TomatoTopping".
Something is a "Spiciness" if-and-only-if-it is a "Hot" and-or is a "Medium" and-or is a "Mild".
Something is a "SpicyPizza" if-and-only-if-it is a "Pizza" and has-topping a "SpicyTopping".
Something is a "SpicyPizzaEquivalent" if-and-only-if-it is a "Pizza" and has-topping that is a "PizzaTopping" and has-spiciness a "Hot".
Something is a "SpicyTopping" if-and-only-if-it is a "PizzaTopping" and has-spiciness a "Hot".
Every "SpinachTopping" has-spiciness a "Mild".
Every "SultanaTopping" has-spiciness a "Medium".
Every "SundriedTomatoTopping" has-spiciness a "Mild".
Every "SweetPepperTopping" has-spiciness a "Mild".
Something is a "ThinAndCrispyPizza" if-and-only-if-it is a "Pizza" and has-base nothing-but "ThinAndCrispyBase".
Every "TobascoPepperSauce" has-spiciness a "Hot".
Every "TomatoTopping" has-spiciness a "Mild".
Every "UnclosedPizza" has-topping a "MozzarellaTopping".
Something is a "VegetarianPizza" if-and-only-if-it is a "Pizza" and is not a thing (that has-topping a "FishTopping") and is not a thing that has-topping a "MeatTopping".
Something is a "VegetarianPizzaEquivalent1" if-and-only-if-it is a "Pizza" and has-topping nothing-but "VegetarianTopping".
Something is a "VegetarianPizzaEquivalent2" if-and-only-if-it is a "Pizza" and has-topping nothing-but things that are "CheeseTopping" and-or are "FruitTopping" and-or are "HerbSpiceTopping" and-or are "NutTopping" and-or are "SauceTopping" and-or are "VegetableTopping".
Something is a "VegetarianTopping" if-and-only-if-it is a "PizzaTopping" and is something that is a "CheeseTopping" and-or is a "FruitTopping" and-or is a "HerbSpiceTopping" and-or is a "NutTopping" and-or is a "SauceTopping" and-or is a "VegetableTopping".
Every "Veneziana" has-topping a "CaperTopping".
Every "Veneziana" has-topping a "MozzarellaTopping".
Every "Veneziana" has-topping a "OliveTopping".
Every "Veneziana" has-topping a "OnionTopping".
Every "Veneziana" has-topping a "PineKernels".
Every "Veneziana" has-topping a "SultanaTopping".
Every "Veneziana" has-topping a "TomatoTopping".
Every "Veneziana" has-topping nothing-but things that are "CaperTopping" and-or are "MozzarellaTopping" and-or are "OliveTopping" and-or are "OnionTopping" and-or are "PineKernels" and-or are "SultanaTopping" and-or are "TomatoTopping".
Every "Veneziana" has-country-of-origin Italy.
Anything either is America, is England, is France, is Germany or is Italy or-something-else.
X has-base Y if-and-only-if Y is-base-of X.
X has-ingredient Y if-and-only-if Y is-ingredient-of X.
X has-topping Y if-and-only-if Y is-topping-of X.
Anything either is a "American", is a "AmericanHot", is a "Cajun", is a "Capricciosa", is a "Caprina", is a "Fiorentina", is a "FourSeasons", is a "FruttiDiMare", is a "Giardiniera", is a "LaReine", is a "Margherita", is a "Mushroom", is a "Napoletana", is a "Parmense", is a "PolloAdAstra", is a "PrinceCarlo", is a "QuattroFormaggi", is a "Rosa", is a "Siciliana", is a "SloppyGiuseppe", is a "Soho", is a "UnclosedPizza" or is a "Veneziana" or-something-else.
Anything either is a "AnchoviesTopping", is a "MixedSeafoodTopping" or is a "PrawnsTopping" or-something-else.
Anything either is a "ArtichokeTopping", is a "AsparagusTopping", is a "CaperTopping", is a "GarlicTopping", is a "LeekTopping", is a "MushroomTopping", is a "OliveTopping", is a "OnionTopping", is a "PepperTopping", is a "PetitPoisTopping", is a "RocketTopping", is a "SpinachTopping" or is a "TomatoTopping" or-something-else.
Anything either is a "CheeseTopping", is a "FishTopping", is a "FruitTopping", is a "HerbSpiceTopping", is a "MeatTopping", is a "NutTopping", is a "SauceTopping" or is a "VegetableTopping" or-something-else.
Anything either is a "ChickenTopping", is a "HamTopping", is a "HotSpicedBeefTopping" or is a "PeperoniSausageTopping" or-something-else.
Anything either is a "FourCheesesTopping", is a "GoatsCheeseTopping", is a "GorgonzolaTopping", is a "MozzarellaTopping" or is a "ParmesanTopping" or-something-else.
Anything either is a "GreenPepperTopping", is a "JalapenoPepperTopping", is a "PeperonataTopping" or is a "SweetPepperTopping" or-something-else.
Anything either is a "Hot", is a "Medium" or is a "Mild" or-something-else.
Anything either is a "IceCream", is a "Pizza", is a "PizzaBase" or is a "PizzaTopping" or-something-else.
Annotations:
have-ingredient Role: "comment":rdfs 'NB Transitive - the ingredients of ingredients are ingredients of the whole'@en
have-spiciness Role: "comment":rdfs 'A property created to be used with the ValuePartition - Spiciness.'@en
have-topping Role: "comment":rdfs 'Note that hasTopping is inverse functional because isToppingOf is functional'@en
be-ingredient-of Role: "comment":rdfs 'The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.'@en
be-topping-of Role: "comment":rdfs 'Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)'@en
"American" Concept: "label":rdfs 'American'@en
"American" Concept: "label":rdfs 'Americana'@pt
"American" Concept: "altLabel":skos 'American'@en
"American" Concept: "altLabel":skos 'American Pizza'@en
"American" Concept: "prefLabel":skos 'American'@en
"AmericanHot" Concept: "label":rdfs 'AmericanHot'@en
"AmericanHot" Concept: "label":rdfs 'AmericanaPicante'@pt
"AmericanHot" Concept: "altLabel":skos 'American Hot'@en
"AmericanHot" Concept: "altLabel":skos 'American Hot Pizza'@en
"AmericanHot" Concept: "prefLabel":skos 'American Hot'@en
"AnchoviesTopping" Concept: "label":rdfs 'AnchoviesTopping'@en
"AnchoviesTopping" Concept: "label":rdfs 'CoberturaDeAnchovies'@pt
"AnchoviesTopping" Concept: "prefLabel":skos 'Anchovies'@en
"ArtichokeTopping" Concept: "label":rdfs 'ArtichokeTopping'@en
"ArtichokeTopping" Concept: "label":rdfs 'CoberturaDeArtichoke'@pt
"ArtichokeTopping" Concept: "prefLabel":skos 'Artichoke'@en
"AsparagusTopping" Concept: "label":rdfs 'AsparagusTopping'@en
"AsparagusTopping" Concept: "label":rdfs 'CoberturaDeAspargos'@pt
"AsparagusTopping" Concept: "prefLabel":skos 'Asparagus'@en
"Cajun" Concept: "label":rdfs 'Cajun'@en
"Cajun" Concept: "label":rdfs 'Cajun'@pt
"Cajun" Concept: "altLabel":skos 'Cajun'@en
"Cajun" Concept: "altLabel":skos 'Cajun Pizza'@en
"Cajun" Concept: "prefLabel":skos 'Cajun'@en
"CajunSpiceTopping" Concept: "label":rdfs 'CajunSpiceTopping'@en
"CajunSpiceTopping" Concept: "label":rdfs 'CoberturaDeCajun'@pt
"CajunSpiceTopping" Concept: "prefLabel":skos 'Cajun Spice'@en
"CaperTopping" Concept: "label":rdfs 'CaperTopping'@en
"CaperTopping" Concept: "label":rdfs 'CoberturaDeCaper'@pt
"CaperTopping" Concept: "prefLabel":skos 'Caper'@en
"Capricciosa" Concept: "label":rdfs 'Capricciosa'@en
"Capricciosa" Concept: "label":rdfs 'Capricciosa'@pt
"Capricciosa" Concept: "altLabel":skos 'Capricciosa'@en
"Capricciosa" Concept: "altLabel":skos 'Capricciosa Pizza'@en
"Capricciosa" Concept: "prefLabel":skos 'Capricciosa'@en
"Caprina" Concept: "label":rdfs 'Caprina'@en
"Caprina" Concept: "label":rdfs 'Caprina'@pt
"Caprina" Concept: "altLabel":skos 'Caprina'@en
"Caprina" Concept: "altLabel":skos 'Caprina Pizza'@en
"Caprina" Concept: "prefLabel":skos 'Caprina'@en
"CheeseTopping" Concept: "label":rdfs 'CheeseTopping'@en
"CheeseTopping" Concept: "label":rdfs 'CoberturaDeQueijo'@pt
"CheeseTopping" Concept: "prefLabel":skos 'Cheese'@en
"CheeseyPizza" Concept: "label":rdfs 'CheesyPizza'@en
"CheeseyPizza" Concept: "label":rdfs 'PizzaComQueijo'@pt
"CheeseyPizza" Concept: "definition":skos 'Any pizza that has at least 1 cheese topping.'@en
"CheeseyPizza" Concept: "prefLabel":skos 'Cheesy Pizza'@en
"CheeseyVegetableTopping" Concept: "comment":rdfs 'This class will be unsatisfiable. This is because we have given it 2 disjoint parents, which means it could never have any instances (as nothing can be both a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial.'@en
"CheeseyVegetableTopping" Concept: "label":rdfs 'CheesyVegetableTopping'@en
"CheeseyVegetableTopping" Concept: "label":rdfs 'CoberturaDeQueijoComVegetais'@pt
"ChickenTopping" Concept: "label":rdfs 'ChickenTopping'@en
"ChickenTopping" Concept: "label":rdfs 'CoberturaDeFrango'@pt
"ChickenTopping" Concept: "prefLabel":skos 'Chicken'@en
"Country" Concept: "comment":rdfs 'A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other.'@en
"Country" Concept: "label":rdfs 'Country'@en
"Country" Concept: "label":rdfs 'Pais'@pt
"Country" Concept: "prefLabel":skos 'Country'@en
"DeepPanBase" Concept: "label":rdfs 'BaseEspessa'@pt
"DeepPanBase" Concept: "label":rdfs 'DeepPanBase'@en
"DeepPanBase" Concept: "prefLabel":skos 'Deep Pan Base'@en
"DomainConcept" Concept: "label":rdfs 'DomainThing'@en
"DomainConcept" Concept: "prefLabel":skos 'Domain Thing'@en
"Fiorentina" Concept: "label":rdfs 'Fiorentina'@en
"Fiorentina" Concept: "label":rdfs 'Fiorentina'@pt
"Fiorentina" Concept: "altLabel":skos 'Fiorentina'@en
"Fiorentina" Concept: "altLabel":skos 'Fiorentina Pizza'@en
"Fiorentina" Concept: "prefLabel":skos 'Fiorentina'@en
"FishTopping" Concept: "label":rdfs 'CoberturaDePeixe'@pt
"FishTopping" Concept: "label":rdfs 'SeafoodTopping'@en
"FishTopping" Concept: "prefLabel":skos 'Seafood'@en
"Food" Concept: "label":rdfs 'Food'@en
"Food" Concept: "prefLabel":skos 'Food'@en
"FourCheesesTopping" Concept: "label":rdfs 'CoberturaQuatroQueijos'@pt
"FourCheesesTopping" Concept: "label":rdfs 'FourCheesesTopping'@en
"FourCheesesTopping" Concept: "prefLabel":skos 'Four Cheeses'@en
"FourSeasons" Concept: "label":rdfs 'FourSeasons'@en
"FourSeasons" Concept: "label":rdfs 'QuatroQueijos'@pt
"FourSeasons" Concept: "altLabel":skos 'Four Seasons'@en
"FourSeasons" Concept: "altLabel":skos 'Four Seasons Pizza'@en
"FourSeasons" Concept: "prefLabel":skos 'Four Seasons'@en
"FruitTopping" Concept: "label":rdfs 'CoberturaDeFrutas'@pt
"FruitTopping" Concept: "label":rdfs 'FruitTopping'@en
"FruitTopping" Concept: "prefLabel":skos 'Fruit'@en
"FruttiDiMare" Concept: "label":rdfs 'FrutosDoMar'@pt
"FruttiDiMare" Concept: "label":rdfs 'FruttiDiMare'@en
"FruttiDiMare" Concept: "altLabel":skos 'Frutti Di Mare'@en
"FruttiDiMare" Concept: "altLabel":skos 'Frutti Di Mare Pizza'@en
"FruttiDiMare" Concept: "prefLabel":skos 'Frutti Di Mare'@en
"GarlicTopping" Concept: "label":rdfs 'CoberturaDeAlho'@pt
"GarlicTopping" Concept: "label":rdfs 'GarlicTopping'@en
"GarlicTopping" Concept: "prefLabel":skos 'Garlic'@en
"Giardiniera" Concept: "label":rdfs 'Giardiniera'@en
"Giardiniera" Concept: "label":rdfs 'Giardiniera'@pt
"Giardiniera" Concept: "altLabel":skos 'Giardiniera'@en
"Giardiniera" Concept: "altLabel":skos 'Giardiniera Pizza'@en
"Giardiniera" Concept: "prefLabel":skos 'Giardiniera'@en
"GoatsCheeseTopping" Concept: "label":rdfs 'CoberturaDeQueijoDeCabra'@pt
"GoatsCheeseTopping" Concept: "label":rdfs 'GoatsCheeseTopping'@en
"GoatsCheeseTopping" Concept: "prefLabel":skos 'Goats Cheese'@en
"GorgonzolaTopping" Concept: "label":rdfs 'CoberturaDeGorgonzola'@pt
"GorgonzolaTopping" Concept: "label":rdfs 'GorgonzolaTopping'@en
"GorgonzolaTopping" Concept: "prefLabel":skos 'Gorgonzola'@en
"GreenPepperTopping" Concept: "label":rdfs 'CoberturaDePimentaoVerde'@pt
"GreenPepperTopping" Concept: "label":rdfs 'GreenPepperTopping'@en
"GreenPepperTopping" Concept: "prefLabel":skos 'Green Pepper'@en
"HamTopping" Concept: "label":rdfs 'CoberturaDePresunto'@pt
"HamTopping" Concept: "label":rdfs 'HamTopping'@en
"HamTopping" Concept: "prefLabel":skos 'Ham'@en
"HerbSpiceTopping" Concept: "label":rdfs 'CoberturaDeErvas'@pt
"HerbSpiceTopping" Concept: "label":rdfs 'HerbSpiceTopping'@en
"HerbSpiceTopping" Concept: "prefLabel":skos 'Herb Spice'@en
"Hot" Concept: "label":rdfs 'Hot'@en
"Hot" Concept: "label":rdfs 'Picante'@pt
"Hot" Concept: "prefLabel":skos 'Hot'@en
"HotGreenPepperTopping" Concept: "label":rdfs 'CoberturaDePimentaoVerdePicante'@pt
"HotGreenPepperTopping" Concept: "label":rdfs 'HotGreenPepperTopping'@en
"HotGreenPepperTopping" Concept: "prefLabel":skos 'Hot Green Pepper'@en
"HotSpicedBeefTopping" Concept: "label":rdfs 'CoberturaDeBifePicante'@pt
"HotSpicedBeefTopping" Concept: "label":rdfs 'HotSpicedBeefTopping'@en
"HotSpicedBeefTopping" Concept: "prefLabel":skos 'Hot Spiced Beef'@en
"IceCream" Concept: "comment":rdfs 'A class to demonstrate mistakes made with setting a property domain. The property hasTopping has a domain of Pizza. This means that the reasoner can infer that all individuals using the hasTopping property must be of type Pizza. Because of the restriction on this class, all members of IceCream must use the hasTopping property, and therefore must also be members of Pizza. However, Pizza and IceCream are disjoint, so this causes an inconsistency. If they were not disjoint, IceCream would be inferred to be a subclass of Pizza.'@en
"IceCream" Concept: "label":rdfs 'IceCream'@en
"IceCream" Concept: "label":rdfs 'Sorvete'@pt
"IceCream" Concept: "prefLabel":skos 'Ice Cream'@en
"InterestingPizza" Concept: "label":rdfs 'InterestingPizza'@en
"InterestingPizza" Concept: "label":rdfs 'PizzaInteressante'@pt
"InterestingPizza" Concept: "definition":skos 'Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL.'@en
"InterestingPizza" Concept: "prefLabel":skos 'Interesting Pizza'@en
"JalapenoPepperTopping" Concept: "label":rdfs 'CoberturaDeJalapeno'@pt
"JalapenoPepperTopping" Concept: "label":rdfs 'JalapenoPepperTopping'@en
"JalapenoPepperTopping" Concept: "prefLabel":skos 'Jalapeno Pepper'@en
"LaReine" Concept: "label":rdfs 'LaReine'@en
"LaReine" Concept: "label":rdfs 'LaReine'@pt
"LaReine" Concept: "altLabel":skos 'La Reine'@en
"LaReine" Concept: "altLabel":skos 'La Reine Pizza'@en
"LaReine" Concept: "prefLabel":skos 'La Reine'@en
"LeekTopping" Concept: "label":rdfs 'CoberturaDeLeek'@pt
"LeekTopping" Concept: "label":rdfs 'LeekTopping'@en
"LeekTopping" Concept: "prefLabel":skos 'Leek'@en
"Margherita" Concept: "label":rdfs 'Margherita'@en
"Margherita" Concept: "label":rdfs 'Margherita'@pt
"Margherita" Concept: "altLabel":skos 'Margherita'@en
"Margherita" Concept: "altLabel":skos 'Margherita Pizza'@en
"Margherita" Concept: "prefLabel":skos 'Margherita'@en
"MeatTopping" Concept: "label":rdfs 'CoberturaDeCarne'@pt
"MeatTopping" Concept: "label":rdfs 'MeatTopping'@en
"MeatTopping" Concept: "prefLabel":skos 'Meat'@en
"MeatyPizza" Concept: "label":rdfs 'MeatyPizza'@en
"MeatyPizza" Concept: "label":rdfs 'PizzaDeCarne'@pt
"MeatyPizza" Concept: "definition":skos 'Any pizza that has at least one meat topping'@en
"MeatyPizza" Concept: "prefLabel":skos 'Meaty Pizza'@en
"Medium" Concept: "label":rdfs 'Media'@pt
"Medium" Concept: "label":rdfs 'Medium'@en
"Medium" Concept: "prefLabel":skos 'Medium'@en
"Mild" Concept: "label":rdfs 'Mild'@en
"Mild" Concept: "label":rdfs 'NaoPicante'@pt
"Mild" Concept: "prefLabel":skos 'Mild'@en
"MixedSeafoodTopping" Concept: "label":rdfs 'CoberturaDeFrutosDoMarMistos'@pt
"MixedSeafoodTopping" Concept: "label":rdfs 'MixedSeafoodTopping'@en
"MixedSeafoodTopping" Concept: "prefLabel":skos 'Mixed Seafood'@en
"MozzarellaTopping" Concept: "label":rdfs 'CoberturaDeMozzarella'@pt
"MozzarellaTopping" Concept: "label":rdfs 'MozzarellaTopping'@en
"MozzarellaTopping" Concept: "prefLabel":skos 'Mozzarella'@en
"Mushroom" Concept: "label":rdfs 'Cogumelo'@pt
"Mushroom" Concept: "label":rdfs 'Mushroom'@en
"Mushroom" Concept: "altLabel":skos 'Mushroom'@en
"Mushroom" Concept: "altLabel":skos 'Mushroom Pizza'@en
"Mushroom" Concept: "prefLabel":skos 'Mushroom'@en
"MushroomTopping" Concept: "label":rdfs 'CoberturaDeCogumelo'@pt
"MushroomTopping" Concept: "label":rdfs 'MushroomTopping'@en
"MushroomTopping" Concept: "prefLabel":skos 'Mushroom'@en
"NamedPizza" Concept: "comment":rdfs 'A pizza that can be found on a pizza menu'@en
"NamedPizza" Concept: "label":rdfs 'PizzaComUmNome'@pt
"Napoletana" Concept: "label":rdfs 'Napoletana'@en
"Napoletana" Concept: "label":rdfs 'Napoletana'@pt
"Napoletana" Concept: "altLabel":skos 'Napoletana'@en
"Napoletana" Concept: "altLabel":skos 'Napoletana Pizza'@en
"Napoletana" Concept: "prefLabel":skos 'Napoletana'@en
"NonVegetarianPizza" Concept: "label":rdfs 'NonVegetarianPizza'@en
"NonVegetarianPizza" Concept: "label":rdfs 'PizzaNaoVegetariana'@pt
"NonVegetarianPizza" Concept: "definition":skos 'Any Pizza that is not a VegetarianPizza'@en
"NonVegetarianPizza" Concept: "prefLabel":skos 'Non Vegetarian Pizza'@en
"NutTopping" Concept: "label":rdfs 'CoberturaDeCastanha'@pt
"NutTopping" Concept: "label":rdfs 'NutTopping'@en
"NutTopping" Concept: "prefLabel":skos 'Nut'@en
"OliveTopping" Concept: "label":rdfs 'CoberturaDeAzeitona'@pt
"OliveTopping" Concept: "label":rdfs 'OliveTopping'@en
"OliveTopping" Concept: "prefLabel":skos 'Olive'@en
"OnionTopping" Concept: "label":rdfs 'CoberturaDeCebola'@pt
"OnionTopping" Concept: "label":rdfs 'OnionTopping'@en
"OnionTopping" Concept: "prefLabel":skos 'Onion'@en
"ParmaHamTopping" Concept: "label":rdfs 'CoberturaDePrezuntoParma'@pt
"ParmaHamTopping" Concept: "label":rdfs 'ParmaHamTopping'@en
"ParmaHamTopping" Concept: "prefLabel":skos 'Parma Ham'@en
"Parmense" Concept: "label":rdfs 'Parmense'@en
"Parmense" Concept: "label":rdfs 'Parmense'@pt
"Parmense" Concept: "altLabel":skos 'Parmese'@en
"Parmense" Concept: "altLabel":skos 'Parmese Pizza'@en
"Parmense" Concept: "prefLabel":skos 'Parmense'@en
"ParmesanTopping" Concept: "label":rdfs 'CoberturaDeParmesao'@pt
"ParmesanTopping" Concept: "label":rdfs 'ParmezanTopping'@en
"ParmesanTopping" Concept: "prefLabel":skos 'Parmezan'@en
"PeperonataTopping" Concept: "label":rdfs 'CoberturaPeperonata'@pt
"PeperonataTopping" Concept: "label":rdfs 'PeperonataTopping'@en
"PeperonataTopping" Concept: "prefLabel":skos 'Peperonata'@en
"PeperoniSausageTopping" Concept: "label":rdfs 'CoberturaDeCalabreza'@pt
"PeperoniSausageTopping" Concept: "label":rdfs 'PeperoniSausageTopping'@en
"PeperoniSausageTopping" Concept: "prefLabel":skos 'Peperoni Sausage'@en
"PepperTopping" Concept: "label":rdfs 'CoberturaDePimentao'@pt
"PepperTopping" Concept: "label":rdfs 'PepperTopping'@en
"PepperTopping" Concept: "prefLabel":skos 'Pepper'@en
"PetitPoisTopping" Concept: "label":rdfs 'CoberturaPetitPois'@pt
"PetitPoisTopping" Concept: "label":rdfs 'PetitPoisTopping'@en
"PetitPoisTopping" Concept: "prefLabel":skos 'Petit Pois'@en
"PineKernels" Concept: "label":rdfs 'CoberturaPineKernels'@pt
"PineKernels" Concept: "label":rdfs 'PineKernelTopping'@en
"PineKernels" Concept: "prefLabel":skos 'Pine Kernel'@en
"Pizza" Concept: "label":rdfs 'Pizza'@en
"Pizza" Concept: "seeAlso":rdfs 'https://en.wikipedia.org/wiki/Pizza'
"Pizza" Concept: "prefLabel":skos 'Pizza'@en
"PizzaBase" Concept: "label":rdfs 'BaseDaPizza'@pt
"PizzaBase" Concept: "label":rdfs 'PizzaBase'@en
"PizzaBase" Concept: "prefLabel":skos 'Pizza Base'@en
"PizzaTopping" Concept: "label":rdfs 'CoberturaDaPizza'@pt
"PizzaTopping" Concept: "label":rdfs 'PizzaTopping'@en
"PizzaTopping" Concept: "prefLabel":skos 'Pizza Topping'@en
"PolloAdAstra" Concept: "label":rdfs 'PolloAdAstra'@en
"PolloAdAstra" Concept: "label":rdfs 'PolloAdAstra'@pt
"PolloAdAstra" Concept: "altLabel":skos 'Pollo Ad Astra'@en
"PolloAdAstra" Concept: "altLabel":skos 'Pollo Ad Astra Pizza'@en
"PolloAdAstra" Concept: "prefLabel":skos 'Pollo Ad Astra'@en
"PrawnsTopping" Concept: "label":rdfs 'CoberturaDeCamarao'@pt
"PrawnsTopping" Concept: "label":rdfs 'PrawnsTopping'@en
"PrawnsTopping" Concept: "prefLabel":skos 'Prawns'@en
"PrinceCarlo" Concept: "label":rdfs 'CoberturaPrinceCarlo'@pt
"PrinceCarlo" Concept: "label":rdfs 'PrinceCarlo'@en
"PrinceCarlo" Concept: "altLabel":skos 'Prince Carlo'@en
"PrinceCarlo" Concept: "altLabel":skos 'Prince Carlo Pizza'@en
"PrinceCarlo" Concept: "prefLabel":skos 'Prince Carlo'@en
"QuattroFormaggi" Concept: "label":rdfs 'QuatroQueijos'@pt
"QuattroFormaggi" Concept: "label":rdfs 'QuattroFormaggi'@en
"QuattroFormaggi" Concept: "altLabel":skos 'Quattro Formaggi'@en
"QuattroFormaggi" Concept: "altLabel":skos 'Quattro Formaggi Pizza'@en
"QuattroFormaggi" Concept: "prefLabel":skos 'Quattro Formaggi'@en
"RealItalianPizza" Concept: "label":rdfs 'PizzaItalianaReal'@pt
"RealItalianPizza" Concept: "label":rdfs 'RealItalianPizza'@en
"RealItalianPizza" Concept: "definition":skos 'Any Pizza that has the country of origin, Italy.  RealItalianPizzas must also only have ThinAndCrispy bases.'@en
"RealItalianPizza" Concept: "prefLabel":skos 'Real Italian Pizza'@en
"RedOnionTopping" Concept: "label":rdfs 'CoberturaDeCebolaVermelha'@pt
"RedOnionTopping" Concept: "label":rdfs 'RedOnionTopping'@en
"RedOnionTopping" Concept: "prefLabel":skos 'Red Onion'@en
"RocketTopping" Concept: "label":rdfs 'CoberturaRocket'@pt
"RocketTopping" Concept: "label":rdfs 'RocketTopping'@en
"RocketTopping" Concept: "prefLabel":skos 'Rocket'@en
"Rosa" Concept: "label":rdfs 'Rosa'@en
"Rosa" Concept: "label":rdfs 'Rosa'@pt
"Rosa" Concept: "altLabel":skos 'Rosa'@en
"Rosa" Concept: "altLabel":skos 'Rosa Pizza'@en
"Rosa" Concept: "prefLabel":skos 'Rosa'@en
"RosemaryTopping" Concept: "label":rdfs 'CoberturaRosemary'@pt
"RosemaryTopping" Concept: "label":rdfs 'RosemaryTopping'@en
"RosemaryTopping" Concept: "prefLabel":skos 'Rosemary'@en
"SauceTopping" Concept: "label":rdfs 'CoberturaEmMolho'@pt
"SauceTopping" Concept: "label":rdfs 'SauceTopping'@en
"SauceTopping" Concept: "prefLabel":skos 'Sauce'@en
"Siciliana" Concept: "label":rdfs 'Siciliana'@en
"Siciliana" Concept: "label":rdfs 'Siciliana'@pt
"Siciliana" Concept: "altLabel":skos 'Siciliana'@en
"Siciliana" Concept: "altLabel":skos 'Siciliana Pizza'@en
"Siciliana" Concept: "prefLabel":skos 'Siciliana'@en
"SlicedTomatoTopping" Concept: "label":rdfs 'CoberturaDeTomateFatiado'@pt
"SlicedTomatoTopping" Concept: "label":rdfs 'SlicedTomatoTopping'@en
"SlicedTomatoTopping" Concept: "prefLabel":skos 'Sliced Tomato'@en
"SloppyGiuseppe" Concept: "label":rdfs 'SloppyGiuseppe'@en
"SloppyGiuseppe" Concept: "label":rdfs 'SloppyGiuseppe'@pt
"SloppyGiuseppe" Concept: "altLabel":skos 'Sloppy Giuseppe'@en
"SloppyGiuseppe" Concept: "altLabel":skos 'Sloppy Giuseppe Pizza'@en
"SloppyGiuseppe" Concept: "prefLabel":skos 'Sloppy Giuseppe'@en
"Soho" Concept: "label":rdfs 'Soho'@en
"Soho" Concept: "label":rdfs 'Soho'@pt
"Soho" Concept: "altLabel":skos 'Soho'@en
"Soho" Concept: "altLabel":skos 'Soho Pizza'@en
"Soho" Concept: "prefLabel":skos 'Soho'@en
"Spiciness" Concept: "comment":rdfs 'A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions.'@en
"Spiciness" Concept: "label":rdfs 'Spiciness'@en
"Spiciness" Concept: "label":rdfs 'Tempero'@pt
"Spiciness" Concept: "prefLabel":skos 'Spiciness'@en
"SpicyPizza" Concept: "label":rdfs 'PizzaTemperada'@pt
"SpicyPizza" Concept: "label":rdfs 'SpicyPizza'@en
"SpicyPizza" Concept: "definition":skos 'Any pizza that has a spicy topping is a SpicyPizza'@en
"SpicyPizza" Concept: "prefLabel":skos 'Spicy Pizza'@en
"SpicyPizzaEquivalent" Concept: "comment":rdfs 'An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class.'@en
"SpicyPizzaEquivalent" Concept: "label":rdfs 'PizzaTemperadaEquivalente'@pt
"SpicyPizzaEquivalent" Concept: "label":rdfs 'SpicyPizzaEquivalent'@en
"SpicyPizzaEquivalent" Concept: "prefLabel":skos 'Spicy Pizza Equivalent'@en
"SpicyTopping" Concept: "label":rdfs 'CoberturaTemperada'@pt
"SpicyTopping" Concept: "label":rdfs 'SpicyTopping'@en
"SpicyTopping" Concept: "definition":skos 'Any pizza topping that has spiciness Hot'@en
"SpicyTopping" Concept: "prefLabel":skos 'Spicy'@en
"SpinachTopping" Concept: "label":rdfs 'CoberturaDeEspinafre'@pt
"SpinachTopping" Concept: "label":rdfs 'SpinachTopping'@en
"SpinachTopping" Concept: "prefLabel":skos 'Spinach'@en
"SultanaTopping" Concept: "label":rdfs 'CoberturaSultana'@pt
"SultanaTopping" Concept: "label":rdfs 'SultanaTopping'@en
"SultanaTopping" Concept: "prefLabel":skos 'Sultana'@en
"SundriedTomatoTopping" Concept: "label":rdfs 'CoberturaDeTomateRessecadoAoSol'@pt
"SundriedTomatoTopping" Concept: "label":rdfs 'SundriedTomatoTopping'@en
"SundriedTomatoTopping" Concept: "prefLabel":skos 'Sundried Tomato'@en
"SweetPepperTopping" Concept: "label":rdfs 'CoberturaDePimentaoDoce'@pt
"SweetPepperTopping" Concept: "label":rdfs 'SweetPepperTopping'@en
"SweetPepperTopping" Concept: "prefLabel":skos 'Sweet Pepper'@en
"ThinAndCrispyBase" Concept: "label":rdfs 'BaseFinaEQuebradica'@pt
"ThinAndCrispyBase" Concept: "label":rdfs 'ThinAndCrispyBase'@en
"ThinAndCrispyBase" Concept: "prefLabel":skos 'Thin And Crispy Base'@en
"ThinAndCrispyPizza" Concept: "label":rdfs 'ThinAndCrispyPizza'@en
"ThinAndCrispyPizza" Concept: "prefLabel":skos 'Thin And Crispy Pizza'@en
"TobascoPepperSauce" Concept: "label":rdfs 'MolhoTobascoPepper'@pt
"TobascoPepperSauce" Concept: "label":rdfs 'TobascoPepperSauceTopping'@en
"TobascoPepperSauce" Concept: "prefLabel":skos 'Tobasco Pepper Sauce'@en
"TomatoTopping" Concept: "label":rdfs 'CoberturaDeTomate'@pt
"TomatoTopping" Concept: "label":rdfs 'TomatoTopping'@en
"TomatoTopping" Concept: "prefLabel":skos 'Tomato'@en
"UnclosedPizza" Concept: "comment":rdfs 'An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.'
"UnclosedPizza" Concept: "label":rdfs 'PizzaAberta'@pt
"UnclosedPizza" Concept: "label":rdfs 'UnclosedPizza'@en
"UnclosedPizza" Concept: "prefLabel":skos 'Unclosed Pizza'@en
"ValuePartition" Concept: "comment":rdfs 'A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class.'
"ValuePartition" Concept: "label":rdfs 'ValorDaParticao'@pt
"ValuePartition" Concept: "label":rdfs 'ValuePartition'@en
"ValuePartition" Concept: "prefLabel":skos 'Value Partition'@en
"VegetableTopping" Concept: "label":rdfs 'CoberturaDeVegetais'@pt
"VegetableTopping" Concept: "label":rdfs 'VegetableTopping'@en
"VegetableTopping" Concept: "prefLabel":skos 'Vegetable Topping'@en
"VegetarianPizza" Concept: "label":rdfs 'PizzaVegetariana'@pt
"VegetarianPizza" Concept: "label":rdfs 'VegetarianPizza'@en
"VegetarianPizza" Concept: "definition":skos 'Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Note that instances of this class do not need to have any toppings at all.'@en
"VegetarianPizza" Concept: "prefLabel":skos 'Vegetarian Pizza'@en
"VegetarianPizzaEquivalent1" Concept: "comment":rdfs 'Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2.  Not equivalent to VegetarianPizza because PizzaTopping is not covering'@en
"VegetarianPizzaEquivalent1" Concept: "label":rdfs 'PizzaVegetarianaEquivalente1'@pt
"VegetarianPizzaEquivalent1" Concept: "label":rdfs 'VegetarianPizza1'@en
"VegetarianPizzaEquivalent1" Concept: "prefLabel":skos 'Vegetarian Pizza1'@en
"VegetarianPizzaEquivalent2" Concept: "comment":rdfs 'An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza'@en
"VegetarianPizzaEquivalent2" Concept: "label":rdfs 'PizzaVegetarianaEquivalente2'@pt
"VegetarianPizzaEquivalent2" Concept: "label":rdfs 'VegetarianPizza2'@en
"VegetarianPizzaEquivalent2" Concept: "prefLabel":skos 'Vegetarian Pizza2'@en
"VegetarianTopping" Concept: "comment":rdfs 'An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc.'@en
"VegetarianTopping" Concept: "label":rdfs 'CoberturaVegetariana'@pt
"VegetarianTopping" Concept: "label":rdfs 'VegetarianTopping'@en
"VegetarianTopping" Concept: "prefLabel":skos 'Vegetarian Topping'@en
"Veneziana" Concept: "label":rdfs 'Veneziana'@en
"Veneziana" Concept: "label":rdfs 'Veneziana'@pt
"Veneziana" Concept: "altLabel":skos 'Veneziana'@en
"Veneziana" Concept: "altLabel":skos 'Veneziana Pizza'@en
"Veneziana" Concept: "prefLabel":skos 'Veneziana'@en
.

print(onto.as_rdf())

<?xml version = '1.0' encoding = 'UTF-8'?>
<rdf:RDF xmlns="http://www.co-ode.org/ontologies/pizza/pizza.owl#" xml:base="http://www.co-ode.org/ontologies/pizza/pizza.owl" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:pizza="http://www.co-ode.org/ontologies/pizza/pizza.owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:dcterms="http://purl.org/dc/terms/">
  <owl:Ontology rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#" />
  <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->
  <!-- http://www.w3.org/2004/02/skos/core#altLabel -->
  <owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#altLabel" />
  <!-- http://www.w3.org/2004/02/skos/core#definition -->
  <owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#definition" />
  <!-- http://www.w3.org/2004/02/skos/core#prefLabel -->
  <owl:AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#prefLabel" />
  <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty" />
    <rdfs:domain rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
    <rdfs:range rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase" />
    <rdfs:subPropertyOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasIngredient" />
    <owl:equivalentProperty>
      <rdf:Description>
        <owl:inverseOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#isBaseOf" />
      </rdf:Description>
    </owl:equivalentProperty>
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasIngredient -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasIngredient">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty" />
    <rdfs:comment xml:lang="en">NB Transitive - the ingredients of ingredients are ingredients of the whole</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <rdfs:range rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <owl:equivalentProperty>
      <rdf:Description>
        <owl:inverseOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf" />
      </rdf:Description>
    </owl:equivalentProperty>
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" />
    <rdfs:comment xml:lang="en">A property created to be used with the ValuePartition - Spiciness.</rdfs:comment>
    <rdfs:range rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness" />
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty" />
    <rdfs:comment xml:lang="en">Note that hasTopping is inverse functional because isToppingOf is functional</rdfs:comment>
    <rdfs:domain rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
    <rdfs:range rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <rdfs:subPropertyOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasIngredient" />
    <owl:equivalentProperty>
      <rdf:Description>
        <owl:inverseOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf" />
      </rdf:Description>
    </owl:equivalentProperty>
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isBaseOf -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#isBaseOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty" />
    <rdfs:subPropertyOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf" />
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty" />
    <rdfs:comment xml:lang="en">The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.</rdfs:comment>
  </owl:ObjectProperty>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf -->
  <owl:ObjectProperty rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty" />
    <rdfs:comment xml:lang="en">Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)</rdfs:comment>
    <rdfs:subPropertyOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf" />
  </owl:ObjectProperty>
  <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#American -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#American">
    <rdfs:label xml:lang="en">American</rdfs:label>
    <rdfs:label xml:lang="pt">Americana</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
        <owl:someValuesFrom>
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#America" />
            </owl:oneOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">American</skos:altLabel>
    <skos:prefLabel xml:lang="en">American</skos:prefLabel>
    <skos:altLabel xml:lang="en">American Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AmericanHot -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AmericanHot">
    <rdfs:label xml:lang="en">AmericanHot</rdfs:label>
    <rdfs:label xml:lang="pt">AmericanaPicante</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
        <owl:someValuesFrom>
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#America" />
            </owl:oneOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotGreenPepperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotGreenPepperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">American Hot</skos:altLabel>
    <skos:prefLabel xml:lang="en">American Hot</skos:prefLabel>
    <skos:altLabel xml:lang="en">American Hot Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping">
    <rdfs:label xml:lang="en">AnchoviesTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeAnchovies</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping" />
    <skos:prefLabel xml:lang="en">Anchovies</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping">
    <rdfs:label xml:lang="en">ArtichokeTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeArtichoke</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Artichoke</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping">
    <rdfs:label xml:lang="en">AsparagusTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeAspargos</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Asparagus</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Cajun -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Cajun">
    <rdfs:label xml:lang="en">Cajun</rdfs:label>
    <rdfs:label xml:lang="pt">Cajun</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrawnsTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrawnsTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TobascoPepperSauce" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TobascoPepperSauce" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Cajun</skos:altLabel>
    <skos:prefLabel xml:lang="en">Cajun</skos:prefLabel>
    <skos:altLabel xml:lang="en">Cajun Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CajunSpiceTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CajunSpiceTopping">
    <rdfs:label xml:lang="en">CajunSpiceTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCajun</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#RosemaryTopping" />
    <skos:prefLabel xml:lang="en">Cajun Spice</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping">
    <rdfs:label xml:lang="en">CaperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCaper</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Caper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Capricciosa -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Capricciosa">
    <rdfs:label xml:lang="en">Capricciosa</rdfs:label>
    <rdfs:label xml:lang="pt">Capricciosa</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Capricciosa</skos:altLabel>
    <skos:prefLabel xml:lang="en">Capricciosa</skos:prefLabel>
    <skos:altLabel xml:lang="en">Capricciosa Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Caprina -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Caprina">
    <rdfs:label xml:lang="en">Caprina</rdfs:label>
    <rdfs:label xml:lang="pt">Caprina</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SundriedTomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SundriedTomatoTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Caprina</skos:altLabel>
    <skos:prefLabel xml:lang="en">Caprina</skos:prefLabel>
    <skos:altLabel xml:lang="en">Caprina Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping">
    <rdfs:label xml:lang="en">CheeseTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeQueijo</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Cheese</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyPizza">
    <rdfs:label xml:lang="en">CheesyPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaComQueijo</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza that has at least 1 cheese topping.</skos:definition>
    <skos:prefLabel xml:lang="en">Cheesy Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyVegetableTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyVegetableTopping">
    <rdfs:label xml:lang="en">CheesyVegetableTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeQueijoComVegetais</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:comment xml:lang="en">This class will be unsatisfiable. This is because we have given it 2 disjoint parents, which means it could never have any instances (as nothing can be both a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial.</rdfs:comment>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping">
    <rdfs:label xml:lang="en">ChickenTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeFrango</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Chicken</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Country -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country">
    <rdfs:label xml:lang="en">Country</rdfs:label>
    <rdfs:label xml:lang="pt">Pais</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#DomainConcept" />
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#America" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#England" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#France" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Germany" />
            </owl:oneOf>
          </owl:Class>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">A class that is equivalent to the set of individuals that are described in the enumeration - ie Countries can only be either America, England, France, Germany or Italy and nothing else. Note that these individuals have been asserted to be allDifferent from each other.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Country</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#DeepPanBase -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#DeepPanBase">
    <rdfs:label xml:lang="en">DeepPanBase</rdfs:label>
    <rdfs:label xml:lang="pt">BaseEspessa</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase" />
    <owl:disjointWith rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyBase" />
    <skos:prefLabel xml:lang="en">Deep Pan Base</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#DomainConcept -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#DomainConcept">
    <rdfs:label xml:lang="en">DomainThing</rdfs:label>
    <owl:disjointWith rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ValuePartition" />
    <skos:prefLabel xml:lang="en">Domain Thing</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Fiorentina -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Fiorentina">
    <rdfs:label xml:lang="en">Fiorentina</rdfs:label>
    <rdfs:label xml:lang="pt">Fiorentina</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpinachTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpinachTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Fiorentina</skos:altLabel>
    <skos:prefLabel xml:lang="en">Fiorentina</skos:prefLabel>
    <skos:altLabel xml:lang="en">Fiorentina Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping">
    <rdfs:label xml:lang="en">SeafoodTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePeixe</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Seafood</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Food -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food">
    <rdfs:label xml:lang="en">Food</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#DomainConcept" />
    <skos:prefLabel xml:lang="en">Food</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping">
    <rdfs:label xml:lang="en">FourCheesesTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaQuatroQueijos</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Four Cheeses</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FourSeasons -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourSeasons">
    <rdfs:label xml:lang="en">FourSeasons</rdfs:label>
    <rdfs:label xml:lang="pt">QuatroQueijos</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Four Seasons</skos:altLabel>
    <skos:prefLabel xml:lang="en">Four Seasons</skos:prefLabel>
    <skos:altLabel xml:lang="en">Four Seasons Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping">
    <rdfs:label xml:lang="en">FruitTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeFrutas</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Fruit</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FruttiDiMare -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruttiDiMare">
    <rdfs:label xml:lang="en">FruttiDiMare</rdfs:label>
    <rdfs:label xml:lang="pt">FrutosDoMar</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Frutti Di Mare</skos:altLabel>
    <skos:prefLabel xml:lang="en">Frutti Di Mare</skos:prefLabel>
    <skos:altLabel xml:lang="en">Frutti Di Mare Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping">
    <rdfs:label xml:lang="en">GarlicTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeAlho</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Garlic</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Giardiniera -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Giardiniera">
    <rdfs:label xml:lang="en">Giardiniera</rdfs:label>
    <rdfs:label xml:lang="pt">Giardiniera</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SlicedTomatoTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SlicedTomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Giardiniera</skos:altLabel>
    <skos:prefLabel xml:lang="en">Giardiniera</skos:prefLabel>
    <skos:altLabel xml:lang="en">Giardiniera Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping">
    <rdfs:label xml:lang="en">GoatsCheeseTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeQueijoDeCabra</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Goats Cheese</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping">
    <rdfs:label xml:lang="en">GorgonzolaTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeGorgonzola</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Gorgonzola</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping">
    <rdfs:label xml:lang="en">GreenPepperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePimentaoVerde</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping" />
    <skos:prefLabel xml:lang="en">Green Pepper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping">
    <rdfs:label xml:lang="en">HamTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePresunto</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
    <skos:prefLabel xml:lang="en">Ham</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping">
    <rdfs:label xml:lang="en">HerbSpiceTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeErvas</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Herb Spice</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot">
    <rdfs:label xml:lang="en">Hot</rdfs:label>
    <rdfs:label xml:lang="pt">Picante</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness" />
    <skos:prefLabel xml:lang="en">Hot</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HotGreenPepperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotGreenPepperTopping">
    <rdfs:label xml:lang="en">HotGreenPepperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePimentaoVerdePicante</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Hot Green Pepper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping">
    <rdfs:label xml:lang="en">HotSpicedBeefTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeBifePicante</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Hot Spiced Beef</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream">
    <rdfs:label xml:lang="en">IceCream</rdfs:label>
    <rdfs:label xml:lang="pt">Sorvete</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment xml:lang="en">A class to demonstrate mistakes made with setting a property domain. The property hasTopping has a domain of Pizza. This means that the reasoner can infer that all individuals using the hasTopping property must be of type Pizza. Because of the restriction on this class, all members of IceCream must use the hasTopping property, and therefore must also be members of Pizza. However, Pizza and IceCream are disjoint, so this causes an inconsistency. If they were not disjoint, IceCream would be inferred to be a subclass of Pizza.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Ice Cream</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#InterestingPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#InterestingPizza">
    <rdfs:label xml:lang="en">InterestingPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaInteressante</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:minCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">3</owl:minCardinality>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza that has at least 3 toppings. Note that this is a cardinality constraint on the hasTopping property and NOT a qualified cardinality constraint (QCR). A QCR would specify from which class the members in this relationship must be. eg has at least 3 toppings from PizzaTopping. This is currently not supported in OWL.</skos:definition>
    <skos:prefLabel xml:lang="en">Interesting Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping">
    <rdfs:label xml:lang="en">JalapenoPepperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeJalapeno</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Jalapeno Pepper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#LaReine -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LaReine">
    <rdfs:label xml:lang="en">LaReine</rdfs:label>
    <rdfs:label xml:lang="pt">LaReine</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">La Reine</skos:altLabel>
    <skos:prefLabel xml:lang="en">La Reine</skos:prefLabel>
    <skos:altLabel xml:lang="en">La Reine Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping">
    <rdfs:label xml:lang="en">LeekTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeLeek</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Leek</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Margherita -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Margherita">
    <rdfs:label xml:lang="en">Margherita</rdfs:label>
    <rdfs:label xml:lang="pt">Margherita</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Margherita</skos:altLabel>
    <skos:prefLabel xml:lang="en">Margherita</skos:prefLabel>
    <skos:altLabel xml:lang="en">Margherita Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping">
    <rdfs:label xml:lang="en">MeatTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCarne</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Meat</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatyPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatyPizza">
    <rdfs:label xml:lang="en">MeatyPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaDeCarne</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza that has at least one meat topping</skos:definition>
    <skos:prefLabel xml:lang="en">Meaty Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium">
    <rdfs:label xml:lang="en">Medium</rdfs:label>
    <rdfs:label xml:lang="pt">Media</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness" />
    <skos:prefLabel xml:lang="en">Medium</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild">
    <rdfs:label xml:lang="en">Mild</rdfs:label>
    <rdfs:label xml:lang="pt">NaoPicante</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness" />
    <skos:prefLabel xml:lang="en">Mild</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping">
    <rdfs:label xml:lang="en">MixedSeafoodTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeFrutosDoMarMistos</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping" />
    <skos:prefLabel xml:lang="en">Mixed Seafood</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping">
    <rdfs:label xml:lang="en">MozzarellaTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeMozzarella</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
        <owl:someValuesFrom>
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
            </owl:oneOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Mozzarella</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Mushroom -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mushroom">
    <rdfs:label xml:lang="en">Mushroom</rdfs:label>
    <rdfs:label xml:lang="pt">Cogumelo</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Mushroom</skos:altLabel>
    <skos:prefLabel xml:lang="en">Mushroom</skos:prefLabel>
    <skos:altLabel xml:lang="en">Mushroom Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping">
    <rdfs:label xml:lang="en">MushroomTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCogumelo</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Mushroom</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza">
    <rdfs:label xml:lang="pt">PizzaComUmNome</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
    <rdfs:comment xml:lang="en">A pizza that can be found on a pizza menu</rdfs:comment>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Napoletana -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Napoletana">
    <rdfs:label xml:lang="en">Napoletana</rdfs:label>
    <rdfs:label xml:lang="pt">Napoletana</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
        <owl:someValuesFrom>
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
            </owl:oneOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Napoletana</skos:altLabel>
    <skos:prefLabel xml:lang="en">Napoletana</skos:prefLabel>
    <skos:altLabel xml:lang="en">Napoletana Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NonVegetarianPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NonVegetarianPizza">
    <rdfs:label xml:lang="en">NonVegetarianPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaNaoVegetariana</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Class>
            <owl:complementOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizza" />
          </owl:Class>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <owl:disjointWith rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizza" />
    <skos:definition xml:lang="en">Any Pizza that is not a VegetarianPizza</skos:definition>
    <skos:prefLabel xml:lang="en">Non Vegetarian Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping">
    <rdfs:label xml:lang="en">NutTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCastanha</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Nut</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping">
    <rdfs:label xml:lang="en">OliveTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeAzeitona</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Olive</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping">
    <rdfs:label xml:lang="en">OnionTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCebola</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Onion</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmaHamTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmaHamTopping">
    <rdfs:label xml:lang="en">ParmaHamTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePrezuntoParma</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Parma Ham</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Parmense -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Parmense">
    <rdfs:label xml:lang="en">Parmense</rdfs:label>
    <rdfs:label xml:lang="pt">Parmense</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Parmense</skos:prefLabel>
    <skos:altLabel xml:lang="en">Parmese</skos:altLabel>
    <skos:altLabel xml:lang="en">Parmese Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping">
    <rdfs:label xml:lang="en">ParmezanTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeParmesao</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Parmezan</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping">
    <rdfs:label xml:lang="en">PeperonataTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaPeperonata</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Peperonata</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping">
    <rdfs:label xml:lang="en">PeperoniSausageTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCalabreza</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Peperoni Sausage</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping">
    <rdfs:label xml:lang="en">PepperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePimentao</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <skos:prefLabel xml:lang="en">Pepper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping">
    <rdfs:label xml:lang="en">PetitPoisTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaPetitPois</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Petit Pois</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PineKernels -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PineKernels">
    <rdfs:label xml:lang="en">PineKernelTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaPineKernels</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping" />
    <skos:prefLabel xml:lang="en">Pine Kernel</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza">
    <rdfs:label xml:lang="en">Pizza</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#string">https://en.wikipedia.org/wiki/Pizza</rdfs:seeAlso>
    <skos:prefLabel xml:lang="en">Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase">
    <rdfs:label xml:lang="en">PizzaBase</rdfs:label>
    <rdfs:label xml:lang="pt">BaseDaPizza</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <skos:prefLabel xml:lang="en">Pizza Base</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping">
    <rdfs:label xml:lang="en">PizzaTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDaPizza</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Food" />
    <skos:prefLabel xml:lang="en">Pizza Topping</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PolloAdAstra -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PolloAdAstra">
    <rdfs:label xml:lang="en">PolloAdAstra</rdfs:label>
    <rdfs:label xml:lang="pt">PolloAdAstra</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CajunSpiceTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CajunSpiceTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RedOnionTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SweetPepperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#RedOnionTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SweetPepperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Pollo Ad Astra</skos:altLabel>
    <skos:prefLabel xml:lang="en">Pollo Ad Astra</skos:prefLabel>
    <skos:altLabel xml:lang="en">Pollo Ad Astra Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PrawnsTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrawnsTopping">
    <rdfs:label xml:lang="en">PrawnsTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCamarao</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping" />
    <skos:prefLabel xml:lang="en">Prawns</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PrinceCarlo -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrinceCarlo">
    <rdfs:label xml:lang="en">PrinceCarlo</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaPrinceCarlo</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#RosemaryTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RosemaryTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Prince Carlo</skos:altLabel>
    <skos:prefLabel xml:lang="en">Prince Carlo</skos:prefLabel>
    <skos:altLabel xml:lang="en">Prince Carlo Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#QuattroFormaggi -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#QuattroFormaggi">
    <rdfs:label xml:lang="en">QuattroFormaggi</rdfs:label>
    <rdfs:label xml:lang="pt">QuatroQueijos</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Quattro Formaggi</skos:altLabel>
    <skos:prefLabel xml:lang="en">Quattro Formaggi</skos:prefLabel>
    <skos:altLabel xml:lang="en">Quattro Formaggi Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#RealItalianPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RealItalianPizza">
    <rdfs:label xml:lang="en">RealItalianPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaItalianaReal</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
            <owl:someValuesFrom>
              <owl:Class>
                <owl:oneOf rdf:parseType="Collection">
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
                </owl:oneOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase" />
        <owl:allValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyBase" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:definition xml:lang="en">Any Pizza that has the country of origin, Italy.  RealItalianPizzas must also only have ThinAndCrispy bases.</skos:definition>
    <skos:prefLabel xml:lang="en">Real Italian Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#RedOnionTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RedOnionTopping">
    <rdfs:label xml:lang="en">RedOnionTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeCebolaVermelha</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
    <skos:prefLabel xml:lang="en">Red Onion</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#RocketTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RocketTopping">
    <rdfs:label xml:lang="en">RocketTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaRocket</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Rocket</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Rosa -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Rosa">
    <rdfs:label xml:lang="en">Rosa</rdfs:label>
    <rdfs:label xml:lang="pt">Rosa</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Rosa</skos:altLabel>
    <skos:prefLabel xml:lang="en">Rosa</skos:prefLabel>
    <skos:altLabel xml:lang="en">Rosa Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#RosemaryTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RosemaryTopping">
    <rdfs:label xml:lang="en">RosemaryTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaRosemary</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Rosemary</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping">
    <rdfs:label xml:lang="en">SauceTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaEmMolho</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Sauce</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Siciliana -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Siciliana">
    <rdfs:label xml:lang="en">Siciliana</rdfs:label>
    <rdfs:label xml:lang="pt">Siciliana</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Siciliana</skos:altLabel>
    <skos:prefLabel xml:lang="en">Siciliana</skos:prefLabel>
    <skos:altLabel xml:lang="en">Siciliana Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SlicedTomatoTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SlicedTomatoTopping">
    <rdfs:label xml:lang="en">SlicedTomatoTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeTomateFatiado</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SundriedTomatoTopping" />
    <skos:prefLabel xml:lang="en">Sliced Tomato</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SloppyGiuseppe -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SloppyGiuseppe">
    <rdfs:label xml:lang="en">SloppyGiuseppe</rdfs:label>
    <rdfs:label xml:lang="pt">SloppyGiuseppe</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Sloppy Giuseppe</skos:altLabel>
    <skos:prefLabel xml:lang="en">Sloppy Giuseppe</skos:prefLabel>
    <skos:altLabel xml:lang="en">Sloppy Giuseppe Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Soho -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Soho">
    <rdfs:label xml:lang="en">Soho</rdfs:label>
    <rdfs:label xml:lang="pt">Soho</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#RocketTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RocketTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Soho</skos:altLabel>
    <skos:prefLabel xml:lang="en">Soho</skos:prefLabel>
    <skos:altLabel xml:lang="en">Soho Pizza</skos:altLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Spiciness">
    <rdfs:label xml:lang="en">Spiciness</rdfs:label>
    <rdfs:label xml:lang="pt">Tempero</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:unionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
        </owl:unionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ValuePartition" />
    <rdfs:comment xml:lang="en">A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Spiciness</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyPizza">
    <rdfs:label xml:lang="en">SpicyPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaTemperada</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyTopping" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza that has a spicy topping is a SpicyPizza</skos:definition>
    <skos:prefLabel xml:lang="en">Spicy Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyPizzaEquivalent -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyPizzaEquivalent">
    <rdfs:label xml:lang="en">SpicyPizzaEquivalent</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaTemperadaEquivalente</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:someValuesFrom>
              <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
                  <owl:Restriction>
                    <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
                    <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
                  </owl:Restriction>
                </owl:intersectionOf>
              </owl:Class>
            </owl:someValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">An alternative definition for the SpicyPizza which does away with needing a definition of SpicyTopping and uses a slightly more complicated restriction: Pizzas that have at least one topping that is both a PizzaTopping and has spiciness hot are members of this class.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Spicy Pizza Equivalent</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpicyTopping">
    <rdfs:label xml:lang="en">SpicyTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaTemperada</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
            <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza topping that has spiciness Hot</skos:definition>
    <skos:prefLabel xml:lang="en">Spicy</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SpinachTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpinachTopping">
    <rdfs:label xml:lang="en">SpinachTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeEspinafre</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Spinach</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SultanaTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SultanaTopping">
    <rdfs:label xml:lang="en">SultanaTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaSultana</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Sultana</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SundriedTomatoTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SundriedTomatoTopping">
    <rdfs:label xml:lang="en">SundriedTomatoTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeTomateRessecadoAoSol</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Sundried Tomato</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#SweetPepperTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SweetPepperTopping">
    <rdfs:label xml:lang="en">SweetPepperTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDePimentaoDoce</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Sweet Pepper</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyBase -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyBase">
    <rdfs:label xml:lang="en">ThinAndCrispyBase</rdfs:label>
    <rdfs:label xml:lang="pt">BaseFinaEQuebradica</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase" />
    <skos:prefLabel xml:lang="en">Thin And Crispy Base</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyPizza">
    <rdfs:label xml:lang="en">ThinAndCrispyPizza</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase" />
            <owl:allValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#ThinAndCrispyBase" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:prefLabel xml:lang="en">Thin And Crispy Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#TobascoPepperSauce -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TobascoPepperSauce">
    <rdfs:label xml:lang="en">TobascoPepperSauceTopping</rdfs:label>
    <rdfs:label xml:lang="pt">MolhoTobascoPepper</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Tobasco Pepper Sauce</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping">
    <rdfs:label xml:lang="en">TomatoTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeTomate</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:prefLabel xml:lang="en">Tomato</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#UnclosedPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#UnclosedPizza">
    <rdfs:label xml:lang="en">UnclosedPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaAberta</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Unclosed Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ValuePartition -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ValuePartition">
    <rdfs:label xml:lang="en">ValuePartition</rdfs:label>
    <rdfs:label xml:lang="pt">ValorDaParticao</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A ValuePartition is a pattern that describes a restricted set of classes from which a property can be associated. The parent class is used in restrictions, and the covering axiom means that only members of the subclasses may be used as values. The possible subclasses cannot be extended without updating the ValuePartition class.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Value Partition</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping">
    <rdfs:label xml:lang="en">VegetableTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaDeVegetais</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    <skos:prefLabel xml:lang="en">Vegetable Topping</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizza -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizza">
    <rdfs:label xml:lang="en">VegetarianPizza</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaVegetariana</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Class>
            <owl:complementOf>
              <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
                <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping" />
              </owl:Restriction>
            </owl:complementOf>
          </owl:Class>
          <owl:Class>
            <owl:complementOf>
              <owl:Restriction>
                <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
                <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
              </owl:Restriction>
            </owl:complementOf>
          </owl:Class>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <skos:definition xml:lang="en">Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Note that instances of this class do not need to have any toppings at all.</skos:definition>
    <skos:prefLabel xml:lang="en">Vegetarian Pizza</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizzaEquivalent1 -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizzaEquivalent1">
    <rdfs:label xml:lang="en">VegetarianPizza1</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaVegetarianaEquivalente1</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:allValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianTopping" />
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">Any pizza that only has vegetarian toppings or no toppings is a VegetarianPizzaEquiv1. Should be inferred to be equivalent to VegetarianPizzaEquiv2.  Not equivalent to VegetarianPizza because PizzaTopping is not covering</rdfs:comment>
    <skos:prefLabel xml:lang="en">Vegetarian Pizza1</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizzaEquivalent2 -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianPizzaEquivalent2">
    <rdfs:label xml:lang="en">VegetarianPizza2</rdfs:label>
    <rdfs:label xml:lang="pt">PizzaVegetarianaEquivalente2</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
          <owl:Restriction>
            <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
            <owl:allValuesFrom>
              <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping" />
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping" />
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping" />
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping" />
                  <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
                </owl:unionOf>
              </owl:Class>
            </owl:allValuesFrom>
          </owl:Restriction>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza</rdfs:comment>
    <skos:prefLabel xml:lang="en">Vegetarian Pizza2</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianTopping -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetarianTopping">
    <rdfs:label xml:lang="en">VegetarianTopping</rdfs:label>
    <rdfs:label xml:lang="pt">CoberturaVegetariana</rdfs:label>
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">An example of a covering axiom. VegetarianTopping is equivalent to the union of all toppings in the given axiom. VegetarianToppings can only be Cheese or Vegetable or....etc.</rdfs:comment>
    <skos:prefLabel xml:lang="en">Vegetarian Topping</skos:prefLabel>
  </owl:Class>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Veneziana -->
  <owl:Class rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Veneziana">
    <rdfs:label xml:lang="en">Veneziana</rdfs:label>
    <rdfs:label xml:lang="pt">Veneziana</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza" />
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#SultanaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PineKernels" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SultanaTopping" />
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin" />
        <owl:someValuesFrom>
          <owl:Class>
            <owl:oneOf rdf:parseType="Collection">
              <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
            </owl:oneOf>
          </owl:Class>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping" />
        <owl:someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#PineKernels" />
      </owl:Restriction>
    </rdfs:subClassOf>
    <skos:altLabel xml:lang="en">Veneziana</skos:altLabel>
    <skos:prefLabel xml:lang="en">Veneziana</skos:prefLabel>
    <skos:altLabel xml:lang="en">Veneziana Pizza</skos:altLabel>
  </owl:Class>
  <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Individuals
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#America -->
  <owl:Thing rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#America">
    <rdf:type rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual" />
  </owl:Thing>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#England -->
  <owl:Thing rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#England">
    <rdf:type rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual" />
  </owl:Thing>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#France -->
  <owl:Thing rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#France">
    <rdf:type rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual" />
  </owl:Thing>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Germany -->
  <owl:Thing rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Germany">
    <rdf:type rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual" />
  </owl:Thing>
  <!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy -->
  <owl:Thing rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy">
    <rdf:type rdf:resource="http://www.co-ode.org/ontologies/pizza/pizza.owl#Country" />
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#NamedIndividual" />
  </owl:Thing>
  <!--
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // General axioms
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDifferent" />
    <owl:distinctMembers rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#America" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#England" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#France" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Germany" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Italy" />
    </owl:distinctMembers>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#American" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AmericanHot" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Cajun" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Capricciosa" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Caprina" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Fiorentina" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourSeasons" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruttiDiMare" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Giardiniera" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LaReine" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Margherita" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mushroom" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Napoletana" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Parmense" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PolloAdAstra" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrinceCarlo" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#QuattroFormaggi" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Rosa" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Siciliana" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SloppyGiuseppe" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Soho" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#UnclosedPizza" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Veneziana" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PrawnsTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#RocketTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SpinachTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#TomatoTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SauceTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#VegetableTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#SweetPepperTopping" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild" />
    </owl:members>
  </rdf:Description>
  <rdf:Description>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses" />
    <owl:members rdf:parseType="Collection">
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase" />
      <rdf:Description rdf:about="http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping" />
    </owl:members>
  </rdf:Description>
</rdf:RDF>
<!-- Generated by the OWL API (version 3.5.1.c) http://owlapi.sourceforge.net -->