Ontology
version info: v.1.4. Added Food class (used in domain/range of hasIngredient), Added several hasCountryOfOrigin restrictions on pizzas, Made hasTopping invers functional @en
version info: version 1.5
version info: v.1.5. Removed protege.owl import and references. Made ontology URI date-independent @en
comment: An example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University @en

Americana
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCalabreza
subclass of: Restriction
  on property: hasCountryOfOrigin
  has value: America
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCalabreza
    union of: CoberturaDeTomate
disjoint with: PizzaAberta
disjoint with: Soho
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: Napoletana
disjoint with: Margherita
disjoint with: Parmense
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Cajun
disjoint with: LaReine
disjoint with: FrutosDoMar
disjoint with: Cogumelo
disjoint with: Capricciosa
disjoint with: Veneziana
disjoint with: CoberturaPrinceCarlo
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: PolloAdAstra
disjoint with: Giardiniera
disjoint with: AmericanaPicante

PizzaComUmNome
type: Class
comment: A pizza that can be found on a pizza menu @en
subclass of: Pizza

CoberturaDeMozzarella
type: Class
subclass of: CoberturaDeQueijo
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
subclass of: Restriction
  on property: hasCountryOfOrigin
  has value: Italy
disjoint with: CoberturaDeQueijoDeCabra
disjoint with: CoberturaDeGorgonzola
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos

CoberturaDeCalabreza
type: Class
subclass of: CoberturaDeCarne
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media
disjoint with: CoberturaDeBifePicante
disjoint with: CoberturaDeFrango
disjoint with: CoberturaDePresunto

CoberturaDeTomate
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaRocket
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeLeek

AmericanaPicante
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePimentaoVerdePicante
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeJalapeno
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasCountryOfOrigin
  has value: America
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCalabreza
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCalabreza
    union of: CoberturaDeJalapeno
    union of: CoberturaDeTomate
    union of: CoberturaDePimentaoVerdePicante
disjoint with: PizzaAberta
disjoint with: FrutosDoMar
disjoint with: QuatroQueijos
disjoint with: Margherita
disjoint with: LaReine
disjoint with: Giardiniera
disjoint with: Veneziana
disjoint with: Cajun
disjoint with: SloppyGiuseppe
disjoint with: PolloAdAstra
disjoint with: Parmense
disjoint with: Soho
disjoint with: Capricciosa
disjoint with: CoberturaPrinceCarlo
disjoint with: Siciliana
disjoint with: Rosa
disjoint with: Fiorentina
disjoint with: Napoletana
disjoint with: Americana
disjoint with: Caprina
disjoint with: Cogumelo

CoberturaDeJalapeno
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: Picante
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoVerde
disjoint with: CoberturaPeperonata
disjoint with: CoberturaDePimentaoDoce

CoberturaDePimentaoVerdePicante
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: Picante
subclass of: CoberturaDePimentaoVerde

CoberturaDeAnchovies
type: Class
subclass of: CoberturaDePeixe
disjoint with: CoberturaDeFrutosDoMarMistos
disjoint with: CoberturaDeCamarao

CoberturaDePeixe
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
subclass of: CoberturaDaPizza
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCastanha

CoberturaDeArtichoke
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeTomate
disjoint with: CoberturaRocket

CoberturaDeVegetais
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeErvas
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe

CoberturaDeAspargos
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeAlho
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeCebola
disjoint with: CoberturaRocket
disjoint with: CoberturaDeTomate

Cajun
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: MolhoTobascoPepper
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeCamarao
    union of: MolhoTobascoPepper
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeCebola
    union of: CoberturaPeperonata
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebola
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPeperonata
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCamarao
disjoint with: Cogumelo
disjoint with: LaReine
disjoint with: Fiorentina
disjoint with: Napoletana
disjoint with: QuatroQueijos
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: FrutosDoMar
disjoint with: Siciliana
disjoint with: Americana
disjoint with: Veneziana
disjoint with: CoberturaPrinceCarlo
disjoint with: Parmense
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: PizzaAberta
disjoint with: Giardiniera
disjoint with: Capricciosa
disjoint with: Rosa
disjoint with: Margherita
disjoint with: PolloAdAstra

