Annotation
constant: v.1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional

Annotation
constant: version 1.5

Annotation
constant: 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/)

Annotation
constant: v.1.5. Removed protege.owl import and references. Made ontology URI date-independent

EntityAnnotation
annotation:
  constant: Americana

EntityAnnotation
annotation:
  constant: AmericanaPicante

EntityAnnotation
annotation:
  constant: CoberturaDeAnchovies

EntityAnnotation
annotation:
  constant: CoberturaDeArtichoke

EntityAnnotation
annotation:
  constant: CoberturaDeAspargos

EntityAnnotation
annotation:
  constant: Cajun

EntityAnnotation
annotation:
  constant: CoberturaDeCajun

EntityAnnotation
annotation:
  constant: CoberturaDeCaper

EntityAnnotation
annotation:
  constant: Capricciosa

EntityAnnotation
annotation:
  constant: Caprina

EntityAnnotation
annotation:
  constant: CoberturaDeQueijo

EntityAnnotation
annotation:
  constant: CoberturaDeFrango

EntityAnnotation
annotation:
  constant: 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.

EntityAnnotation
annotation:
  constant: Pais

EntityAnnotation
annotation:
  constant: BaseEspessa

EntityAnnotation
annotation:
  constant: Fiorentina

EntityAnnotation
annotation:
  constant: CoberturaDePeixe

EntityAnnotation
annotation:
  constant: CoberturaQuatroQueijos

EntityAnnotation
annotation:
  constant: QuatroQueijos

EntityAnnotation
annotation:
  constant: CoberturaDeFrutas

EntityAnnotation
annotation:
  constant: FrutosDoMar

EntityAnnotation
annotation:
  constant: CoberturaDeAlho

EntityAnnotation
annotation:
  constant: Giardiniera

EntityAnnotation
annotation:
  constant: CoberturaDeQueijoDeCabra

EntityAnnotation
annotation:
  constant: CoberturaDeGorgonzola

EntityAnnotation
annotation:
  constant: CoberturaDePimentaoVerde

EntityAnnotation
annotation:
  constant: CoberturaDePresunto

EntityAnnotation
annotation:
  constant: CoberturaDeErvas

EntityAnnotation
annotation:
  constant: CoberturaDePimentaoVerdePicante

EntityAnnotation
annotation:
  constant: CoberturaDeBifePicante

EntityAnnotation
annotation:
  constant: CoberturaDeJalapeno

EntityAnnotation
annotation:
  constant: LaReine

EntityAnnotation
annotation:
  constant: CoberturaDeLeek

EntityAnnotation
annotation:
  constant: Margherita

EntityAnnotation
annotation:
  constant: CoberturaDeCarne

EntityAnnotation
annotation:
  constant: Any pizza that has at least one meat topping

EntityAnnotation
annotation:
  constant: PizzaDeCarne

EntityAnnotation
annotation:
  constant: CoberturaDeFrutosDoMarMistos

EntityAnnotation
annotation:
  constant: CoberturaDeMozzarella

EntityAnnotation
annotation:
  constant: Cogumelo

EntityAnnotation
annotation:
  constant: CoberturaDeCogumelo

EntityAnnotation
annotation:
  constant: A pizza that can be found on a pizza menu

EntityAnnotation
annotation:
  constant: PizzaComUmNome

EntityAnnotation
annotation:
  constant: Napoletana

EntityAnnotation
annotation:
  constant: CoberturaDeCastanha

EntityAnnotation
annotation:
  constant: CoberturaDeAzeitona

EntityAnnotation
annotation:
  constant: CoberturaDeCebola

EntityAnnotation
annotation:
  constant: CoberturaDePrezuntoParma

EntityAnnotation
annotation:
  constant: Parmense

EntityAnnotation
annotation:
  constant: CoberturaDeParmesao

EntityAnnotation
annotation:
  constant: CoberturaPeperonata

EntityAnnotation
annotation:
  constant: CoberturaDeCalabreza

EntityAnnotation
annotation:
  constant: CoberturaDePimentao

EntityAnnotation
annotation:
  constant: CoberturaPetitPois

EntityAnnotation
annotation:
  constant: CoberturaPineKernels

EntityAnnotation
annotation:
  constant: Pizza

EntityAnnotation
annotation:
  constant: BaseDaPizza

EntityAnnotation
annotation:
  constant: CoberturaDaPizza

EntityAnnotation
annotation:
  constant: PolloAdAstra

EntityAnnotation
annotation:
  constant: CoberturaDeCamarao

EntityAnnotation
annotation:
  constant: CoberturaPrinceCarlo

EntityAnnotation
annotation:
  constant: QuatroQueijos

EntityAnnotation
annotation:
  constant: 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. In essence, all pizzas from Italy must have ThinAndCrispy bases.

EntityAnnotation
annotation:
  constant: PizzaItalianaReal

EntityAnnotation
annotation:
  constant: CoberturaDeCebolaVermelha

EntityAnnotation
annotation:
  constant: CoberturaRocket

EntityAnnotation
annotation:
  constant: Rosa

EntityAnnotation
annotation:
  constant: CoberturaRosemary

EntityAnnotation
annotation:
  constant: CoberturaEmMolho

EntityAnnotation
annotation:
  constant: Siciliana

EntityAnnotation
annotation:
  constant: CoberturaDeTomateFatiado

EntityAnnotation
annotation:
  constant: SloppyGiuseppe

EntityAnnotation
annotation:
  constant: Soho

EntityAnnotation
annotation:
  constant: CoberturaDeEspinafre

EntityAnnotation
annotation:
  constant: CoberturaSultana

EntityAnnotation
annotation:
  constant: CoberturaDeTomateRessecadoAoSol

EntityAnnotation
annotation:
  constant: CoberturaDePimentaoDoce

EntityAnnotation
annotation:
  constant: BaseFinaEQuebradica

EntityAnnotation
annotation:
  constant: MolhoTobascoPepper

EntityAnnotation
annotation:
  constant: CoberturaDeTomate

EntityAnnotation
annotation:
  constant: An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.

EntityAnnotation
annotation:
  constant: PizzaAberta

EntityAnnotation
annotation:
  constant: CoberturaDeVegetais

EntityAnnotation
annotation:
  constant: Veneziana

EntityAnnotation
annotation:
  constant: NB Transitive - the ingredients of ingredients are ingredients of the whole

EntityAnnotation
annotation:
  constant: Note that hasTopping is inverse functional because isToppingOf is functional

EntityAnnotation
annotation:
  constant: The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.

EntityAnnotation
annotation:
  constant: Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)