Four Seasons
label: QuatroQueijos
alternative label: Four Seasons Pizza
type: Class
subclass of: PizzaComUmNome
label: FourSeasons

Vegetable Topping
label: VegetableTopping
type: Class
label: CoberturaDeVegetais
subclass of: Pizza Topping

CaperTopping
type: Class
subclass of: Vegetable Topping
label: CoberturaDeCaper
preferred label: Caper

SlicedTomatoTopping
label: CoberturaDeTomateFatiado
preferred label: Sliced Tomato
disjoint with: SundriedTomatoTopping
subclass of: Tomato
type: Class

Cajun
subclass of: PizzaComUmNome
alternative label: Cajun Pizza
type: Class

Rosemary
type: Class
subclass of: CoberturaDeErvas
label: CoberturaRosemary
label: RosemaryTopping

SundriedTomatoTopping
type: Class
label: CoberturaDeTomateRessecadoAoSol
subclass of: Tomato
preferred label: Sundried Tomato

hasSpiciness
comment: A property created to be used with the ValuePartition - Spiciness.
type: FunctionalProperty
type: ObjectProperty
range: Tempero

CoberturaRocket
type: Class
subclass of: Vegetable Topping
preferred label: Rocket
label: RocketTopping

Interesting Pizza
type: Class
label: PizzaInteressante
label: InterestingPizza
definition: 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.

Green Pepper
subclass of: CoberturaDePimentao
label: GreenPepperTopping
label: CoberturaDePimentaoVerde
type: Class

Parmense
type: Class
alternative label: Parmese
subclass of: PizzaComUmNome
alternative label: Parmese Pizza

Pizza
subclass of: Food
type: Class

isIngredientOf
comment: The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.
type: ObjectProperty
type: TransitiveProperty

Hot Green Pepper
type: Class
label: CoberturaDePimentaoVerdePicante
subclass of: Green Pepper
label: HotGreenPepperTopping

isToppingOf
sub property of: isIngredientOf
type: FunctionalProperty
type: ObjectProperty
comment: Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)

Media
subclass of: Tempero
type: Class
preferred label: Medium

hasIngredient
type: TransitiveProperty
range: Food
domain: Food
comment: NB Transitive - the ingredients of ingredients are ingredients of the whole
inverse of: isIngredientOf
type: ObjectProperty

Country
type: Class
label: Pais
comment: 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.

MolhoTobascoPepper
label: TobascoPepperSauceTopping
type: Class
subclass of: CoberturaEmMolho
preferred label: Tobasco Pepper Sauce

CoberturaDeCajun
type: Class
disjoint with: Rosemary
label: CajunSpiceTopping
preferred label: Cajun Spice
subclass of: CoberturaDeErvas

CoberturaDeCarne
type: Class
label: MeatTopping
subclass of: Pizza Topping
preferred label: Meat

GorgonzolaTopping
label: CoberturaDeGorgonzola
preferred label: Gorgonzola
subclass of: CoberturaDeQueijo
type: Class

CoberturaDeErvas
subclass of: Pizza Topping
label: HerbSpiceTopping
type: Class
preferred label: Herb Spice