CoberturaDeCamarao
type: Class
subclass of: CoberturaDePeixe
disjoint with: CoberturaDeFrutosDoMarMistos
disjoint with: CoberturaDeAnchovies

MolhoTobascoPepper
type: Class
subclass of: CoberturaEmMolho
subclass of: Restriction
  on property: hasSpiciness
  some values from: Picante

CoberturaDeCebola
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeLeek
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeCaper

CoberturaPeperonata
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoVerde
disjoint with: CoberturaDeJalapeno
disjoint with: CoberturaDePimentaoDoce

CoberturaDeCajun
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: Picante
subclass of: CoberturaDeErvas
disjoint with: CoberturaRosemary

CoberturaDeErvas
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeQueijo

CoberturaDeCaper
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeAlho
disjoint with: CoberturaRocket
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeTomate
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeCogumelo

Capricciosa
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeAnchovies
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaPeperonata
    union of: CoberturaDePresunto
    union of: CoberturaDeCaper
    union of: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPeperonata
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
disjoint with: LaReine
disjoint with: Cogumelo
disjoint with: Caprina
disjoint with: QuatroQueijos
disjoint with: CoberturaPrinceCarlo
disjoint with: Veneziana
disjoint with: Soho
disjoint with: Rosa
disjoint with: Siciliana
disjoint with: Giardiniera
disjoint with: Fiorentina
disjoint with: Margherita
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe
disjoint with: Americana
disjoint with: Parmense
disjoint with: FrutosDoMar
disjoint with: PizzaAberta
disjoint with: PolloAdAstra
disjoint with: Napoletana
disjoint with: Cajun

CoberturaDePresunto
type: Class
subclass of: CoberturaDeCarne
disjoint with: CoberturaDeBifePicante
disjoint with: CoberturaDeFrango
disjoint with: CoberturaDeCalabreza

CoberturaDeAzeitona
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeTomate
disjoint with: CoberturaRocket

Caprina
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomateRessecadoAoSol
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeTomateRessecadoAoSol
    union of: CoberturaDeQueijoDeCabra
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeQueijoDeCabra
disjoint with: Capricciosa
disjoint with: Soho
disjoint with: Americana
disjoint with: Veneziana
disjoint with: Giardiniera
disjoint with: Rosa
disjoint with: Cajun
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Margherita
disjoint with: Parmense
disjoint with: CoberturaPrinceCarlo
disjoint with: Fiorentina
disjoint with: FrutosDoMar
disjoint with: Cogumelo
disjoint with: PizzaAberta
disjoint with: LaReine
disjoint with: Siciliana
disjoint with: Napoletana
disjoint with: AmericanaPicante
disjoint with: SloppyGiuseppe

CoberturaDeTomateRessecadoAoSol
type: Class
subclass of: CoberturaDeTomate
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeTomateFatiado

CoberturaDeQueijoDeCabra
type: Class
subclass of: CoberturaDeQueijo
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeMozzarella
disjoint with: CoberturaDeGorgonzola
disjoint with: CoberturaQuatroQueijos
disjoint with: CoberturaDeParmesao

CoberturaDeQueijo
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDeErvas

CoberturaDaPizza
type: Class
subclass of: Food
disjoint with: Sorvete
disjoint with: BaseDaPizza
disjoint with: Pizza

PizzaComQueijo
type: Class
comment: Any pizza that has at least 1 cheese topping. @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    some values from: CoberturaDeQueijo

Pizza
type: Class
subclass of: Food
subclass of: Restriction
  on property: hasBase
  some values from: BaseDaPizza
disjoint with: Sorvete
disjoint with: CoberturaDaPizza
disjoint with: BaseDaPizza

CoberturaDeQueijoComVegetais
type: Class
comment: 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
subclass of: CoberturaDeQueijo
subclass of: CoberturaDeVegetais

CoberturaDeFrango
type: Class
subclass of: CoberturaDeCarne
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeBifePicante
disjoint with: CoberturaDePresunto
disjoint with: CoberturaDeCalabreza

