Annotation
literal: 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/) @en

Annotation
literal: en

Annotation
literal: version 1.3

AnnotationAssertion
IRI: #American
literal: Americana

AnnotationAssertion
IRI: #AmericanHot
literal: AmericanaPicante

AnnotationAssertion
IRI: #AnchoviesTopping
literal: CoberturaDeAnchovies

AnnotationAssertion
IRI: #ArtichokeTopping
literal: CoberturaDeArtichoke

AnnotationAssertion
IRI: #AsparagusTopping
literal: CoberturaDeAspargos

AnnotationAssertion
IRI: #Cajun
literal: Cajun

AnnotationAssertion
IRI: #CajunSpiceTopping
literal: CoberturaDeCajun

AnnotationAssertion
IRI: #CaperTopping
literal: CoberturaDeCaper

AnnotationAssertion
IRI: #Capricciosa
literal: Capricciosa

AnnotationAssertion
IRI: #Caprina
literal: Caprina

AnnotationAssertion
IRI: #CheeseTopping
literal: CoberturaDeQueijo

AnnotationAssertion
IRI: #CheeseyPizza
literal: Any pizza that has at least 1 cheese topping. @en

AnnotationAssertion
IRI: #CheeseyPizza
literal: PizzaComQueijo

AnnotationAssertion
IRI: #CheeseyVegetableTopping
literal: 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. @en

AnnotationAssertion
IRI: #CheeseyVegetableTopping
literal: CoberturaDeQueijoComVegetais

AnnotationAssertion
IRI: #ChickenTopping
literal: CoberturaDeFrango

AnnotationAssertion
IRI: #Country
literal: 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. @en

AnnotationAssertion
IRI: #Country
literal: Pais

AnnotationAssertion
IRI: #DeepPanBase
literal: BaseEspessa

AnnotationAssertion
IRI: #Fiorentina
literal: Fiorentina

AnnotationAssertion
IRI: #FishTopping
literal: CoberturaDePeixe

AnnotationAssertion
IRI: #FourCheesesTopping
literal: CoberturaQuatroQueijos

AnnotationAssertion
IRI: #FourSeasons
literal: QuatroQueijos

AnnotationAssertion
IRI: #FruitTopping
literal: CoberturaDeFrutas

AnnotationAssertion
IRI: #FruttiDiMare
literal: FrutosDoMar

AnnotationAssertion
IRI: #GarlicTopping
literal: CoberturaDeAlho

AnnotationAssertion
IRI: #Giardiniera
literal: Giardiniera

AnnotationAssertion
IRI: #GoatsCheeseTopping
literal: CoberturaDeQueijoDeCabra

AnnotationAssertion
IRI: #GorgonzolaTopping
literal: CoberturaDeGorgonzola

AnnotationAssertion
IRI: #GreenPepperTopping
literal: CoberturaDePimentaoVerde

AnnotationAssertion
IRI: #HamTopping
literal: CoberturaDePresunto

AnnotationAssertion
IRI: #HerbSpiceTopping
literal: CoberturaDeErvas

AnnotationAssertion
IRI: #Hot
literal: Picante

AnnotationAssertion
IRI: #HotGreenPepperTopping
literal: CoberturaDePimentaoVerdePicante

AnnotationAssertion
IRI: #HotSpicedBeefTopping
literal: CoberturaDeBifePicante

AnnotationAssertion
IRI: #IceCream
literal: 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. @en

AnnotationAssertion
IRI: #IceCream
literal: Sorvete

AnnotationAssertion
IRI: #InterestingPizza
literal: 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. @en

AnnotationAssertion
IRI: #InterestingPizza
literal: PizzaInteressante

AnnotationAssertion
IRI: #JalapenoPepperTopping
literal: CoberturaDeJalapeno

AnnotationAssertion
IRI: #LaReine
literal: LaReine

AnnotationAssertion
IRI: #LeekTopping
literal: CoberturaDeLeek

AnnotationAssertion
IRI: #Margherita
literal: Margherita

AnnotationAssertion
IRI: #MeatTopping
literal: CoberturaDeCarne

AnnotationAssertion
IRI: #MeatyPizza
literal: Any pizza that has at least one meat topping @en

AnnotationAssertion
IRI: #MeatyPizza
literal: PizzaDeCarne

AnnotationAssertion
IRI: #Medium
literal: Media

AnnotationAssertion
IRI: #Mild
literal: NaoPicante

AnnotationAssertion
IRI: #MixedSeafoodTopping
literal: CoberturaDeFrutosDoMarMistos

AnnotationAssertion
IRI: #MozzarellaTopping
literal: CoberturaDeMozzarella

AnnotationAssertion
IRI: #Mushroom
literal: Cogumelo

AnnotationAssertion
IRI: #MushroomTopping
literal: CoberturaDeCogumelo

AnnotationAssertion
IRI: #NamedPizza
literal: A pizza that can be found on a pizza menu @en

AnnotationAssertion
IRI: #NamedPizza
literal: PizzaComUmNome

AnnotationAssertion
IRI: #Napoletana
literal: Napoletana

AnnotationAssertion
IRI: #NonVegetarianPizza
literal: Any Pizza that is not a VegetarianPizza @en

AnnotationAssertion
IRI: #NonVegetarianPizza
literal: PizzaNaoVegetariana

AnnotationAssertion
IRI: #NutTopping
literal: CoberturaDeCastanha

AnnotationAssertion
IRI: #OliveTopping
literal: CoberturaDeAzeitona

AnnotationAssertion
IRI: #OnionTopping
literal: CoberturaDeCebola

