A "final stage" that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester en version 1.2 AmericanaPicante CoberturaRocket BaseDaPizza This defined class has conditions that are part of the definition: ie any Pizza that has the country of origin, Italy is a RealItalianPizza. It also has conditions that merely describe the members - that all RealItalianPizzas must only have ThinAndCrispy bases. PizzaItalianaReal CoberturaVegetariana 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. NaoPicante CoberturaPetitPois QuatroQueijos PolloAdAstra CoberturaDePresunto CoberturaDeMozzarella CoberturaDeTomateRessecadoAoSol CoberturaDeCaper CoberturaDeFrango Any pizza that has at least one meat topping PizzaDeCarne CoberturaDeAnchovies Any pizza that does not have fish topping and does not have meat topping is a VegetarianPizza. Members of this class do not need to have any toppings at all. PizzaVegetariana CoberturaDeVegetais Napoletana CoberturaDeEspinafre Capricciosa Picante CoberturaRosemary CoberturaDePrezuntoParma PizzaTemperada Any pizza that has a spicy topping is a SpicyPizza Margherita CoberturaDePimentaoVerdePicante CoberturaEmMolho Veneziana Cajun Giardiniera CoberturaDeGorgonzola CoberturaDeCalabreza QuatroQueijos Tempero A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. Pais 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 This class will be inconsistent. This is because we have given it 2 disjoint parents, which means it could never have any members (as nothing can simultaneously be a CheeseTopping and a VegetableTopping). NB Called ProbeInconsistentTopping in the ProtegeOWL Tutorial. CoberturaDeQueijoComVegetais CoberturaSultana Rosa PizzaVegetarianaEquivalente1 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 Soho CoberturaDeArtichoke CoberturaPineKernels CoberturaDeCamarao CoberturaDeCarne CoberturaDeCastanha ValorDaParticao 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. CoberturaDeCogumelo BaseEspessa CoberturaPrinceCarlo Americana CoberturaDeTomate CoberturaDeLeek CoberturaDeAlho Parmense CoberturaDeTomateFatiado Caprina CoberturaDePimentao CoberturaDeFrutas SloppyGiuseppe CoberturaDeParmesao PizzaVegetarianaEquivalente2 An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza FrutosDoMar CoberturaDeBifePicante CoberturaDeAspargos CoberturaDeAzeitona CoberturaDeQueijo PizzaAberta An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings. CoberturaDeErvas Pizza Any pizza that has at least 1 cheese topping. PizzaComQueijo Any Pizza that is not a VegetarianPizza PizzaNaoVegetariana Media Any pizza topping that has spiciness Hot CoberturaTemperada CoberturaQuatroQueijos PizzaTemperadaEquivalente