CoberturaDeCarne
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaDeQueijo

Pais
type: Class
comment: 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
equivalent class: Class
  intersection of: Class
    one of: America
    one of: Italy
    one of: Germany
    one of: France
    one of: England
  intersection of: DomainConcept

BaseEspessa
type: Class
subclass of: BaseDaPizza
disjoint with: BaseFinaEQuebradica

BaseDaPizza
type: Class
subclass of: Food
disjoint with: Sorvete
disjoint with: CoberturaDaPizza
disjoint with: Pizza

Fiorentina
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAlho
    union of: CoberturaDeTomate
    union of: CoberturaDeEspinafre
    union of: CoberturaDeAzeitona
    union of: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeEspinafre
subclass of: PizzaComUmNome
disjoint with: PolloAdAstra
disjoint with: Cogumelo
disjoint with: Cajun
disjoint with: Americana
disjoint with: QuatroQueijos
disjoint with: Siciliana
disjoint with: FrutosDoMar
disjoint with: PizzaAberta
disjoint with: Veneziana
disjoint with: SloppyGiuseppe
disjoint with: Parmense
disjoint with: Giardiniera
disjoint with: Capricciosa
disjoint with: LaReine
disjoint with: Caprina
disjoint with: Margherita
disjoint with: Soho
disjoint with: AmericanaPicante
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: CoberturaPrinceCarlo

CoberturaDeAlho
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCaper
disjoint with: CoberturaRocket

CoberturaDeEspinafre
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeCaper
disjoint with: CoberturaRocket
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeAspargos

CoberturaDeParmesao
type: Class
subclass of: CoberturaDeQueijo
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaQuatroQueijos
disjoint with: CoberturaDeGorgonzola
disjoint with: CoberturaDeMozzarella
disjoint with: CoberturaDeQueijoDeCabra

CoberturaQuatroQueijos
type: Class
subclass of: CoberturaDeQueijo
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaDeQueijoDeCabra
disjoint with: CoberturaDeMozzarella
disjoint with: CoberturaDeGorgonzola

QuatroQueijos
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCalabreza
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeAnchovies
    union of: CoberturaDeMozzarella
    union of: CoberturaDeCalabreza
    union of: CoberturaDeTomate
    union of: CoberturaDeCaper
    union of: CoberturaDeAzeitona
    union of: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
disjoint with: Capricciosa
disjoint with: SloppyGiuseppe
disjoint with: Rosa
disjoint with: AmericanaPicante
disjoint with: PizzaAberta
disjoint with: Americana
disjoint with: Parmense
disjoint with: PolloAdAstra
disjoint with: Cajun
disjoint with: Cogumelo
disjoint with: Giardiniera
disjoint with: CoberturaPrinceCarlo
disjoint with: LaReine
disjoint with: Napoletana
disjoint with: Soho
disjoint with: FrutosDoMar
disjoint with: Veneziana
disjoint with: QuatroQueijos
disjoint with: Caprina
disjoint with: Fiorentina
disjoint with: Margherita
disjoint with: Siciliana

CoberturaDeCogumelo
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeTomate
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDePimentao
disjoint with: CoberturaRocket
disjoint with: CoberturaDeCaper

CoberturaDeFrutas
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeQueijo

FrutosDoMar
type: Class
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeAlho
    union of: CoberturaDeTomate
    union of: CoberturaDeFrutosDoMarMistos
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeFrutosDoMarMistos
subclass of: PizzaComUmNome
disjoint with: Veneziana
disjoint with: AmericanaPicante
disjoint with: PizzaAberta
disjoint with: Parmense
disjoint with: SloppyGiuseppe
disjoint with: Fiorentina
disjoint with: Cajun
disjoint with: Giardiniera
disjoint with: CoberturaPrinceCarlo
disjoint with: Siciliana
disjoint with: PolloAdAstra
disjoint with: LaReine
disjoint with: Americana
disjoint with: Cogumelo
disjoint with: Soho
disjoint with: Caprina
disjoint with: Capricciosa
disjoint with: Rosa
disjoint with: Margherita
disjoint with: QuatroQueijos
disjoint with: Napoletana