AnnotationAssertion
IRI: #ParmaHamTopping
literal: CoberturaDePrezuntoParma

AnnotationAssertion
IRI: #Parmense
literal: Parmense

AnnotationAssertion
IRI: #ParmesanTopping
literal: CoberturaDeParmesao

AnnotationAssertion
IRI: #PeperonataTopping
literal: CoberturaPeperonata

AnnotationAssertion
IRI: #PeperoniSausageTopping
literal: CoberturaDeCalabreza

AnnotationAssertion
IRI: #PepperTopping
literal: CoberturaDePimentao

AnnotationAssertion
IRI: #PetitPoisTopping
literal: CoberturaPetitPois

AnnotationAssertion
IRI: #PineKernels
literal: CoberturaPineKernels

AnnotationAssertion
IRI: #Pizza
literal: Pizza @en

AnnotationAssertion
IRI: #PizzaBase
literal: BaseDaPizza

AnnotationAssertion
IRI: #PizzaTopping
literal: CoberturaDaPizza

AnnotationAssertion
IRI: #PolloAdAstra
literal: PolloAdAstra

AnnotationAssertion
IRI: #PrawnsTopping
literal: CoberturaDeCamarao

AnnotationAssertion
IRI: #PrinceCarlo
literal: CoberturaPrinceCarlo

AnnotationAssertion
IRI: #QuattroFormaggi
literal: QuatroQueijos

AnnotationAssertion
IRI: #RealItalianPizza
literal: 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. @en

AnnotationAssertion
IRI: #RealItalianPizza
literal: PizzaItalianaReal

AnnotationAssertion
IRI: #RedOnionTopping
literal: CoberturaDeCebolaVermelha

AnnotationAssertion
IRI: #RocketTopping
literal: CoberturaRocket

AnnotationAssertion
IRI: #Rosa
literal: Rosa

AnnotationAssertion
IRI: #RosemaryTopping
literal: CoberturaRosemary

AnnotationAssertion
IRI: #SauceTopping
literal: CoberturaEmMolho

AnnotationAssertion
IRI: #Siciliana
literal: Siciliana

AnnotationAssertion
IRI: #SlicedTomatoTopping
literal: CoberturaDeTomateFatiado

AnnotationAssertion
IRI: #SloppyGiuseppe
literal: SloppyGiuseppe

AnnotationAssertion
IRI: #Soho
literal: Soho

AnnotationAssertion
IRI: #Spiciness
literal: A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. @en

AnnotationAssertion
IRI: #Spiciness
literal: Tempero

AnnotationAssertion
IRI: #SpicyPizza
literal: Any pizza that has a spicy topping is a SpicyPizza @en

AnnotationAssertion
IRI: #SpicyPizza
literal: PizzaTemperada

AnnotationAssertion
IRI: #SpicyPizzaEquivalent
literal: 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. @en

AnnotationAssertion
IRI: #SpicyPizzaEquivalent
literal: PizzaTemperadaEquivalente

AnnotationAssertion
IRI: #SpicyTopping
literal: Any pizza topping that has spiciness Hot @en

AnnotationAssertion
IRI: #SpicyTopping
literal: CoberturaTemperada

AnnotationAssertion
IRI: #SpinachTopping
literal: CoberturaDeEspinafre

AnnotationAssertion
IRI: #SultanaTopping
literal: CoberturaSultana

AnnotationAssertion
IRI: #SundriedTomatoTopping
literal: CoberturaDeTomateRessecadoAoSol

AnnotationAssertion
IRI: #SweetPepperTopping
literal: CoberturaDePimentaoDoce

AnnotationAssertion
IRI: #ThinAndCrispyBase
literal: BaseFinaEQuebradica

AnnotationAssertion
IRI: #TobascoPepperSauce
literal: MolhoTobascoPepper

AnnotationAssertion
IRI: #TomatoTopping
literal: CoberturaDeTomate

AnnotationAssertion
IRI: #UnclosedPizza
literal: An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.

AnnotationAssertion
IRI: #UnclosedPizza
literal: PizzaAberta

AnnotationAssertion
IRI: #ValuePartition
literal: 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.

AnnotationAssertion
IRI: #ValuePartition
literal: ValorDaParticao

AnnotationAssertion
IRI: #VegetableTopping
literal: CoberturaDeVegetais

AnnotationAssertion
IRI: #VegetarianPizza
literal: 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. @en

AnnotationAssertion
IRI: #VegetarianPizza
literal: PizzaVegetariana

AnnotationAssertion
IRI: #VegetarianPizzaEquivalent1
literal: 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 @en

AnnotationAssertion
IRI: #VegetarianPizzaEquivalent1
literal: PizzaVegetarianaEquivalente1

AnnotationAssertion
IRI: #VegetarianPizzaEquivalent2
literal: An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza @en

AnnotationAssertion
IRI: #VegetarianPizzaEquivalent2
literal: PizzaVegetarianaEquivalente2

AnnotationAssertion
IRI: #VegetarianTopping
literal: 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. @en

AnnotationAssertion
IRI: #VegetarianTopping
literal: CoberturaVegetariana

AnnotationAssertion
IRI: #Veneziana
literal: Veneziana

AnnotationAssertion
IRI: #hasIngredient
literal: NB Transitive - the ingredients of ingredients are ingredients of the whole @en

AnnotationAssertion
IRI: #hasSpiciness
literal: A property created to be used with the ValuePartition - Spiciness. @en

AnnotationAssertion
IRI: #isIngredientOf
literal: The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. @en