pizza
Nick Drummond
Creative Commons Attribution 3.0 (CC BY 3.0)
pizza
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
2.0
Alan Rector
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).
Matthew Horridge
Chris Wroe
Robert Stevens
NB Transitive - the ingredients of ingredients are ingredients of the whole
A property created to be used with the ValuePartition - Spiciness.
Note that hasTopping is inverse functional because isToppingOf is functional
The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.
Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)
American
Americana
American
American Pizza
American
AmericanHot
AmericanaPicante
American Hot
American Hot Pizza
American Hot
AnchoviesTopping
CoberturaDeAnchovies
Anchovies
ArtichokeTopping
CoberturaDeArtichoke
Artichoke
AsparagusTopping
CoberturaDeAspargos
Asparagus
Cajun
Cajun
Cajun
Cajun Pizza
Cajun
CajunSpiceTopping
CoberturaDeCajun
Cajun Spice
CaperTopping
CoberturaDeCaper
Caper
Capricciosa
Capricciosa
Capricciosa
Capricciosa Pizza
Capricciosa
Caprina
Caprina
Caprina
Caprina Pizza
Caprina
CheeseTopping
CoberturaDeQueijo
Cheese
CheesyPizza
PizzaComQueijo
Any pizza that has at least 1 cheese topping.
Cheesy Pizza
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.
CheesyVegetableTopping
CoberturaDeQueijoComVegetais
ChickenTopping
CoberturaDeFrango
Chicken
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.
Country
Pais
Country
BaseEspessa
DeepPanBase
Deep Pan Base
DomainThing
Domain Thing
Fiorentina
Fiorentina
Fiorentina
Fiorentina Pizza
Fiorentina
CoberturaDePeixe
SeafoodTopping
Seafood
Food
Food
CoberturaQuatroQueijos
FourCheesesTopping
Four Cheeses
FourSeasons
QuatroQueijos
Four Seasons
Four Seasons Pizza
Four Seasons
CoberturaDeFrutas
FruitTopping
Fruit
FrutosDoMar
FruttiDiMare
Frutti Di Mare
Frutti Di Mare Pizza
Frutti Di Mare
CoberturaDeAlho
GarlicTopping
Garlic
Giardiniera
Giardiniera
Giardiniera
Giardiniera Pizza
Giardiniera
CoberturaDeQueijoDeCabra
GoatsCheeseTopping
Goats Cheese
CoberturaDeGorgonzola
GorgonzolaTopping
Gorgonzola
CoberturaDePimentaoVerde
GreenPepperTopping
Green Pepper
CoberturaDePresunto
HamTopping
Ham
CoberturaDeErvas
HerbSpiceTopping
Herb Spice
Hot
Picante
Hot
CoberturaDePimentaoVerdePicante
HotGreenPepperTopping
Hot Green Pepper
CoberturaDeBifePicante
HotSpicedBeefTopping
Hot Spiced Beef
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.
IceCream
Sorvete
Ice Cream
3
InterestingPizza
PizzaInteressante
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.
Interesting Pizza
CoberturaDeJalapeno
JalapenoPepperTopping
Jalapeno Pepper
LaReine
LaReine
La Reine
La Reine Pizza
La Reine
CoberturaDeLeek
LeekTopping
Leek
Margherita
Margherita
Margherita
Margherita Pizza
Margherita
CoberturaDeCarne
MeatTopping
Meat
MeatyPizza
PizzaDeCarne
Any pizza that has at least one meat topping
Meaty Pizza
Media
Medium
Medium
Mild
NaoPicante
Mild
CoberturaDeFrutosDoMarMistos
MixedSeafoodTopping
Mixed Seafood
CoberturaDeMozzarella
MozzarellaTopping
Mozzarella
Cogumelo
Mushroom
Mushroom
Mushroom Pizza
Mushroom
CoberturaDeCogumelo
MushroomTopping
Mushroom
A pizza that can be found on a pizza menu
PizzaComUmNome
Napoletana
Napoletana
Napoletana
Napoletana Pizza
Napoletana
NonVegetarianPizza
PizzaNaoVegetariana
Any Pizza that is not a VegetarianPizza
Non Vegetarian Pizza
CoberturaDeCastanha
NutTopping
Nut
CoberturaDeAzeitona
OliveTopping
Olive
CoberturaDeCebola
OnionTopping
Onion
CoberturaDePrezuntoParma
ParmaHamTopping
Parma Ham
Parmense
Parmense
Parmese
Parmese Pizza
Parmense
CoberturaDeParmesao
ParmezanTopping
Parmezan
CoberturaPeperonata
PeperonataTopping
Peperonata
CoberturaDeCalabreza
PeperoniSausageTopping
Peperoni Sausage
CoberturaDePimentao
PepperTopping
Pepper
CoberturaPetitPois
PetitPoisTopping
Petit Pois
CoberturaPineKernels
PineKernelTopping
Pine Kernel
Pizza
Pizza
BaseDaPizza
PizzaBase
Pizza Base
CoberturaDaPizza
PizzaTopping
Pizza Topping
PolloAdAstra
PolloAdAstra
Pollo Ad Astra
Pollo Ad Astra Pizza
Pollo Ad Astra
CoberturaDeCamarao
PrawnsTopping
Prawns
CoberturaPrinceCarlo
PrinceCarlo
Prince Carlo
Prince Carlo Pizza
Prince Carlo
QuatroQueijos
QuattroFormaggi
Quattro Formaggi
Quattro Formaggi Pizza
Quattro Formaggi
PizzaItalianaReal
RealItalianPizza
Any Pizza that has the country of origin, Italy. RealItalianPizzas must also only have ThinAndCrispy bases.
Real Italian Pizza
CoberturaDeCebolaVermelha
RedOnionTopping
Red Onion
CoberturaRocket
RocketTopping
Rocket
Rosa
Rosa
Rosa
Rosa Pizza
Rosa
CoberturaRosemary
RosemaryTopping
Rosemary
CoberturaEmMolho
SauceTopping
Sauce
Siciliana
Siciliana
Siciliana
Siciliana Pizza
Siciliana
CoberturaDeTomateFatiado
SlicedTomatoTopping
Sliced Tomato
SloppyGiuseppe
SloppyGiuseppe
Sloppy Giuseppe
Sloppy Giuseppe Pizza
Sloppy Giuseppe
Soho
Soho
Soho
Soho Pizza
Soho
A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions.
Spiciness
Tempero
Spiciness
PizzaTemperada
SpicyPizza
Any pizza that has a spicy topping is a SpicyPizza
Spicy Pizza
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.
PizzaTemperadaEquivalente
SpicyPizzaEquivalent
Spicy Pizza Equivalent
CoberturaTemperada
SpicyTopping
Any pizza topping that has spiciness Hot
Spicy
CoberturaDeEspinafre
SpinachTopping
Spinach
CoberturaSultana
SultanaTopping
Sultana
CoberturaDeTomateRessecadoAoSol
SundriedTomatoTopping
Sundried Tomato
CoberturaDePimentaoDoce
SweetPepperTopping
Sweet Pepper
BaseFinaEQuebradica
ThinAndCrispyBase
Thin And Crispy Base
ThinAndCrispyPizza
Thin And Crispy Pizza
MolhoTobascoPepper
TobascoPepperSauceTopping
Tobasco Pepper Sauce
CoberturaDeTomate
TomatoTopping
Tomato
An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.
PizzaAberta
UnclosedPizza
Unclosed Pizza
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.
ValorDaParticao
ValuePartition
Value Partition
CoberturaDeVegetais
VegetableTopping
Vegetable Topping
PizzaVegetariana
VegetarianPizza
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.
Vegetarian Pizza
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
PizzaVegetarianaEquivalente1
VegetarianPizza1
Vegetarian Pizza1
An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza
PizzaVegetarianaEquivalente2
VegetarianPizza2
Vegetarian Pizza2
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.
CoberturaVegetariana
VegetarianTopping
Vegetarian Topping
Veneziana
Veneziana
Veneziana
Veneziana Pizza
Veneziana