CoberturaDeFrutosDoMarMistos
type: Class
subclass of: CoberturaDePeixe
disjoint with: CoberturaDeAnchovies
disjoint with: CoberturaDeCamarao

Giardiniera
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeLeek
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaPetitPois
    union of: CoberturaPeperonata
    union of: CoberturaDeAzeitona
    union of: CoberturaDeCogumelo
    union of: CoberturaDeTomateFatiado
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomateFatiado
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPeperonata
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPetitPois
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeLeek
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: Cogumelo
disjoint with: Rosa
disjoint with: FrutosDoMar
disjoint with: PizzaAberta
disjoint with: QuatroQueijos
disjoint with: Fiorentina
disjoint with: Capricciosa
disjoint with: Margherita
disjoint with: Parmense
disjoint with: LaReine
disjoint with: Siciliana
disjoint with: Napoletana
disjoint with: Soho
disjoint with: SloppyGiuseppe
disjoint with: CoberturaPrinceCarlo
disjoint with: Veneziana
disjoint with: Americana
disjoint with: PolloAdAstra
disjoint with: Cajun

CoberturaDeLeek
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaRocket
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDePimentao
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeTomate

CoberturaPetitPois
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket
disjoint with: CoberturaDePimentao
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeCaper

CoberturaDeTomateFatiado
type: Class
subclass of: CoberturaDeTomate
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeTomateRessecadoAoSol

CoberturaDeGorgonzola
type: Class
subclass of: CoberturaDeQueijo
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
disjoint with: CoberturaDeQueijoDeCabra
disjoint with: CoberturaDeMozzarella
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos

CoberturaDePimentaoVerde
type: Class
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoDoce
disjoint with: CoberturaDeJalapeno
disjoint with: CoberturaPeperonata

CoberturaDePimentao
type: Class
subclass of: CoberturaDeVegetais
disjoint with: CoberturaDeAlho
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaRocket
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeCogumelo

Picante
type: Class
subclass of: Tempero
disjoint with: NaoPicante
disjoint with: Media

Tempero
type: Class
comment: A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions. @en
subclass of: ValorDaParticao
equivalent class: Class
  union of: Picante
  union of: Media
  union of: NaoPicante

CoberturaDeBifePicante
type: Class
subclass of: CoberturaDeCarne
subclass of: Restriction
  on property: hasSpiciness
  some values from: Picante
disjoint with: CoberturaDeCalabreza
disjoint with: CoberturaDePresunto
disjoint with: CoberturaDeFrango

Sorvete
type: Class
comment: 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
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeFrutas
subclass of: Food
disjoint with: Pizza
disjoint with: CoberturaDaPizza
disjoint with: BaseDaPizza

PizzaInteressante
type: Class
comment: 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
equivalent class: Class
  intersection of: Restriction
    on property: hasTopping
    min cardinality: 3
  intersection of: Pizza

LaReine
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDePresunto
    union of: CoberturaDeAzeitona
    union of: CoberturaDeCogumelo
disjoint with: Cogumelo
disjoint with: Capricciosa
disjoint with: Cajun
disjoint with: Veneziana
disjoint with: Rosa
disjoint with: AmericanaPicante
disjoint with: Siciliana
disjoint with: Americana
disjoint with: FrutosDoMar
disjoint with: Fiorentina
disjoint with: Giardiniera
disjoint with: PolloAdAstra
disjoint with: Parmense
disjoint with: PizzaAberta
disjoint with: Caprina
disjoint with: QuatroQueijos
disjoint with: Margherita
disjoint with: SloppyGiuseppe
disjoint with: Soho
disjoint with: CoberturaPrinceCarlo
disjoint with: Napoletana

