]> version 1.5 An example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University (see http://www.co-ode.org/resources/tutorials/) v.1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional v.1.5. Removed protege.owl import and references. Made ontology URI date-independent NB Transitive - the ingredients of ingredients are ingredients of the whole 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) Americana CoberturaDeArtichoke CoberturaDeAspargos Cajun CoberturaDeQueijo PizzaComQueijo Any pizza that has at least 1 cheese topping. CoberturaDeQueijoComVegetais 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. CoberturaDeFrango BaseEspessa CoberturaDeFrutas CoberturaDeAlho CoberturaDePresunto PizzaInteressante 3 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. CoberturaDeCarne PizzaDeCarne Any pizza that has at least one meat topping CoberturaDeMozzarella CoberturaDeCogumelo PizzaComUmNome A pizza that can be found on a pizza menu CoberturaDeAzeitona CoberturaDeCebola CoberturaDeParmesao CoberturaDeCalabreza CoberturaDePimentao CoberturaPetitPois Pizza BaseDaPizza CoberturaDaPizza PolloAdAstra QuatroQueijos CoberturaRocket CoberturaEmMolho CoberturaDeEspinafre BaseFinaEQuebradica MolhoTobascoPepper CoberturaDeTomate PizzaAberta An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings. CoberturaDeVegetais Veneziana