Ontology
comment: A "final stage" that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester @en
default language: en
version info: version 1.2
imports: protege

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CoberturaDeMozzarella
type: Class
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
subclass of: CoberturaDeQueijo
disjoint with: CoberturaDeParmesao
disjoint with: CoberturaQuatroQueijos

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Media
type: Class
subclass of: Tempero

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
subclass of: PizzaVegetariana
equivalent class: Class
  intersection of: Pizza
  intersection of: Restriction
    on property: hasTopping
    all values from: CoberturaVegetariana
subclass of: PizzaVegetarianaEquivalente2

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

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

CoberturaDeCebolaVermelha
type: Class
subclass of: CoberturaDeCebola

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

CoberturaPineKernels
type: Class
subclass of: CoberturaDeCastanha

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

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

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

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

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: CoberturaDeVegetais
subclass of: CoberturaDeQueijo

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

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

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