Margherita
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
subclass of: PizzaComUmNome
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: AmericanaPicante
disjoint with: Americana
disjoint with: PolloAdAstra
disjoint with: QuatroQueijos
disjoint with: Rosa
disjoint with: Cogumelo
disjoint with: Capricciosa
disjoint with: Caprina
disjoint with: Soho
disjoint with: Giardiniera
disjoint with: Napoletana
disjoint with: Fiorentina
disjoint with: LaReine
disjoint with: Parmense
disjoint with: FrutosDoMar
disjoint with: SloppyGiuseppe
disjoint with: Veneziana
disjoint with: CoberturaPrinceCarlo
disjoint with: Cajun

PizzaDeCarne
type: Class
comment: Any pizza that has at least one meat topping @en
equivalent class: Class
  intersection of: Restriction
    on property: hasTopping
    some values from: CoberturaDeCarne
  intersection of: Pizza

Media
type: Class
subclass of: Tempero
disjoint with: Picante
disjoint with: NaoPicante

NaoPicante
type: Class
subclass of: Tempero
disjoint with: Picante
disjoint with: Media

Cogumelo
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeCogumelo
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
disjoint with: LaReine
disjoint with: CoberturaPrinceCarlo
disjoint with: Capricciosa
disjoint with: Cajun
disjoint with: Fiorentina
disjoint with: Napoletana
disjoint with: Giardiniera
disjoint with: PizzaAberta
disjoint with: Margherita
disjoint with: FrutosDoMar
disjoint with: Americana
disjoint with: Siciliana
disjoint with: Caprina
disjoint with: Soho
disjoint with: PolloAdAstra
disjoint with: SloppyGiuseppe
disjoint with: Parmense
disjoint with: QuatroQueijos
disjoint with: Veneziana
disjoint with: Rosa
disjoint with: AmericanaPicante

Napoletana
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasCountryOfOrigin
  has value: Italy
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeAnchovies
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeCaper
    union of: CoberturaDeAzeitona
disjoint with: Veneziana
disjoint with: Siciliana
disjoint with: Cajun
disjoint with: Americana
disjoint with: Cogumelo
disjoint with: PolloAdAstra
disjoint with: CoberturaPrinceCarlo
disjoint with: SloppyGiuseppe
disjoint with: Rosa
disjoint with: PizzaAberta
disjoint with: QuatroQueijos
disjoint with: Parmense
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: Capricciosa
disjoint with: Soho
disjoint with: LaReine
disjoint with: Fiorentina
disjoint with: FrutosDoMar

PizzaNaoVegetariana
type: Class
comment: Any Pizza that is not a VegetarianPizza @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Class
    complement of: PizzaVegetariana
disjoint with: PizzaVegetariana

PizzaVegetariana
type: Class
comment: 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
equivalent class: Class
  intersection of: Pizza
  intersection of: Class
    complement of: Restriction
      on property: hasTopping
      some values from: CoberturaDeCarne
  intersection of: Class
    complement of: Restriction
      on property: hasTopping
      some values from: CoberturaDePeixe
disjoint with: PizzaNaoVegetariana

CoberturaDeCastanha
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeQueijo
disjoint with: CoberturaEmMolho
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe

CoberturaDePrezuntoParma
type: Class
subclass of: CoberturaDePresunto
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante

Parmense
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAspargos
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDePresunto
    union of: CoberturaDeParmesao
    union of: CoberturaDeAspargos
disjoint with: FrutosDoMar
disjoint with: Soho
disjoint with: Americana
disjoint with: PizzaAberta
disjoint with: Rosa
disjoint with: Fiorentina
disjoint with: AmericanaPicante
disjoint with: QuatroQueijos
disjoint with: Siciliana
disjoint with: Caprina
disjoint with: Giardiniera
disjoint with: LaReine
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: SloppyGiuseppe
disjoint with: Cajun
disjoint with: Cogumelo
disjoint with: CoberturaPrinceCarlo
disjoint with: Capricciosa
disjoint with: Margherita
disjoint with: Veneziana

CoberturaPineKernels
type: Class
subclass of: CoberturaDeCastanha

