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