<?xml version="1.0"?>

<!DOCTYPE rdf:RDF [

<!ENTITY owl "http://www.w3.org/2002/07/owl#" >

<!ENTITY owl11 "http://www.w3.org/2006/12/owl11#" >

<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >

<!ENTITY owl11xml "http://www.w3.org/2006/12/owl11-xml#" >

<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >

<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >

<!ENTITY pizza "http://www.co-ode.org/ontologies/pizza/pizza.owl#" >

]>

<rdf:RDF xmlns="http://www.co-ode.org/ontologies/pizza/pizza.owl#"

xml:base="http://www.co-ode.org/ontologies/pizza/pizza.owl"

xmlns:owl11="http://www.w3.org/2006/12/owl11#"

xmlns:pizza="http://www.co-ode.org/ontologies/pizza/pizza.owl#"

xmlns:owl11xml="http://www.w3.org/2006/12/owl11-xml#"

xmlns:xsd="http://www.w3.org/2001/XMLSchema#"

xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"

xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"

xmlns:owl="http://www.w3.org/2002/07/owl#">

<owl:Ontology rdf:about="">

<rdfs:comment xml:lang="en"

>An example ontology that contains all constructs required for the various versions of the Pizza Tutorial run by Manchester University (see http://www.co-ode.org/resources/tutorials/)</rdfs:comment>

<owl:versionInfo xml:lang="en"

>v.1.5. Removed protege.owl import and references. Made ontology URI date-independent</owl:versionInfo>

<owl:versionInfo rdf:datatype="&xsd;string">version 1.5</owl:versionInfo>

<owl:versionInfo xml:lang="en"

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

</owl:Ontology>

<!--

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasBase -->

<owl:ObjectProperty rdf:about="#hasBase">

<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>

<rdf:type rdf:resource="&owl;FunctionalProperty"/>

<rdfs:subPropertyOf rdf:resource="#hasIngredient"/>

<rdfs:range rdf:resource="#PizzaBase"/>

<rdfs:domain rdf:resource="#Pizza"/>

<owl:inverseOf rdf:resource="#isBaseOf"/>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasCountryOfOrigin -->

<owl:ObjectProperty rdf:about="#hasCountryOfOrigin"/>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasIngredient -->

<owl:ObjectProperty rdf:about="#hasIngredient">

<rdf:type rdf:resource="&owl;TransitiveProperty"/>

<rdfs:comment xml:lang="en"

>NB Transitive - the ingredients of ingredients are ingredients of the whole</rdfs:comment>

<owl:inverseOf rdf:resource="#isIngredientOf"/>

<rdfs:domain rdf:resource="#Food"/>

<rdfs:range rdf:resource="#Food"/>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasSpiciness -->

<owl:ObjectProperty rdf:about="#hasSpiciness">

<rdf:type rdf:resource="&owl;FunctionalProperty"/>

<rdfs:range rdf:resource="#Spiciness"/>

<rdfs:comment xml:lang="en"

>A property created to be used with the ValuePartition - Spiciness.</rdfs:comment>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#hasTopping -->

<owl:ObjectProperty rdf:about="#hasTopping">

<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>

<rdfs:comment xml:lang="en"

>Note that hasTopping is inverse functional because isToppingOf is functional</rdfs:comment>

<rdfs:domain rdf:resource="#Pizza"/>

<rdfs:subPropertyOf rdf:resource="#hasIngredient"/>

<rdfs:range rdf:resource="#PizzaTopping"/>

<owl:inverseOf rdf:resource="#isToppingOf"/>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isBaseOf -->

<owl:ObjectProperty rdf:about="#isBaseOf">

<rdf:type rdf:resource="&owl;InverseFunctionalProperty"/>

<rdf:type rdf:resource="&owl;FunctionalProperty"/>

<rdfs:range rdf:resource="#Pizza"/>

<rdfs:domain rdf:resource="#PizzaBase"/>

<rdfs:subPropertyOf rdf:resource="#isIngredientOf"/>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isIngredientOf -->

<owl:ObjectProperty rdf:about="#isIngredientOf">

<rdf:type rdf:resource="&owl;TransitiveProperty"/>

<rdfs:domain rdf:resource="#Food"/>

<rdfs:comment xml:lang="en"

>The inverse property tree to hasIngredient - all subproperties and attributes of the properties should reflect those under hasIngredient.</rdfs:comment>

<rdfs:range rdf:resource="#Food"/>

</owl:ObjectProperty>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#isToppingOf -->

<owl:ObjectProperty rdf:about="#isToppingOf">

<rdf:type rdf:resource="&owl;FunctionalProperty"/>

<rdfs:subPropertyOf rdf:resource="#isIngredientOf"/>

<rdfs:comment xml:lang="en"

>Any given instance of topping should only be added to a single pizza (no cheap half-measures on our pizzas)</rdfs:comment>

<rdfs:domain rdf:resource="#PizzaTopping"/>

<rdfs:range rdf:resource="#Pizza"/>

</owl:ObjectProperty>

<!--

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#American -->

<owl:Class rdf:about="#American">

<rdfs:label xml:lang="pt">Americana</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#PeperoniSausageTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperoniSausageTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasCountryOfOrigin"/>

<owl:hasValue rdf:resource="#America"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AmericanHot -->

<owl:Class rdf:about="#AmericanHot">

<rdfs:label xml:lang="pt"

>AmericanaPicante</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#HotGreenPepperTopping"/>

<rdf:Description rdf:about="#JalapenoPepperTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#PeperoniSausageTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasCountryOfOrigin"/>

<owl:hasValue rdf:resource="#America"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#JalapenoPepperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#HotGreenPepperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperoniSausageTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AnchoviesTopping -->

<owl:Class rdf:about="#AnchoviesTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeAnchovies</rdfs:label>

<rdfs:subClassOf rdf:resource="#FishTopping"/>

<owl:disjointWith rdf:resource="#PrawnsTopping"/>

<owl:disjointWith rdf:resource="#MixedSeafoodTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ArtichokeTopping -->

<owl:Class rdf:about="#ArtichokeTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeArtichoke</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#OnionTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#AsparagusTopping -->

<owl:Class rdf:about="#AsparagusTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeAspargos</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Cajun -->

<owl:Class rdf:about="#Cajun">

<rdfs:label xml:lang="pt">Cajun</rdfs:label>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperonataTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TobascoPepperSauce"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PrawnsTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OnionTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#TobascoPepperSauce"/>

<rdf:Description rdf:about="#PeperonataTopping"/>

<rdf:Description rdf:about="#OnionTopping"/>

<rdf:Description rdf:about="#PrawnsTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#Mushroom"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Caprina"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Parmense"/>

<owl:disjointWith rdf:resource="#PrinceCarlo"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#Capricciosa"/>

<owl:disjointWith rdf:resource="#FourSeasons"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#LaReine"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CajunSpiceTopping -->

<owl:Class rdf:about="#CajunSpiceTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCajun</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Hot"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#HerbSpiceTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CaperTopping -->

<owl:Class rdf:about="#CaperTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCaper</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#TomatoTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#ArtichokeTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#OnionTopping"/>

<owl:disjointWith rdf:resource="#PepperTopping"/>

<owl:disjointWith rdf:resource="#RocketTopping"/>

<owl:disjointWith rdf:resource="#OliveTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Capricciosa -->

<owl:Class rdf:about="#Capricciosa">

<rdfs:label xml:lang="pt">Capricciosa</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#CaperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#AnchoviesTopping"/>

<rdf:Description rdf:about="#HamTopping"/>

<rdf:Description rdf:about="#PeperonataTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#CaperTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperonataTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#AnchoviesTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#HamTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#Parmense"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#LaReine"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Caprina -->

<owl:Class rdf:about="#Caprina">

<rdfs:label xml:lang="pt">Caprina</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#GoatsCheeseTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#SundriedTomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#GoatsCheeseTopping"/>

<rdf:Description rdf:about="#SundriedTomatoTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#LaReine"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#Capricciosa"/>

<owl:disjointWith rdf:resource="#Parmense"/>

<owl:disjointWith rdf:resource="#Mushroom"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#PrinceCarlo"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseTopping -->

<owl:Class rdf:about="#CheeseTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeQueijo</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyPizza -->

<owl:Class rdf:about="#CheeseyPizza">

<rdfs:label xml:lang="pt">PizzaComQueijo</rdfs:label>

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#Pizza"/>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#CheeseTopping"/>

</owl:Restriction>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

<rdfs:comment xml:lang="en"

>Any pizza that has at least 1 cheese topping.</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#CheeseyVegetableTopping -->

<owl:Class rdf:about="#CheeseyVegetableTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeQueijoComVegetais</rdfs:label>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:comment xml:lang="en"

>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.</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ChickenTopping -->

<owl:Class rdf:about="#ChickenTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeFrango</rdfs:label>

<rdfs:subClassOf rdf:resource="#MeatTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#HamTopping"/>

<owl:disjointWith rdf:resource="#HotSpicedBeefTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Country -->

<owl:Class rdf:about="#Country">

<rdfs:label xml:lang="pt">Pais</rdfs:label>

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#DomainConcept"/>

<owl:Class>

<owl:oneOf rdf:parseType="Collection">

<rdf:Description rdf:about="#America"/>

<rdf:Description rdf:about="#Italy"/>

<rdf:Description rdf:about="#Germany"/>

<rdf:Description rdf:about="#England"/>

<rdf:Description rdf:about="#France"/>

</owl:oneOf>

</owl:Class>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

<rdfs:comment xml:lang="en"

>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.</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#DeepPanBase -->

<owl:Class rdf:about="#DeepPanBase">

<rdfs:label xml:lang="pt">BaseEspessa</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaBase"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#DomainConcept -->

<owl:Class rdf:about="#DomainConcept">

<owl:disjointWith rdf:resource="#ValuePartition"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Fiorentina -->

<owl:Class rdf:about="#Fiorentina">

<rdfs:label xml:lang="pt">Fiorentina</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#SpinachTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#ParmesanTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#SpinachTopping"/>

<rdf:Description rdf:about="#ParmesanTopping"/>

<rdf:Description rdf:about="#GarlicTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#GarlicTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FishTopping -->

<owl:Class rdf:about="#FishTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePeixe</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#CheeseTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Food -->

<owl:Class rdf:about="#Food">

<rdfs:subClassOf rdf:resource="#DomainConcept"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FourCheesesTopping -->

<owl:Class rdf:about="#FourCheesesTopping">

<rdfs:label xml:lang="pt"

>CoberturaQuatroQueijos</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FourSeasons -->

<owl:Class rdf:about="#FourSeasons">

<rdfs:label xml:lang="pt">QuatroQueijos</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MushroomTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#CaperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperoniSausageTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#PeperoniSausageTopping"/>

<rdf:Description rdf:about="#AnchoviesTopping"/>

<rdf:Description rdf:about="#CaperTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#MushroomTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#AnchoviesTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Caprina"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#Mushroom"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#PrinceCarlo"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#LaReine"/>

<owl:disjointWith rdf:resource="#Parmense"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#Capricciosa"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FruitTopping -->

<owl:Class rdf:about="#FruitTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeFrutas</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

<owl:disjointWith rdf:resource="#MeatTopping"/>

<owl:disjointWith rdf:resource="#HerbSpiceTopping"/>

<owl:disjointWith rdf:resource="#FishTopping"/>

<owl:disjointWith rdf:resource="#CheeseTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#FruttiDiMare -->

<owl:Class rdf:about="#FruttiDiMare">

<rdfs:label xml:lang="pt">FrutosDoMar</rdfs:label>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MixedSeafoodTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MixedSeafoodTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#GarlicTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#GarlicTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GarlicTopping -->

<owl:Class rdf:about="#GarlicTopping">

<rdfs:label xml:lang="pt">CoberturaDeAlho</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Medium"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#ArtichokeTopping"/>

<owl:disjointWith rdf:resource="#CaperTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#PepperTopping"/>

<owl:disjointWith rdf:resource="#OnionTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

<owl:disjointWith rdf:resource="#OliveTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#RocketTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#TomatoTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Giardiniera -->

<owl:Class rdf:about="#Giardiniera">

<rdfs:label xml:lang="pt">Giardiniera</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#SlicedTomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#LeekTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PeperonataTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#MushroomTopping"/>

<rdf:Description rdf:about="#LeekTopping"/>

<rdf:Description rdf:about="#SlicedTomatoTopping"/>

<rdf:Description rdf:about="#PetitPoisTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#PeperonataTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#PetitPoisTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MushroomTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GoatsCheeseTopping -->

<owl:Class rdf:about="#GoatsCheeseTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeQueijoDeCabra</rdfs:label>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#ParmesanTopping"/>

<owl:disjointWith rdf:resource="#GorgonzolaTopping"/>

<owl:disjointWith rdf:resource="#FourCheesesTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GorgonzolaTopping -->

<owl:Class rdf:about="#GorgonzolaTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeGorgonzola</rdfs:label>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#ParmesanTopping"/>

<owl:disjointWith rdf:resource="#FourCheesesTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#GreenPepperTopping -->

<owl:Class rdf:about="#GreenPepperTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePimentaoVerde</rdfs:label>

<rdfs:subClassOf rdf:resource="#PepperTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HamTopping -->

<owl:Class rdf:about="#HamTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePresunto</rdfs:label>

<rdfs:subClassOf rdf:resource="#MeatTopping"/>

<owl:disjointWith rdf:resource="#HotSpicedBeefTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HerbSpiceTopping -->

<owl:Class rdf:about="#HerbSpiceTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeErvas</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

<owl:disjointWith rdf:resource="#CheeseTopping"/>

<owl:disjointWith rdf:resource="#MeatTopping"/>

<owl:disjointWith rdf:resource="#FishTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Hot -->

<owl:Class rdf:about="#Hot">

<rdfs:label xml:lang="pt">Picante</rdfs:label>

<rdfs:subClassOf rdf:resource="#Spiciness"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HotGreenPepperTopping -->

<owl:Class rdf:about="#HotGreenPepperTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePimentaoVerdePicante</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Hot"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#GreenPepperTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#HotSpicedBeefTopping -->

<owl:Class rdf:about="#HotSpicedBeefTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeBifePicante</rdfs:label>

<rdfs:subClassOf rdf:resource="#MeatTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Hot"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream -->

<owl:Class rdf:about="#IceCream">

<rdfs:label xml:lang="pt">Sorvete</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#FruitTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#Food"/>

<owl:disjointWith rdf:resource="#PizzaBase"/>

<owl:disjointWith rdf:resource="#PizzaTopping"/>

<owl:disjointWith rdf:resource="#Pizza"/>

<rdfs:comment xml:lang="en"

>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.</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#InterestingPizza -->

<owl:Class rdf:about="#InterestingPizza">

<rdfs:label xml:lang="pt"

>PizzaInteressante</rdfs:label>

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">3</owl:minCardinality>

</owl:Restriction>

<rdf:Description rdf:about="#Pizza"/>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

<rdfs:comment xml:lang="en"

>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.</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#JalapenoPepperTopping -->

<owl:Class rdf:about="#JalapenoPepperTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeJalapeno</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Hot"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#PepperTopping"/>

<owl:disjointWith rdf:resource="#GreenPepperTopping"/>

<owl:disjointWith rdf:resource="#SweetPepperTopping"/>

<owl:disjointWith rdf:resource="#PeperonataTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#LaReine -->

<owl:Class rdf:about="#LaReine">

<rdfs:label xml:lang="pt">LaReine</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#HamTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#MushroomTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#HamTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MushroomTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#LeekTopping -->

<owl:Class rdf:about="#LeekTopping">

<rdfs:label xml:lang="pt">CoberturaDeLeek</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Margherita -->

<owl:Class rdf:about="#Margherita">

<rdfs:label xml:lang="pt">Margherita</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MozzarellaTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatTopping -->

<owl:Class rdf:about="#MeatTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCarne</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

<owl:disjointWith rdf:resource="#CheeseTopping"/>

<owl:disjointWith rdf:resource="#FishTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MeatyPizza -->

<owl:Class rdf:about="#MeatyPizza">

<rdfs:label xml:lang="pt">PizzaDeCarne</rdfs:label>

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MeatTopping"/>

</owl:Restriction>

<rdf:Description rdf:about="#Pizza"/>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

<rdfs:comment xml:lang="en"

>Any pizza that has at least one meat topping</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Medium -->

<owl:Class rdf:about="#Medium">

<rdfs:label xml:lang="pt">Media</rdfs:label>

<rdfs:subClassOf rdf:resource="#Spiciness"/>

<owl:disjointWith rdf:resource="#Hot"/>

<owl:disjointWith rdf:resource="#Mild"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Mild -->

<owl:Class rdf:about="#Mild">

<rdfs:label xml:lang="pt">NaoPicante</rdfs:label>

<rdfs:subClassOf rdf:resource="#Spiciness"/>

<owl:disjointWith rdf:resource="#Hot"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MixedSeafoodTopping -->

<owl:Class rdf:about="#MixedSeafoodTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeFrutosDoMarMistos</rdfs:label>

<rdfs:subClassOf rdf:resource="#FishTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MozzarellaTopping -->

<owl:Class rdf:about="#MozzarellaTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeMozzarella</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasCountryOfOrigin"/>

<owl:hasValue rdf:resource="#Italy"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#ParmesanTopping"/>

<owl:disjointWith rdf:resource="#FourCheesesTopping"/>

<owl:disjointWith rdf:resource="#GoatsCheeseTopping"/>

<owl:disjointWith rdf:resource="#GorgonzolaTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Mushroom -->

<owl:Class rdf:about="#Mushroom">

<rdfs:label xml:lang="pt">Cogumelo</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MushroomTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#MushroomTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

<owl:disjointWith rdf:resource="#Parmense"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#Capricciosa"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#PrinceCarlo"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#LaReine"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#MushroomTopping -->

<owl:Class rdf:about="#MushroomTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCogumelo</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NamedPizza -->

<owl:Class rdf:about="#NamedPizza">

<rdfs:label xml:lang="pt">PizzaComUmNome</rdfs:label>

<rdfs:subClassOf rdf:resource="#Pizza"/>

<rdfs:comment xml:lang="en"

>A pizza that can be found on a pizza menu</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Napoletana -->

<owl:Class rdf:about="#Napoletana">

<rdfs:label xml:lang="pt">Napoletana</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#CaperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#CaperTopping"/>

<rdf:Description rdf:about="#AnchoviesTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#OliveTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#OliveTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasCountryOfOrigin"/>

<owl:hasValue rdf:resource="#Italy"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#AnchoviesTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NonVegetarianPizza -->

<owl:Class rdf:about="#NonVegetarianPizza">

<rdfs:label xml:lang="pt"

>PizzaNaoVegetariana</rdfs:label>

<owl:equivalentClass>

<owl:Class>

<owl:intersectionOf rdf:parseType="Collection">

<owl:Class>

<owl:complementOf rdf:resource="#VegetarianPizza"/>

</owl:Class>

<rdf:Description rdf:about="#Pizza"/>

</owl:intersectionOf>

</owl:Class>

</owl:equivalentClass>

<owl:disjointWith rdf:resource="#VegetarianPizza"/>

<rdfs:comment xml:lang="en"

>Any Pizza that is not a VegetarianPizza</rdfs:comment>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#NutTopping -->

<owl:Class rdf:about="#NutTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCastanha</rdfs:label>

<rdfs:subClassOf rdf:resource="#PizzaTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#FruitTopping"/>

<owl:disjointWith rdf:resource="#HerbSpiceTopping"/>

<owl:disjointWith rdf:resource="#MeatTopping"/>

<owl:disjointWith rdf:resource="#VegetableTopping"/>

<owl:disjointWith rdf:resource="#CheeseTopping"/>

<owl:disjointWith rdf:resource="#FishTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#OliveTopping -->

<owl:Class rdf:about="#OliveTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeAzeitona</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#TomatoTopping"/>

<owl:disjointWith rdf:resource="#ArtichokeTopping"/>

<owl:disjointWith rdf:resource="#OnionTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#OnionTopping -->

<owl:Class rdf:about="#OnionTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCebola</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Medium"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmaHamTopping -->

<owl:Class rdf:about="#ParmaHamTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePrezuntoParma</rdfs:label>

<rdfs:subClassOf rdf:resource="#HamTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Parmense -->

<owl:Class rdf:about="#Parmense">

<rdfs:label xml:lang="pt">Parmense</rdfs:label>

<rdfs:subClassOf rdf:resource="#NamedPizza"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#TomatoTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#ParmesanTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:allValuesFrom>

<owl:Class>

<owl:unionOf rdf:parseType="Collection">

<rdf:Description rdf:about="#HamTopping"/>

<rdf:Description rdf:about="#ParmesanTopping"/>

<rdf:Description rdf:about="#TomatoTopping"/>

<rdf:Description rdf:about="#AsparagusTopping"/>

<rdf:Description rdf:about="#MozzarellaTopping"/>

</owl:unionOf>

</owl:Class>

</owl:allValuesFrom>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#HamTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#AsparagusTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#SloppyGiuseppe"/>

<owl:disjointWith rdf:resource="#UnclosedPizza"/>

<owl:disjointWith rdf:resource="#QuattroFormaggi"/>

<owl:disjointWith rdf:resource="#LaReine"/>

<owl:disjointWith rdf:resource="#Veneziana"/>

<owl:disjointWith rdf:resource="#Giardiniera"/>

<owl:disjointWith rdf:resource="#Soho"/>

<owl:disjointWith rdf:resource="#American"/>

<owl:disjointWith rdf:resource="#Siciliana"/>

<owl:disjointWith rdf:resource="#AmericanHot"/>

<owl:disjointWith rdf:resource="#Rosa"/>

<owl:disjointWith rdf:resource="#Napoletana"/>

<owl:disjointWith rdf:resource="#Margherita"/>

<owl:disjointWith rdf:resource="#PolloAdAstra"/>

<owl:disjointWith rdf:resource="#Fiorentina"/>

<owl:disjointWith rdf:resource="#FruttiDiMare"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#ParmesanTopping -->

<owl:Class rdf:about="#ParmesanTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeParmesao</rdfs:label>

<rdfs:subClassOf rdf:resource="#CheeseTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#FourCheesesTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperonataTopping -->

<owl:Class rdf:about="#PeperonataTopping">

<rdfs:label xml:lang="pt"

>CoberturaPeperonata</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Medium"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#PepperTopping"/>

<owl:disjointWith rdf:resource="#SweetPepperTopping"/>

<owl:disjointWith rdf:resource="#GreenPepperTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PeperoniSausageTopping -->

<owl:Class rdf:about="#PeperoniSausageTopping">

<rdfs:label xml:lang="pt"

>CoberturaDeCalabreza</rdfs:label>

<rdfs:subClassOf rdf:resource="#MeatTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Medium"/>

</owl:Restriction>

</rdfs:subClassOf>

<owl:disjointWith rdf:resource="#HamTopping"/>

<owl:disjointWith rdf:resource="#HotSpicedBeefTopping"/>

<owl:disjointWith rdf:resource="#ChickenTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PepperTopping -->

<owl:Class rdf:about="#PepperTopping">

<rdfs:label xml:lang="pt"

>CoberturaDePimentao</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<owl:disjointWith rdf:resource="#ArtichokeTopping"/>

<owl:disjointWith rdf:resource="#MushroomTopping"/>

<owl:disjointWith rdf:resource="#RocketTopping"/>

<owl:disjointWith rdf:resource="#OnionTopping"/>

<owl:disjointWith rdf:resource="#SpinachTopping"/>

<owl:disjointWith rdf:resource="#OliveTopping"/>

<owl:disjointWith rdf:resource="#PetitPoisTopping"/>

<owl:disjointWith rdf:resource="#TomatoTopping"/>

<owl:disjointWith rdf:resource="#LeekTopping"/>

<owl:disjointWith rdf:resource="#AsparagusTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PetitPoisTopping -->

<owl:Class rdf:about="#PetitPoisTopping">

<rdfs:label xml:lang="pt"

>CoberturaPetitPois</rdfs:label>

<rdfs:subClassOf rdf:resource="#VegetableTopping"/>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasSpiciness"/>

<owl:someValuesFrom rdf:resource="#Mild"/>

</owl:Restriction>

</rdfs:subClassOf>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PineKernels -->

<owl:Class rdf:about="#PineKernels">

<rdfs:label xml:lang="pt"

>CoberturaPineKernels</rdfs:label>

<rdfs:subClassOf rdf:resource="#NutTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#Pizza -->

<owl:Class rdf:about="#Pizza">

<rdfs:label xml:lang="en">Pizza</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasBase"/>

<owl:someValuesFrom rdf:resource="#PizzaBase"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf rdf:resource="#Food"/>

<owl:disjointWith rdf:resource="#PizzaTopping"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaBase -->

<owl:Class rdf:about="#PizzaBase">

<rdfs:label xml:lang="pt">BaseDaPizza</rdfs:label>

<rdfs:subClassOf rdf:resource="#Food"/>

<owl:disjointWith rdf:resource="#PizzaTopping"/>

<owl:disjointWith rdf:resource="#Pizza"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PizzaTopping -->

<owl:Class rdf:about="#PizzaTopping">

<rdfs:label xml:lang="pt"

>CoberturaDaPizza</rdfs:label>

<rdfs:subClassOf rdf:resource="#Food"/>

</owl:Class>

<!-- http://www.co-ode.org/ontologies/pizza/pizza.owl#PolloAdAstra -->

<owl:Class rdf:about="#PolloAdAstra">

<rdfs:label xml:lang="pt">PolloAdAstra</rdfs:label>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#CajunSpiceTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#RedOnionTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>

<owl:onProperty rdf:resource="#hasTopping"/>

<owl:someValuesFrom rdf:resource="#SweetPepperTopping"/>

</owl:Restriction>

</rdfs:subClassOf>

<rdfs:subClassOf>

<owl:Restriction>