PolloAdAstra
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebolaVermelha
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCajun
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePimentaoDoce
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeFrango
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAlho
    union of: CoberturaDeTomate
    union of: CoberturaDeCebolaVermelha
    union of: CoberturaDeCajun
    union of: CoberturaDePimentaoDoce
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeFrango
subclass of: PizzaComUmNome
disjoint with: Fiorentina
disjoint with: Veneziana
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: SloppyGiuseppe
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: Soho
disjoint with: Rosa
disjoint with: FrutosDoMar
disjoint with: LaReine
disjoint with: CoberturaPrinceCarlo
disjoint with: PizzaAberta
disjoint with: QuatroQueijos
disjoint with: Parmense
disjoint with: Cogumelo
disjoint with: Siciliana
disjoint with: Americana
disjoint with: Giardiniera
disjoint with: Capricciosa
disjoint with: Cajun

CoberturaDeCebolaVermelha
type: Class
subclass of: CoberturaDeCebola

CoberturaDePimentaoDoce
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
subclass of: CoberturaDePimentao
disjoint with: CoberturaDePimentaoVerde
disjoint with: CoberturaPeperonata
disjoint with: CoberturaDeJalapeno

CoberturaPrinceCarlo
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeLeek
    union of: CoberturaRosemary
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeLeek
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaRosemary
disjoint with: Cogumelo
disjoint with: Siciliana
disjoint with: SloppyGiuseppe
disjoint with: PizzaAberta
disjoint with: Napoletana
disjoint with: Capricciosa
disjoint with: Veneziana
disjoint with: Rosa
disjoint with: FrutosDoMar
disjoint with: Soho
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: PolloAdAstra
disjoint with: Cajun
disjoint with: Parmense
disjoint with: QuatroQueijos
disjoint with: Americana
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: LaReine
disjoint with: Fiorentina

CoberturaRosemary
type: Class
subclass of: Restriction
  on property: hasSpiciness
  some values from: NaoPicante
subclass of: CoberturaDeErvas
disjoint with: CoberturaDeCajun

QuatroQueijos
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaQuatroQueijos
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaQuatroQueijos
    union of: CoberturaDeTomate
disjoint with: AmericanaPicante
disjoint with: Fiorentina
disjoint with: Cajun
disjoint with: SloppyGiuseppe
disjoint with: Margherita
disjoint with: Veneziana
disjoint with: Capricciosa
disjoint with: Giardiniera
disjoint with: Caprina
disjoint with: Americana
disjoint with: Napoletana
disjoint with: Soho
disjoint with: Cogumelo
disjoint with: LaReine
disjoint with: Siciliana
disjoint with: FrutosDoMar
disjoint with: Parmense
disjoint with: PizzaAberta
disjoint with: QuatroQueijos
disjoint with: PolloAdAstra
disjoint with: CoberturaPrinceCarlo
disjoint with: Rosa

PizzaItalianaReal
type: Class
comment: 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. @en
subclass of: Restriction
  on property: hasBase
  all values from: BaseFinaEQuebradica
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasCountryOfOrigin
    has value: Italy

CoberturaRocket
type: Class
subclass of: CoberturaDeVegetais
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media
disjoint with: CoberturaDeLeek
disjoint with: CoberturaDeTomate
disjoint with: CoberturaDeCebola
disjoint with: CoberturaDeEspinafre
disjoint with: CoberturaDePimentao
disjoint with: CoberturaPetitPois
disjoint with: CoberturaDeArtichoke
disjoint with: CoberturaDeCaper
disjoint with: CoberturaDeAspargos
disjoint with: CoberturaDeAzeitona
disjoint with: CoberturaDeCogumelo
disjoint with: CoberturaDeAlho

Rosa
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeGorgonzola
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeGorgonzola
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
disjoint with: LaReine
disjoint with: Caprina
disjoint with: Siciliana
disjoint with: Giardiniera
disjoint with: CoberturaPrinceCarlo
disjoint with: Margherita
disjoint with: QuatroQueijos
disjoint with: Parmense
disjoint with: Capricciosa
disjoint with: Americana
disjoint with: PolloAdAstra
disjoint with: Veneziana
disjoint with: Napoletana
disjoint with: PizzaAberta
disjoint with: Soho
disjoint with: AmericanaPicante
disjoint with: Cogumelo
disjoint with: FrutosDoMar
disjoint with: Fiorentina
disjoint with: SloppyGiuseppe
disjoint with: Cajun