pizza
license: Creative Commons Attribution 3.0 (CC BY 3.0)
contributor: Robert Stevens
contributor: Nick Drummond
contributor: Alan Rector
contributor: Chris Wroe
description: An ontology about pizzas and their toppings. This is an example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University (see http://owl.cs.manchester.ac.uk/publications/talks-and-tutorials/protg-owl-tutorial).
contributor: Matthew Horridge
type: Ontology
version info: 2.0
version IRI: http://www.co-ode.org/ontologies/pizza/2.0.0
provenance: v2.0 Added new annotations to the ontology using standard/well-know annotation properties v1.5. Removed protege.owl import and references. Made ontology URI date-independent v1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional

La Reine
type: Class
label: LaReine
subclass of: PizzaComUmNome
alternative label: La Reine Pizza

Siciliana
alternative label: Siciliana Pizza
subclass of: PizzaComUmNome
type: Class

Domain Thing
type: Class
disjoint with: ValorDaParticao
label: DomainThing

Giardiniera
type: Class
subclass of: PizzaComUmNome
alternative label: Giardiniera Pizza

CoberturaDeJalapeno
preferred label: Jalapeno Pepper
subclass of: CoberturaDePimentao
label: JalapenoPepperTopping
type: Class

Sloppy Giuseppe
label: SloppyGiuseppe
type: Class
subclass of: PizzaComUmNome
alternative label: Sloppy Giuseppe Pizza

Hot Spiced Beef
subclass of: CoberturaDeCarne
label: CoberturaDeBifePicante
label: HotSpicedBeefTopping
type: Class

PeperoniSausageTopping
subclass of: CoberturaDeCarne
preferred label: Peperoni Sausage
label: CoberturaDeCalabreza
type: Class

Napoletana
subclass of: PizzaComUmNome
alternative label: Napoletana Pizza
type: Class

PizzaComQueijo
preferred label: Cheesy Pizza
type: Class
label: CheesyPizza
definition: Any pizza that has at least 1 cheese topping.

LeekTopping
label: CoberturaDeLeek
type: Class
subclass of: Vegetable Topping
preferred label: Leek

CoberturaDeMozzarella
subclass of: CoberturaDeQueijo
label: MozzarellaTopping
preferred label: Mozzarella
type: Class

CoberturaDeCamarao
preferred label: Prawns
subclass of: CoberturaDePeixe
label: PrawnsTopping
type: Class

ValorDaParticao
comment: 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.
type: Class
preferred label: Value Partition
label: ValuePartition

FourCheesesTopping
preferred label: Four Cheeses
type: Class
label: CoberturaQuatroQueijos
subclass of: CoberturaDeQueijo

CoberturaPetitPois
subclass of: Vegetable Topping
type: Class
label: PetitPoisTopping
preferred label: Petit Pois

CoberturaDeCogumelo
label: MushroomTopping
type: Class
preferred label: Mushroom
subclass of: Vegetable Topping

Soho
type: Class
alternative label: Soho Pizza
subclass of: PizzaComUmNome

FrutosDoMar
alternative label: Frutti Di Mare Pizza
subclass of: PizzaComUmNome
preferred label: Frutti Di Mare
label: FruttiDiMare
type: Class

CoberturaDeQueijo
type: Class
label: CheeseTopping
subclass of: Pizza Topping
preferred label: Cheese

CoberturaDePimentao
label: PepperTopping
type: Class
preferred label: Pepper
subclass of: Vegetable Topping

OliveTopping
subclass of: Vegetable Topping
type: Class
label: CoberturaDeAzeitona
preferred label: Olive

hasTopping
range: Pizza Topping
domain: Pizza
type: ObjectProperty
type: InverseFunctionalProperty
inverse of: isToppingOf
sub property of: hasIngredient
comment: Note that hasTopping is inverse functional because isToppingOf is functional

Caprina
type: Class
subclass of: PizzaComUmNome
alternative label: Caprina Pizza

CoberturaDeFrutosDoMarMistos
type: Class
preferred label: Mixed Seafood
label: MixedSeafoodTopping
subclass of: CoberturaDePeixe

DeepPanBase
type: Class
disjoint with: BaseFinaEQuebradica
preferred label: Deep Pan Base
subclass of: Pizza Base
label: BaseEspessa

Asparagus
label: AsparagusTopping
subclass of: Vegetable Topping
label: CoberturaDeAspargos
type: Class

NonVegetarianPizza
label: PizzaNaoVegetariana
disjoint with: PizzaVegetariana
definition: Any Pizza that is not a VegetarianPizza
type: Class
preferred label: Non Vegetarian Pizza

Ham
subclass of: CoberturaDeCarne
label: CoberturaDePresunto
type: Class
label: HamTopping

Veneziana
alternative label: Veneziana Pizza
subclass of: PizzaComUmNome
type: Class

Pizza Base
label: BaseDaPizza
label: PizzaBase
subclass of: Food
type: Class

CoberturaDePeixe
label: SeafoodTopping
type: Class
subclass of: Pizza Topping
preferred label: Seafood

Fiorentina
type: Class
subclass of: PizzaComUmNome
alternative label: Fiorentina Pizza

Red Onion
type: Class
label: CoberturaDeCebolaVermelha
subclass of: OnionTopping
label: RedOnionTopping

Tempero
type: Class
comment: A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions.
preferred label: Spiciness
subclass of: ValorDaParticao

PolloAdAstra
preferred label: Pollo Ad Astra
type: Class
subclass of: PizzaComUmNome
alternative label: Pollo Ad Astra Pizza

CoberturaDeFrutas
preferred label: Fruit
subclass of: Pizza Topping
type: Class
label: FruitTopping

ChickenTopping
preferred label: Chicken
type: Class
subclass of: CoberturaDeCarne
label: CoberturaDeFrango

Nut
label: NutTopping
type: Class
subclass of: Pizza Topping
label: CoberturaDeCastanha

Food
subclass of: Domain Thing
type: Class

Margherita
alternative label: Margherita Pizza
type: Class
subclass of: PizzaComUmNome

Spinach
subclass of: Vegetable Topping
label: SpinachTopping
type: Class
label: CoberturaDeEspinafre

BaseFinaEQuebradica
label: ThinAndCrispyBase
preferred label: Thin And Crispy Base
subclass of: Pizza Base
type: Class

American Hot
subclass of: PizzaComUmNome
label: AmericanaPicante
alternative label: American Hot Pizza
type: Class
label: AmericanHot

Mild
subclass of: Tempero
type: Class
label: NaoPicante

CoberturaPineKernels
label: PineKernelTopping
type: Class
preferred label: Pine Kernel
subclass of: Nut

CoberturaEmMolho
subclass of: Pizza Topping
preferred label: Sauce
type: Class
label: SauceTopping

CoberturaDeArtichoke
type: Class
preferred label: Artichoke
subclass of: Vegetable Topping
label: ArtichokeTopping

Thin And Crispy Pizza
type: Class
label: ThinAndCrispyPizza

PizzaVegetariana
preferred label: Vegetarian Pizza
definition: 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.
label: VegetarianPizza
type: Class

Capricciosa
type: Class
subclass of: PizzaComUmNome
alternative label: Capricciosa Pizza

OnionTopping
type: Class
subclass of: Vegetable Topping
preferred label: Onion
label: CoberturaDeCebola

Goats Cheese
type: Class
subclass of: CoberturaDeQueijo
label: GoatsCheeseTopping
label: CoberturaDeQueijoDeCabra

SweetPepperTopping
type: Class
preferred label: Sweet Pepper
subclass of: CoberturaDePimentao
label: CoberturaDePimentaoDoce

Prince Carlo
subclass of: PizzaComUmNome
type: Class
alternative label: Prince Carlo Pizza
label: CoberturaPrinceCarlo
label: PrinceCarlo

American
type: Class
alternative label: American Pizza
subclass of: PizzaComUmNome
label: Americana

Picante
subclass of: Tempero
preferred label: Hot
type: Class

Vegetarian Topping
comment: 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.
label: VegetarianTopping
type: Class
label: CoberturaVegetariana

Meaty Pizza
definition: Any pizza that has at least one meat topping
type: Class
label: MeatyPizza
label: PizzaDeCarne

PizzaItalianaReal
definition: Any Pizza that has the country of origin, Italy. RealItalianPizzas must also only have ThinAndCrispy bases.
type: Class
preferred label: Real Italian Pizza
label: RealItalianPizza

Peperonata
type: Class
label: CoberturaPeperonata
label: PeperonataTopping
subclass of: CoberturaDePimentao

Parmezan
label: ParmezanTopping
label: CoberturaDeParmesao
type: Class
subclass of: CoberturaDeQueijo

Tomato
label: CoberturaDeTomate
type: Class
subclass of: Vegetable Topping
label: TomatoTopping

CoberturaSultana
subclass of: CoberturaDeFrutas
preferred label: Sultana
label: SultanaTopping
type: Class

Anchovies
subclass of: CoberturaDePeixe
label: CoberturaDeAnchovies
label: AnchoviesTopping
type: Class

ParmaHamTopping
subclass of: Ham
type: Class
preferred label: Parma Ham
label: CoberturaDePrezuntoParma

Spicy
label: SpicyTopping
definition: Any pizza topping that has spiciness Hot
type: Class
label: CoberturaTemperada

PizzaComUmNome
type: Class
subclass of: Pizza
comment: A pizza that can be found on a pizza menu

Spicy Pizza
definition: Any pizza that has a spicy topping is a SpicyPizza
type: Class
label: PizzaTemperada
label: SpicyPizza

Rosa
alternative label: Rosa Pizza
type: Class
subclass of: PizzaComUmNome

QuattroFormaggi
type: Class
subclass of: PizzaComUmNome
alternative label: Quattro Formaggi Pizza
preferred label: Quattro Formaggi
label: QuatroQueijos

Cogumelo
alternative label: Mushroom Pizza
type: Class
subclass of: PizzaComUmNome
preferred label: Mushroom

Pizza Topping
label: CoberturaDaPizza
label: PizzaTopping
type: Class
subclass of: Food

Garlic
type: Class
label: CoberturaDeAlho
label: GarlicTopping
subclass of: Vegetable Topping