version 1.0 This ontology is the basis for the Advanced reasoning with OWL tutorial of the 9th Protégé conference (23 July, 2006 - Stanford, USA). It has been adapted from the version 1.3 of the co-ode pizza ontology (http://www.co-ode.org/ontologies/pizza/2005/10/18/pizza.owl). en CoberturaPineKernels CoberturaDeAzeitona BaseEspessa CoberturaRocket PolloAdAstra CoberturaEmMolho QuatroQueijos Capricciosa CoberturaDeAnchovies 2 CoberturaPetitPois BaseFinaEQuebradica CoberturaDeFrutas Veneziana CoberturaDePimentaoVerdePicante CoberturaDeCogumelo CoberturaPrinceCarlo CoberturaDeTomateFatiado CoberturaQuatroQueijos Fiorentina Parmense Media Rosa CoberturaDeCarne Giardiniera CoberturaDeMozzarella AmericanaPicante A pizza that can be found on a pizza menu PizzaComUmNome 3 CoberturaDeCebolaVermelha CoberturaDeCalabreza Pizza CoberturaDeCajun CoberturaDeQueijo CoberturaDeVegetais A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. Tempero CoberturaDaPizza CoberturaDeFrutosDoMarMistos Siciliana 5 SloppyGiuseppe CoberturaDeEspinafre CoberturaDeCaper An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings. PizzaAberta CoberturaDeErvas Cogumelo CoberturaDeAlho 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. CoberturaDeFrango BaseDaPizza 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. TODO: add constraint (hasTopping some FruitTopping) Sorvete CoberturaDeTomate CoberturaDeArtichoke CoberturaDeQueijoDeCabra CoberturaDePresunto Cajun CoberturaDeTomateRessecadoAoSol QuatroQueijos CoberturaDeBifePicante MolhoTobascoPepper CoberturaDePimentao NaoPicante CoberturaDePimentaoVerde Any pizza that has at least 1 cheese topping. PizzaComQueijo CoberturaDeJalapeno CoberturaDePeixe 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 Picante CoberturaDeCamarao CoberturaSultana CoberturaDeCastanha CoberturaDePrezuntoParma CoberturaRosemary CoberturaDeAspargos CoberturaDeParmesao CoberturaDeCebola CoberturaDePimentaoDoce Americana CoberturaPeperonata Soho Caprina CoberturaDeLeek LaReine FrutosDoMar Margherita Napoletana CoberturaDeGorgonzola The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. NB Transitive - the ingredients of ingredients are ingredients of the whole A property created to be used with the ValuePartition - Spiciness.