CoberturaEmMolho
type: Class
subclass of: CoberturaDaPizza
disjoint with: CoberturaDeCarne
disjoint with: CoberturaDePeixe
disjoint with: CoberturaDeErvas
disjoint with: CoberturaDeFrutas
disjoint with: CoberturaDeVegetais
disjoint with: CoberturaDeCastanha
disjoint with: CoberturaDeQueijo

Siciliana
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePresunto
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeArtichoke
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAnchovies
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeAnchovies
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAlho
    union of: CoberturaDeArtichoke
    union of: CoberturaDeTomate
    union of: CoberturaDePresunto
    union of: CoberturaDeAzeitona
disjoint with: CoberturaPrinceCarlo
disjoint with: Margherita
disjoint with: Napoletana
disjoint with: Fiorentina
disjoint with: LaReine
disjoint with: Rosa
disjoint with: Cajun
disjoint with: Veneziana
disjoint with: Soho
disjoint with: SloppyGiuseppe
disjoint with: FrutosDoMar
disjoint with: Capricciosa
disjoint with: Parmense
disjoint with: Giardiniera
disjoint with: Cogumelo
disjoint with: AmericanaPicante
disjoint with: PizzaAberta
disjoint with: QuatroQueijos
disjoint with: Caprina
disjoint with: Americana
disjoint with: PolloAdAstra

SloppyGiuseppe
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeBifePicante
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDePimentaoVerde
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebola
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeBifePicante
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaDeCebola
    union of: CoberturaDePimentaoVerde
subclass of: PizzaComUmNome
disjoint with: CoberturaPrinceCarlo
disjoint with: FrutosDoMar
disjoint with: QuatroQueijos
disjoint with: PizzaAberta
disjoint with: Siciliana
disjoint with: Napoletana
disjoint with: AmericanaPicante
disjoint with: Fiorentina
disjoint with: PolloAdAstra
disjoint with: Capricciosa
disjoint with: Parmense
disjoint with: Cajun
disjoint with: Cogumelo
disjoint with: Veneziana
disjoint with: Giardiniera
disjoint with: Americana
disjoint with: Margherita
disjoint with: LaReine
disjoint with: Soho
disjoint with: Rosa
disjoint with: Caprina

Soho
type: Class
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeAlho
    union of: CoberturaDeTomate
    union of: CoberturaRocket
    union of: CoberturaDeAzeitona
    union of: CoberturaDeParmesao
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAlho
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeParmesao
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaRocket
disjoint with: Caprina
disjoint with: Americana
disjoint with: PizzaAberta
disjoint with: Parmense
disjoint with: Veneziana
disjoint with: Siciliana
disjoint with: PolloAdAstra
disjoint with: Capricciosa
disjoint with: AmericanaPicante
disjoint with: Margherita
disjoint with: CoberturaPrinceCarlo
disjoint with: FrutosDoMar
disjoint with: Rosa
disjoint with: QuatroQueijos
disjoint with: Cogumelo
disjoint with: Giardiniera
disjoint with: Fiorentina
disjoint with: Cajun
disjoint with: LaReine
disjoint with: SloppyGiuseppe
disjoint with: Napoletana

ValorDaParticao
type: Class
comment: 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.
disjoint with: DomainConcept

PizzaTemperada
type: Class
comment: Any pizza that has a spicy topping is a SpicyPizza @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    some values from: CoberturaTemperada

PizzaTemperadaEquivalente
type: Class
comment: 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
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    some values from: Class
      intersection of: Restriction
        on property: hasSpiciness
        some values from: Picante
      intersection of: CoberturaDaPizza

CoberturaTemperada
type: Class
comment: Any pizza topping that has spiciness Hot @en
equivalent class: Class
  intersection of: Restriction
    on property: hasSpiciness
    some values from: Picante
  intersection of: CoberturaDaPizza

CoberturaSultana
type: Class
subclass of: CoberturaDeFrutas
subclass of: Restriction
  on property: hasSpiciness
  some values from: Media

