<?xml version="1.0"?>
<rdf:RDF
    xmlns:xsp="http://www.owl-ontologies.com/2005/08/07/xsp.owl#"
    xmlns="http://www.co-ode.org/ontologies/pizza/2005/10/18/classified/pizza.owl#"
    xmlns:protege="http://protege.stanford.edu/plugins/owl/protege#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:daml="http://www.daml.org/2001/03/daml+oil#"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
  xml:base="http://www.co-ode.org/ontologies/pizza/2005/10/18/classified/pizza.owl">
  <owl:Ontology rdf:about="">
    <owl:versionInfo rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >classified</owl:versionInfo>
    <protege:defaultLanguage rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >en</protege:defaultLanguage>
    <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 rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >version 1.3</owl:versionInfo>
    <owl:imports rdf:resource="http://protege.stanford.edu/plugins/owl/protege"/>
  </owl:Ontology>
  <owl:Class rdf:ID="DomainConcept">
    <owl:disjointWith>
      <owl:Class rdf:ID="ValuePartition"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="FishTopping">
    <owl:disjointWith>
      <owl:Class rdf:ID="MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="FruitTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="HerbSpiceTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="SauceTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="VegetableTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="NutTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="CheeseTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="PizzaTopping"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDePeixe</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:ID="hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="SweetPepperTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="PepperTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="PeperonataTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDePimentaoDoce</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:ID="JalapenoPepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="GreenPepperTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="PrinceCarlo">
    <owl:disjointWith>
      <owl:Class rdf:ID="Soho"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="SloppyGiuseppe"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:ID="LeekTopping"/>
              <owl:Class rdf:ID="MozzarellaTopping"/>
              <owl:Class rdf:ID="ParmesanTopping"/>
              <owl:Class rdf:ID="RosemaryTopping"/>
              <owl:Class rdf:ID="TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="Caprina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#ParmesanTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaPrinceCarlo</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="InterestingPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="CheeseyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Cajun"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="FourSeasons"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Rosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Napoletana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#LeekTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="LaReine"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="QuattroFormaggi"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#RosemaryTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="NamedPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="Giardiniera"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="HotGreenPepperTopping">
    <rdfs:label xml:lang="pt">CoberturaDePimentaoVerdePicante</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="Hot"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#GreenPepperTopping"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="SpicyTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#FourSeasons">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="PeperoniSausageTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Caprina"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="AnchoviesTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Napoletana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#AnchoviesTopping"/>
              <owl:Class rdf:ID="CaperTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:ID="MushroomTopping"/>
              <owl:Class rdf:ID="OliveTopping"/>
              <owl:Class rdf:about="#PeperoniSausageTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InterestingPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">QuatroQueijos</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#OliveTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#CaperTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="MeatyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#QuattroFormaggi"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MushroomTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Cajun"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Soho"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Cajun">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="OnionTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="NonVegetarianPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OnionTopping"/>
              <owl:Class rdf:about="#PeperonataTopping"/>
              <owl:Class rdf:ID="PrawnsTopping"/>
              <owl:Class rdf:ID="TobascoPepperSauce"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Cajun</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#PrawnsTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="SpicyPizzaEquivalent"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Caprina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Soho"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TobascoPepperSauce"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Napoletana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#PeperonataTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseyPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InterestingPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#QuattroFormaggi"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="SpicyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#OliveTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="GarlicTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="AsparagusTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="PetitPoisTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeAzeitona</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:ID="ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LeekTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="RocketTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="SpinachTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#PetitPoisTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AsparagusTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#RocketTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LeekTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaPetitPois</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#GarlicTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Soho">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#RocketTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#QuattroFormaggi"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#InterestingPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#ParmesanTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Soho</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#Napoletana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Caprina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#GarlicTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#GarlicTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#ParmesanTopping"/>
              <owl:Class rdf:about="#RocketTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#SauceTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruitTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CheeseTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaEmMolho</rdfs:label>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#VegetableTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#NutTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="VegetarianTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#InterestingPizza">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Pizza"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">PizzaInteressante</rdfs:label>
    <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>
  <owl:Class rdf:ID="GorgonzolaTopping">
    <owl:disjointWith>
      <owl:Class rdf:ID="FourCheesesTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeGorgonzola</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#MozzarellaTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="GoatsCheeseTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#ParmesanTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#QuattroFormaggi">
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#FourCheesesTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#FourCheesesTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">QuatroQueijos</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#Caprina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Napoletana"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="IceCream">
    <owl:disjointWith>
      <owl:Class rdf:ID="PizzaBase"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Sorvete</rdfs:label>
    <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>
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Nothing"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Pizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#DomainConcept"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#FruitTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="SultanaTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="Medium"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaSultana</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#FruitTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#SpicyTopping">
    <rdfs:comment xml:lang="en">Any pizza topping that has spiciness Hot</rdfs:comment>
    <rdfs:label xml:lang="pt">CoberturaTemperada</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PizzaTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Hot">
    <rdfs:label xml:lang="pt">Picante</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mild"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="Spiciness"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Medium"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#PizzaTopping">
    <rdfs:label xml:lang="pt">CoberturaDaPizza</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaBase"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Pizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#DomainConcept"/>
    <owl:disjointWith rdf:resource="#IceCream"/>
  </owl:Class>
  <owl:Class rdf:about="#CheeseyPizza">
    <rdfs:comment xml:lang="en">Any pizza that has at least 1 cheese topping.</rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaComQueijo</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Pizza"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="MixedSeafoodTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#AnchoviesTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeFrutosDoMarMistos</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#PrawnsTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#FishTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#Caprina">
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Caprina</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="SundriedTomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#GoatsCheeseTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Napoletana"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#GoatsCheeseTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#SundriedTomatoTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Pizza">
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaBase"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#DomainConcept"/>
    <owl:disjointWith rdf:resource="#PizzaTopping"/>
    <rdfs:label xml:lang="en">Pizza</rdfs:label>
    <owl:disjointWith rdf:resource="#IceCream"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#PizzaBase"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:ID="hasBase"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Napoletana">
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#CaperTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#AnchoviesTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NamedPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NonVegetarianPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Napoletana</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#AnchoviesTopping"/>
              <owl:Class rdf:about="#CaperTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Fiorentina"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#NamedPizza">
    <rdfs:comment xml:lang="en">A pizza that can be found on a pizza menu</rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaComUmNome</rdfs:label>
    <rdfs:subClassOf rdf:resource="#Pizza"/>
  </owl:Class>
  <owl:Class rdf:about="#Fiorentina">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#SpinachTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#ParmesanTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#ParmesanTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#SpinachTopping"/>
              <owl:Class rdf:about="#GarlicTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Rosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#GarlicTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">Fiorentina</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#GarlicTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#RocketTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LeekTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeAlho</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#AsparagusTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Medium"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="PineKernels">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NutTopping"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaPineKernels</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#PeperonataTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Medium"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#SweetPepperTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PepperTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#JalapenoPepperTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaPeperonata</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#GreenPepperTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#AnchoviesTopping">
    <rdfs:label xml:lang="pt">CoberturaDeAnchovies</rdfs:label>
    <owl:disjointWith rdf:resource="#MixedSeafoodTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PrawnsTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#FishTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#CheeseTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#FruitTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeQueijo</rdfs:label>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#SauceTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#NutTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#VegetableTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#Rosa">
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:label xml:lang="pt">Rosa</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent1"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#GorgonzolaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#AmericanHot"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#GorgonzolaTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
  </owl:Class>
  <owl:Class rdf:about="#AmericanHot">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#MeatyPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#SpicyPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#SpicyPizzaEquivalent"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#HotGreenPepperTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">AmericanaPicante</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#PeperoniSausageTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#HotGreenPepperTopping"/>
              <owl:Class rdf:about="#JalapenoPepperTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#PeperoniSausageTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Siciliana"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#JalapenoPepperTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#AsparagusTopping">
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#RocketTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeAspargos</rdfs:label>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LeekTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Medium">
    <owl:disjointWith rdf:resource="#Hot"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mild"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Media</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Spiciness"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#GreenPepperTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#JalapenoPepperTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDePimentaoVerde</rdfs:label>
    <owl:disjointWith rdf:resource="#SweetPepperTopping"/>
    <owl:disjointWith rdf:resource="#PeperonataTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PepperTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#ParmesanTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#MozzarellaTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#GoatsCheeseTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeParmesao</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#FourCheesesTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#GorgonzolaTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#Siciliana">
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#GarlicTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#ArtichokeTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:label xml:lang="pt">Siciliana</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#AnchoviesTopping"/>
              <owl:Class rdf:about="#ArtichokeTopping"/>
              <owl:Class rdf:about="#GarlicTopping"/>
              <owl:Class rdf:ID="HamTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#MeatyPizza"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#AnchoviesTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#HamTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#LaReine"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
  </owl:Class>
  <owl:Class rdf:about="#GoatsCheeseTopping">
    <owl:disjointWith rdf:resource="#GorgonzolaTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FourCheesesTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeQueijoDeCabra  </rdfs:label>
    <owl:disjointWith rdf:resource="#ParmesanTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#MozzarellaTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#RocketTopping">
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaRocket</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Medium"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#LeekTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#VegetableTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruitTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#CheeseTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#NutTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeVegetais</rdfs:label>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#SauceTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#VegetarianPizzaEquivalent1">
    <rdfs:label xml:lang="pt">PizzaVegetarianaEquivalente1</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="VegetarianPizza"/>
    </rdfs:subClassOf>
    <rdfs:comment xml:lang="en">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</rdfs:comment>
    <owl:equivalentClass>
      <owl:Class rdf:about="#VegetarianPizzaEquivalent2"/>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#LeekTopping">
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeLeek</rdfs:label>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#MushroomTopping">
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeCogumelo</rdfs:label>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PepperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#PrawnsTopping">
    <owl:disjointWith rdf:resource="#MixedSeafoodTopping"/>
    <owl:disjointWith rdf:resource="#AnchoviesTopping"/>
    <rdfs:subClassOf rdf:resource="#FishTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeCamarao</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#PepperTopping">
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDePimentao</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#SpicyPizza">
    <owl:equivalentClass>
      <owl:Class rdf:about="#SpicyPizzaEquivalent"/>
    </owl:equivalentClass>
    <rdfs:comment xml:lang="en">Any pizza that has a spicy topping is a SpicyPizza</rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaTemperada</rdfs:label>
    <rdfs:subClassOf rdf:resource="#Pizza"/>
  </owl:Class>
  <owl:Class rdf:ID="CajunSpiceTopping">
    <rdfs:label xml:lang="pt">CoberturaDeCajun</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#Hot"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#SpicyTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#RosemaryTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#LaReine">
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#HamTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#MushroomTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SloppyGiuseppe"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <rdfs:label xml:lang="pt">LaReine</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#HamTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#MeatyPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MushroomTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#RosemaryTopping">
    <rdfs:label xml:lang="pt">CoberturaRosemary</rdfs:label>
    <owl:disjointWith rdf:resource="#CajunSpiceTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#VegetarianPizzaEquivalent2">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianPizza"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">PizzaVegetarianaEquivalente2</rdfs:label>
    <rdfs:comment xml:lang="en">An alternative to VegetarianPizzaEquiv1 that does not require a definition of VegetarianTopping. Perhaps more difficult to maintain. Not equivalent to VegetarianPizza </rdfs:comment>
    <owl:equivalentClass rdf:resource="#VegetarianPizzaEquivalent1"/>
  </owl:Class>
  <owl:Class rdf:about="#TobascoPepperSauce">
    <rdfs:subClassOf rdf:resource="#SpicyTopping"/>
    <rdfs:subClassOf rdf:resource="#SauceTopping"/>
    <rdfs:label xml:lang="pt">MolhoTobascoPepper</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Hot"/>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#MeatyPizza">
    <rdfs:label xml:lang="pt">PizzaDeCarne</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#NonVegetarianPizza"/>
    </rdfs:subClassOf>
    <rdfs:comment xml:lang="en">Any pizza that has at least one meat topping</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#ValuePartition">
    <owl:disjointWith rdf:resource="#DomainConcept"/>
    <rdfs:label xml:lang="pt">ValorDaParticao</rdfs:label>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >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.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#SloppyGiuseppe">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#SpicyPizzaEquivalent"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#GreenPepperTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#OnionTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#GreenPepperTopping"/>
              <owl:Class rdf:ID="HotSpicedBeefTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OnionTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">SloppyGiuseppe</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#MeatyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <rdfs:subClassOf rdf:resource="#SpicyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Veneziana"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#HotSpicedBeefTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
  </owl:Class>
  <owl:Class rdf:about="#CaperTopping">
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeCaper</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#Veneziana">
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent1"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#TomatoTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#SultanaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#CaperTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">Veneziana</rdfs:label>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#CaperTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#OnionTopping"/>
              <owl:Class rdf:about="#PineKernels"/>
              <owl:Class rdf:about="#SultanaTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#OnionTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Mushroom"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#PineKernels"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent2"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#MozzarellaTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
  </owl:Class>
  <owl:Class rdf:about="#VegetarianPizza">
    <rdfs:label xml:lang="pt">PizzaVegetariana</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#NonVegetarianPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#Pizza"/>
    <rdfs:comment xml:lang="en">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.</rdfs:comment>
  </owl:Class>
  <owl:Class rdf:about="#SpicyPizzaEquivalent">
    <rdfs:subClassOf rdf:resource="#Pizza"/>
    <owl:equivalentClass rdf:resource="#SpicyPizza"/>
    <rdfs:comment xml:lang="en">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. </rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaTemperadaEquivalente</rdfs:label>
  </owl:Class>
  <owl:Class rdf:ID="ThinAndCrispyBase">
    <owl:disjointWith>
      <owl:Class rdf:ID="DeepPanBase"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PizzaBase"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">BaseFinaEQuebradica</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#FruitTopping">
    <rdfs:label xml:lang="pt">CoberturaDeFrutas</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#CheeseTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#NutTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#SauceTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#TomatoTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#ArtichokeTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeTomate</rdfs:label>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#MozzarellaTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#ParmesanTopping"/>
    <owl:disjointWith rdf:resource="#GoatsCheeseTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeMozzarella</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:hasValue>
          <Country rdf:ID="Italy"/>
        </owl:hasValue>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasCountryOfOrigin"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
    <owl:disjointWith rdf:resource="#GorgonzolaTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FourCheesesTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="RealItalianPizza">
    <rdfs:comment xml:lang="en">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.</rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaItalianaReal</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom rdf:resource="#ThinAndCrispyBase"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasBase"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#Pizza"/>
  </owl:Class>
  <owl:Class rdf:ID="Country">
    <rdfs:subClassOf rdf:resource="#DomainConcept"/>
    <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>
    <rdfs:label xml:lang="pt">Pais</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#ArtichokeTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith rdf:resource="#TomatoTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpinachTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeArtichoke</rdfs:label>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#Mushroom">
    <owl:disjointWith>
      <owl:Class rdf:about="#American"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent2"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">Cogumelo</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#MushroomTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MushroomTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent1"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
  </owl:Class>
  <owl:Class rdf:about="#NutTopping">
    <owl:disjointWith rdf:resource="#SauceTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetarianTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#CheeseTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FruitTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDeCastanha</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#HerbSpiceTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#VegetableTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#American">
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <rdfs:subClassOf rdf:resource="#MeatyPizza"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#PeperoniSausageTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Capricciosa"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#PeperoniSausageTopping"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <rdfs:label xml:lang="pt">Americana</rdfs:label>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Capricciosa">
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#AnchoviesTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#HamTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">Capricciosa</rdfs:label>
    <rdfs:subClassOf rdf:resource="#MeatyPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Margherita"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#CaperTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#TomatoTopping"/>
              <owl:Class rdf:about="#HamTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#AnchoviesTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#PeperonataTopping"/>
              <owl:Class rdf:about="#CaperTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#American"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#PeperonataTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#NonVegetarianPizza">
    <rdfs:subClassOf rdf:resource="#Pizza"/>
    <rdfs:comment xml:lang="en">Any Pizza that is not a VegetarianPizza</rdfs:comment>
    <rdfs:label xml:lang="pt">PizzaNaoVegetariana</rdfs:label>
    <owl:disjointWith rdf:resource="#VegetarianPizza"/>
  </owl:Class>
  <owl:Class rdf:about="#SpinachTopping">
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#ArtichokeTopping"/>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeEspinafre</rdfs:label>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#OnionTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith rdf:resource="#TomatoTopping"/>
  </owl:Class>
  <owl:Class rdf:ID="RedOnionTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#OnionTopping"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDeCebolaVermelha</rdfs:label>
  </owl:Class>
  <owl:Class rdf:ID="ParmaHamTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#HamTopping"/>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDePrezuntoParma</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#JalapenoPepperTopping">
    <owl:disjointWith rdf:resource="#PeperonataTopping"/>
    <rdfs:subClassOf rdf:resource="#SpicyTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeJalapeno</rdfs:label>
    <owl:disjointWith rdf:resource="#GreenPepperTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#Hot"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#SweetPepperTopping"/>
    <rdfs:subClassOf rdf:resource="#PepperTopping"/>
  </owl:Class>
  <owl:Class rdf:ID="SlicedTomatoTopping">
    <rdfs:label xml:lang="pt">CoberturaDeTomateFatiado</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#SundriedTomatoTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#TomatoTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#Mild"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#VegetarianTopping">
    <rdfs:subClassOf rdf:resource="#PizzaTopping"/>
    <rdfs:comment xml:lang="en">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.</rdfs:comment>
    <rdfs:label xml:lang="pt">CoberturaVegetariana</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#Margherita">
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">Margherita</rdfs:label>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#American"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Parmense"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent2"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent1"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#HerbSpiceTopping">
    <rdfs:label xml:lang="pt">CoberturaDeErvas</rdfs:label>
    <owl:disjointWith rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#NutTopping"/>
    <owl:disjointWith rdf:resource="#CheeseTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#MeatTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FruitTopping"/>
    <rdfs:subClassOf rdf:resource="#VegetarianTopping"/>
    <owl:disjointWith rdf:resource="#SauceTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#Mild">
    <rdfs:label xml:lang="pt">NaoPicante</rdfs:label>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#Spiciness"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Hot"/>
    <owl:disjointWith rdf:resource="#Medium"/>
  </owl:Class>
  <owl:Class rdf:about="#MeatTopping">
    <owl:disjointWith rdf:resource="#FishTopping"/>
    <owl:disjointWith rdf:resource="#NutTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeCarne</rdfs:label>
    <owl:disjointWith rdf:resource="#FruitTopping"/>
    <owl:disjointWith rdf:resource="#SauceTopping"/>
    <owl:disjointWith rdf:resource="#CheeseTopping"/>
    <owl:disjointWith rdf:resource="#HerbSpiceTopping"/>
    <owl:disjointWith rdf:resource="#VegetableTopping"/>
    <rdfs:subClassOf rdf:resource="#PizzaTopping"/>
  </owl:Class>
  <owl:Class rdf:ID="CheeseyVegetableTopping">
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
    <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>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeQueijoComVegetais</rdfs:label>
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Nothing"/>
  </owl:Class>
  <owl:Class rdf:about="#PeperoniSausageTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#Medium"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#HamTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDeCalabreza</rdfs:label>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HotSpicedBeefTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="ChickenTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#Parmense">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#TomatoTopping"/>
              <owl:Class rdf:about="#AsparagusTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#ParmesanTopping"/>
              <owl:Class rdf:about="#HamTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#MeatyPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#ParmesanTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <owl:disjointWith rdf:resource="#Margherita"/>
    <owl:disjointWith rdf:resource="#American"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#HamTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:label xml:lang="pt">Parmense</rdfs:label>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#UnclosedPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#AsparagusTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#SundriedTomatoTopping">
    <owl:disjointWith rdf:resource="#SlicedTomatoTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Mild"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDeTomateRessecadoAoSol</rdfs:label>
    <rdfs:subClassOf rdf:resource="#TomatoTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#PizzaBase">
    <rdfs:subClassOf rdf:resource="#DomainConcept"/>
    <rdfs:label xml:lang="pt">BaseDaPizza</rdfs:label>
    <owl:disjointWith rdf:resource="#PizzaTopping"/>
    <owl:disjointWith rdf:resource="#Pizza"/>
    <owl:disjointWith rdf:resource="#IceCream"/>
  </owl:Class>
  <owl:Class rdf:about="#HamTopping">
    <owl:disjointWith rdf:resource="#PeperoniSausageTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#ChickenTopping"/>
    </owl:disjointWith>
    <rdfs:label xml:lang="pt">CoberturaDePresunto</rdfs:label>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HotSpicedBeefTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#UnclosedPizza">
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <owl:disjointWith rdf:resource="#Margherita"/>
    <owl:disjointWith rdf:resource="#American"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Soho"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Parmense"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <rdfs:label xml:lang="pt">PizzaAberta</rdfs:label>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#Giardiniera"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >An unclosed Pizza cannot be inferred to be either a VegetarianPizza or a NonVegetarianPizza, because it might have other toppings.</rdfs:comment>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
  </owl:Class>
  <owl:Class rdf:about="#Spiciness">
    <rdfs:subClassOf rdf:resource="#ValuePartition"/>
    <rdfs:comment xml:lang="en">A ValuePartition that describes only values from Hot, Medium or Mild. NB Subclasses can themselves be divided up into further partitions.</rdfs:comment>
    <rdfs:label xml:lang="pt">Tempero</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#Giardiniera">
    <owl:disjointWith>
      <owl:Class rdf:about="#PolloAdAstra"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent1"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#OliveTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#PetitPoisTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Margherita"/>
    <owl:disjointWith rdf:resource="#UnclosedPizza"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MushroomTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#PeperonataTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#VegetarianPizzaEquivalent2"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <rdfs:label xml:lang="pt">Giardiniera</rdfs:label>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#LeekTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#SlicedTomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <owl:disjointWith rdf:resource="#American"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#LeekTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#MushroomTopping"/>
              <owl:Class rdf:about="#OliveTopping"/>
              <owl:Class rdf:about="#PeperonataTopping"/>
              <owl:Class rdf:about="#PetitPoisTopping"/>
              <owl:Class rdf:about="#SlicedTomatoTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <owl:disjointWith rdf:resource="#Parmense"/>
  </owl:Class>
  <owl:Class rdf:about="#OnionTopping">
    <owl:disjointWith rdf:resource="#PetitPoisTopping"/>
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#RocketTopping"/>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <owl:disjointWith rdf:resource="#LeekTopping"/>
    <owl:disjointWith rdf:resource="#TomatoTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeCebola</rdfs:label>
    <owl:disjointWith rdf:resource="#OliveTopping"/>
    <owl:disjointWith rdf:resource="#GarlicTopping"/>
    <owl:disjointWith rdf:resource="#SpinachTopping"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Medium"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#AsparagusTopping"/>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#ArtichokeTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#ChickenTopping">
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
    <rdfs:label xml:lang="pt">CoberturaDeFrango</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#Mild"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#HotSpicedBeefTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#HamTopping"/>
    <owl:disjointWith rdf:resource="#PeperoniSausageTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#FourCheesesTopping">
    <rdfs:label xml:lang="pt">CoberturaQuatroQueijos</rdfs:label>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#Mild"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#GoatsCheeseTopping"/>
    <owl:disjointWith rdf:resource="#GorgonzolaTopping"/>
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
    <owl:disjointWith rdf:resource="#ParmesanTopping"/>
    <owl:disjointWith rdf:resource="#MozzarellaTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#HotSpicedBeefTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#Hot"/>
        <owl:onProperty>
          <owl:FunctionalProperty rdf:about="#hasSpiciness"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">CoberturaDeBifePicante</rdfs:label>
    <owl:disjointWith rdf:resource="#ChickenTopping"/>
    <owl:disjointWith rdf:resource="#PeperoniSausageTopping"/>
    <owl:disjointWith rdf:resource="#HamTopping"/>
    <rdfs:subClassOf rdf:resource="#SpicyTopping"/>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#PolloAdAstra">
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#SweetPepperTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <rdfs:subClassOf rdf:resource="#SpicyPizzaEquivalent"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">PolloAdAstra</rdfs:label>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#GarlicTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#FruttiDiMare"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#American"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#CajunSpiceTopping"/>
              <owl:Class rdf:about="#ChickenTopping"/>
              <owl:Class rdf:about="#GarlicTopping"/>
              <owl:Class rdf:about="#MozzarellaTopping"/>
              <owl:Class rdf:about="#RedOnionTopping"/>
              <owl:Class rdf:about="#SweetPepperTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf rdf:resource="#CheeseyPizza"/>
    <owl:disjointWith rdf:resource="#Giardiniera"/>
    <owl:disjointWith rdf:resource="#Parmense"/>
    <owl:disjointWith rdf:resource="#UnclosedPizza"/>
    <owl:disjointWith rdf:resource="#Margherita"/>
    <rdfs:subClassOf rdf:resource="#SpicyPizza"/>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#RedOnionTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#ChickenTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf rdf:resource="#MeatyPizza"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#CajunSpiceTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#LaReine"/>
  </owl:Class>
  <owl:Class rdf:about="#DeepPanBase">
    <owl:disjointWith rdf:resource="#ThinAndCrispyBase"/>
    <rdfs:subClassOf rdf:resource="#PizzaBase"/>
    <rdfs:label xml:lang="pt">BaseEspessa</rdfs:label>
  </owl:Class>
  <owl:Class rdf:about="#FruttiDiMare">
    <owl:disjointWith rdf:resource="#Parmense"/>
    <owl:disjointWith rdf:resource="#Mushroom"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <owl:disjointWith rdf:resource="#Siciliana"/>
    <owl:disjointWith rdf:resource="#Cajun"/>
    <owl:disjointWith rdf:resource="#Caprina"/>
    <owl:disjointWith rdf:resource="#Napoletana"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MixedSeafoodTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:label xml:lang="pt">FrutosDoMar</rdfs:label>
    <owl:disjointWith rdf:resource="#LaReine"/>
    <owl:disjointWith rdf:resource="#Rosa"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#Capricciosa"/>
    <owl:disjointWith rdf:resource="#Soho"/>
    <owl:disjointWith rdf:resource="#FourSeasons"/>
    <owl:disjointWith rdf:resource="#Margherita"/>
    <owl:disjointWith rdf:resource="#Veneziana"/>
    <owl:disjointWith rdf:resource="#Fiorentina"/>
    <rdfs:subClassOf rdf:resource="#InterestingPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#GarlicTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#American"/>
    <owl:disjointWith rdf:resource="#QuattroFormaggi"/>
    <owl:disjointWith rdf:resource="#AmericanHot"/>
    <rdfs:subClassOf rdf:resource="#NonVegetarianPizza"/>
    <owl:disjointWith rdf:resource="#PrinceCarlo"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
        <owl:allValuesFrom>
          <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
              <owl:Class rdf:about="#GarlicTopping"/>
              <owl:Class rdf:about="#MixedSeafoodTopping"/>
              <owl:Class rdf:about="#TomatoTopping"/>
            </owl:unionOf>
          </owl:Class>
        </owl:allValuesFrom>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#SloppyGiuseppe"/>
    <owl:disjointWith rdf:resource="#UnclosedPizza"/>
    <owl:disjointWith rdf:resource="#PolloAdAstra"/>
    <owl:disjointWith rdf:resource="#Giardiniera"/>
  </owl:Class>
  <owl:ObjectProperty rdf:about="#hasTopping">
    <owl:inverseOf>
      <owl:ObjectProperty rdf:ID="isToppingOf"/>
    </owl:inverseOf>
    <rdfs:domain rdf:resource="#Pizza"/>
    <rdfs:range rdf:resource="#PizzaTopping"/>
    <rdfs:subPropertyOf>
      <owl:TransitiveProperty rdf:ID="hasIngredient"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#isToppingOf">
    <rdfs:domain rdf:resource="#PizzaTopping"/>
    <owl:inverseOf rdf:resource="#hasTopping"/>
    <rdfs:subPropertyOf>
      <owl:ObjectProperty rdf:ID="isIngredientOf"/>
    </rdfs:subPropertyOf>
    <rdfs:range rdf:resource="#Pizza"/>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#isIngredientOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
    <owl:inverseOf>
      <owl:TransitiveProperty rdf:about="#hasIngredient"/>
    </owl:inverseOf>
    <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>
  </owl:ObjectProperty>
  <owl:TransitiveProperty rdf:about="#hasIngredient">
    <owl:inverseOf rdf:resource="#isIngredientOf"/>
    <rdfs:comment xml:lang="en">NB Transitive - the ingredients of ingredients are ingredients of the whole</rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:TransitiveProperty>
  <owl:FunctionalProperty rdf:ID="isBaseOf">
    <rdfs:range rdf:resource="#Pizza"/>
    <rdfs:subPropertyOf rdf:resource="#isIngredientOf"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <rdfs:domain rdf:resource="#PizzaBase"/>
    <owl:inverseOf>
      <owl:FunctionalProperty rdf:about="#hasBase"/>
    </owl:inverseOf>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:about="#hasSpiciness">
    <rdfs:range rdf:resource="#Spiciness"/>
    <rdfs:comment xml:lang="en">A property created to be used with the ValuePartition - Spiciness.</rdfs:comment>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:FunctionalProperty rdf:about="#hasBase">
    <rdfs:range rdf:resource="#PizzaBase"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#InverseFunctionalProperty"/>
    <owl:inverseOf rdf:resource="#isBaseOf"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <rdfs:domain rdf:resource="#Pizza"/>
    <rdfs:subPropertyOf rdf:resource="#hasIngredient"/>
  </owl:FunctionalProperty>
  <Country rdf:ID="England"/>
  <owl:AllDifferent>
    <owl:distinctMembers rdf:parseType="Collection">
      <Country rdf:ID="America"/>
      <Country rdf:about="#England"/>
      <Country rdf:ID="France"/>
      <Country rdf:ID="Germany"/>
      <Country rdf:about="#Italy"/>
    </owl:distinctMembers>
  </owl:AllDifferent>
</rdf:RDF>

<!-- Created with Protege (with OWL Plugin 2.2 beta, Build 286)  http://protege.stanford.edu -->