BaseFinaEQuebradica
type: Class
subclass of: BaseDaPizza
disjoint with: BaseEspessa

PizzaAberta
type: Class
comment: An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: PizzaComUmNome
disjoint with: AmericanaPicante
disjoint with: Margherita
disjoint with: Americana
disjoint with: FrutosDoMar
disjoint with: Soho
disjoint with: CoberturaPrinceCarlo
disjoint with: SloppyGiuseppe
disjoint with: Fiorentina
disjoint with: Parmense
disjoint with: Giardiniera
disjoint with: Cogumelo
disjoint with: QuatroQueijos
disjoint with: Veneziana
disjoint with: Rosa
disjoint with: Napoletana
disjoint with: PolloAdAstra
disjoint with: Caprina
disjoint with: LaReine
disjoint with: Siciliana
disjoint with: Capricciosa
disjoint with: Cajun

PizzaVegetarianaEquivalente1
type: Class
comment: 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
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    all values from: CoberturaVegetariana

PizzaVegetarianaEquivalente2
type: Class
comment: An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza @en
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    all values from: Class
      union of: CoberturaEmMolho
      union of: CoberturaDeQueijo
      union of: CoberturaDeVegetais
      union of: CoberturaDeFrutas
      union of: CoberturaDeCastanha
      union of: CoberturaDeErvas

CoberturaVegetariana
type: Class
comment: 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
equivalent class: Class
  intersection of: CoberturaDaPizza
  intersection of: Class
    union of: CoberturaEmMolho
    union of: CoberturaDeQueijo
    union of: CoberturaDeVegetais
    union of: CoberturaDeFrutas
    union of: CoberturaDeCastanha
    union of: CoberturaDeErvas

Veneziana
type: Class
subclass of: Restriction
  on property: hasTopping
  all values from: Class
    union of: CoberturaDeMozzarella
    union of: CoberturaDeTomate
    union of: CoberturaSultana
    union of: CoberturaDeCebola
    union of: CoberturaDeCaper
    union of: CoberturaDeAzeitona
    union of: CoberturaPineKernels
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaPineKernels
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeTomate
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeAzeitona
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaSultana
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeMozzarella
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCebola
subclass of: PizzaComUmNome
subclass of: Restriction
  on property: hasCountryOfOrigin
  has value: Italy
subclass of: Restriction
  on property: hasTopping
  some values from: CoberturaDeCaper
disjoint with: Napoletana
disjoint with: FrutosDoMar
disjoint with: PolloAdAstra
disjoint with: LaReine
disjoint with: Soho
disjoint with: Caprina
disjoint with: AmericanaPicante
disjoint with: Siciliana
disjoint with: QuatroQueijos
disjoint with: Capricciosa
disjoint with: CoberturaPrinceCarlo
disjoint with: Fiorentina
disjoint with: Rosa
disjoint with: PizzaAberta
disjoint with: Cajun
disjoint with: Americana
disjoint with: SloppyGiuseppe
disjoint with: Cogumelo
disjoint with: Giardiniera
disjoint with: Margherita
disjoint with: Parmense

hasIngredient
type: ObjectProperty
comment: NB Transitive - the ingredients of ingredients are ingredients of the whole @en
type: TransitiveProperty
inverse of: isIngredientOf
domain: Food
range: Food

isIngredientOf
type: ObjectProperty
comment: The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient. @en
type: TransitiveProperty
inverse of: hasIngredient
domain: Food
range: Food

hasSpiciness
type: ObjectProperty
comment: A property created to be used with the ValuePartition - Spiciness. @en
type: FunctionalProperty
range: Tempero

hasTopping
type: ObjectProperty
comment: Note that hasTopping is inverse functional because isToppingOf is functional @en
type: InverseFunctionalProperty
inverse of: isToppingOf
domain: Pizza
range: CoberturaDaPizza
sub property of: hasIngredient

isToppingOf
type: ObjectProperty
comment: Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas) @en
type: FunctionalProperty
inverse of: hasTopping
domain: CoberturaDaPizza
range: Pizza
sub property of: isIngredientOf