<?xml version="1.0"?>
<rdf:RDF
    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="http://www.owl-ontologies.com/unnamed.owl#"
  xml:base="http://www.owl-ontologies.com/unnamed.owl">
  <owl:Ontology rdf:about=""/>
  <owl:Class rdf:ID="ThinAndCrispyBase">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="PizzaBase"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="DeepPanBase"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="OnionTopping">
    <owl:disjointWith>
      <owl:Class rdf:ID="OliveTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="PepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="CaperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="VegetableTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#PepperTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#CaperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OliveTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OnionTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="TunaTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="SeafoodTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="AnchovyTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="PrawnTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:ID="AmericanHotPizza">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="NamedPizza"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="PepperoniTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="JalapenoPepperTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:ID="MozzarellaTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="MargheritaPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="SohoPizza"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="AmericanaPizza"/>
    </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:Class>
  <owl:Class rdf:ID="InconsistentTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:ID="CheeseTopping"/>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#PepperoniTopping">
    <owl:disjointWith>
      <owl:Class rdf:ID="SalamiTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:ID="HamTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="MeatTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="SpicyBeefTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#MeatTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#CheeseTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SeafoodTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:ID="PizzaTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#VegetableTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#AnchovyTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#PrawnTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#TunaTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#SeafoodTopping"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#JalapenoPepperTopping">
    <owl:disjointWith>
      <owl:Class rdf:ID="RedPepperTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#PepperTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:ID="GreenPepperTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#CaperTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#MushroomTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OliveTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#OnionTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#SeafoodTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#CheeseTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PizzaTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#MeatTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#VegetableTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#MozzarellaTopping">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:onProperty>
          <owl:ObjectProperty rdf:ID="hasCountryOfOrigin"/>
        </owl:onProperty>
        <owl:hasValue>
          <Country rdf:ID="Italy">
            <owl:differentFrom>
              <Country rdf:ID="America">
                <owl:differentFrom rdf:resource="#Italy"/>
                <owl:differentFrom>
                  <Country rdf:ID="England">
                    <owl:differentFrom>
                      <Country rdf:ID="France">
                        <owl:differentFrom rdf:resource="#America"/>
                        <owl:differentFrom>
                          <Country rdf:ID="Germany">
                            <owl:differentFrom rdf:resource="#Italy"/>
                            <owl:differentFrom rdf:resource="#England"/>
                            <owl:differentFrom rdf:resource="#France"/>
                            <owl:differentFrom rdf:resource="#America"/>
                          </Country>
                        </owl:differentFrom>
                        <owl:differentFrom rdf:resource="#Italy"/>
                        <owl:differentFrom rdf:resource="#England"/>
                      </Country>
                    </owl:differentFrom>
                    <owl:differentFrom rdf:resource="#America"/>
                    <owl:differentFrom rdf:resource="#Italy"/>
                    <owl:differentFrom rdf:resource="#Germany"/>
                  </Country>
                </owl:differentFrom>
                <owl:differentFrom rdf:resource="#France"/>
                <owl:differentFrom rdf:resource="#Germany"/>
              </Country>
            </owl:differentFrom>
            <owl:differentFrom rdf:resource="#Germany"/>
            <owl:differentFrom rdf:resource="#France"/>
            <owl:differentFrom rdf:resource="#England"/>
          </Country>
        </owl:hasValue>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#CheeseTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:ID="ParmezanTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#DeepPanBase">
    <owl:disjointWith rdf:resource="#ThinAndCrispyBase"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#PizzaBase"/>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#SalamiTopping">
    <owl:disjointWith rdf:resource="#PepperoniTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HamTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#SpicyBeefTopping"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#SpicyBeefTopping">
    <owl:disjointWith rdf:resource="#SalamiTopping"/>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#HamTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#PepperoniTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#MushroomTopping">
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#TomatoTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#OliveTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#OnionTopping"/>
  </owl:Class>
  <owl:Class rdf:ID="Country">
    <owl:equivalentClass>
      <owl:Class>
        <owl:oneOf rdf:parseType="Collection">
          <Country rdf:about="#America"/>
          <Country rdf:about="#England"/>
          <Country rdf:about="#France"/>
          <Country rdf:about="#Germany"/>
          <Country rdf:about="#Italy"/>
        </owl:oneOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#HamTopping">
    <owl:disjointWith rdf:resource="#PepperoniTopping"/>
    <rdfs:subClassOf rdf:resource="#MeatTopping"/>
    <owl:disjointWith rdf:resource="#SalamiTopping"/>
    <owl:disjointWith rdf:resource="#SpicyBeefTopping"/>
  </owl:Class>
  <owl:Class rdf:ID="Pizza">
    <rdfs:subClassOf rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaTopping"/>
    </owl:disjointWith>
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaBase"/>
    </owl:disjointWith>
    <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="#TomatoTopping">
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
    <rdfs:subClassOf>
      <owl:Class rdf:about="#VegetableTopping"/>
    </rdfs:subClassOf>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#OliveTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#OnionTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#NamedPizza">
    <rdfs:subClassOf rdf:resource="#Pizza"/>
  </owl:Class>
  <owl:Class rdf:about="#AmericanaPizza">
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#TomatoTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#MargheritaPizza"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#AmericanHotPizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#SohoPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#PepperoniTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:ID="CheesyPizza">
    <owl:equivalentClass>
      <owl:Class>
        <owl:intersectionOf rdf:parseType="Collection">
          <owl:Restriction>
            <owl:someValuesFrom>
              <owl:Class rdf:about="#CheeseTopping"/>
            </owl:someValuesFrom>
            <owl:onProperty>
              <owl:ObjectProperty rdf:about="#hasTopping"/>
            </owl:onProperty>
          </owl:Restriction>
          <owl:Class rdf:about="#Pizza"/>
        </owl:intersectionOf>
      </owl:Class>
    </owl:equivalentClass>
  </owl:Class>
  <owl:Class rdf:about="#PizzaTopping">
    <owl:disjointWith rdf:resource="#Pizza"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#PizzaBase"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#PizzaBase">
    <owl:disjointWith rdf:resource="#PizzaTopping"/>
    <owl:disjointWith rdf:resource="#Pizza"/>
  </owl:Class>
  <owl:Class rdf:about="#GreenPepperTopping">
    <owl:disjointWith>
      <owl:Class rdf:about="#RedPepperTopping"/>
    </owl:disjointWith>
    <owl:disjointWith rdf:resource="#JalapenoPepperTopping"/>
    <rdfs:subClassOf rdf:resource="#PepperTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#SohoPizza">
    <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 rdf:resource="#AmericanHotPizza"/>
    <owl:disjointWith rdf:resource="#AmericanaPizza"/>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#OliveTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
    <owl:disjointWith>
      <owl:Class rdf:about="#MargheritaPizza"/>
    </owl:disjointWith>
    <rdfs:subClassOf>
      <owl:Restriction>
        <owl:someValuesFrom>
          <owl:Class rdf:about="#ParmezanTopping"/>
        </owl:someValuesFrom>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:Class rdf:about="#VegetableTopping">
    <rdfs:subClassOf rdf:resource="#PizzaTopping"/>
    <owl:disjointWith rdf:resource="#MeatTopping"/>
    <owl:disjointWith rdf:resource="#SeafoodTopping"/>
    <owl:disjointWith>
      <owl:Class rdf:about="#CheeseTopping"/>
    </owl:disjointWith>
  </owl:Class>
  <owl:Class rdf:about="#CheeseTopping">
    <rdfs:subClassOf rdf:resource="#PizzaTopping"/>
    <owl:disjointWith rdf:resource="#SeafoodTopping"/>
    <owl:disjointWith rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#MeatTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#PrawnTopping">
    <rdfs:subClassOf rdf:resource="#SeafoodTopping"/>
    <owl:disjointWith rdf:resource="#TunaTopping"/>
    <owl:disjointWith rdf:resource="#AnchovyTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#OliveTopping">
    <rdfs:subClassOf rdf:resource="#VegetableTopping"/>
    <owl:disjointWith rdf:resource="#CaperTopping"/>
    <owl:disjointWith rdf:resource="#OnionTopping"/>
    <owl:disjointWith rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#TomatoTopping"/>
    <owl:disjointWith rdf:resource="#MushroomTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#ParmezanTopping">
    <rdfs:subClassOf rdf:resource="#CheeseTopping"/>
    <owl:disjointWith rdf:resource="#MozzarellaTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#RedPepperTopping">
    <rdfs:subClassOf rdf:resource="#PepperTopping"/>
    <owl:disjointWith rdf:resource="#GreenPepperTopping"/>
    <owl:disjointWith rdf:resource="#JalapenoPepperTopping"/>
  </owl:Class>
  <owl:Class rdf:about="#MargheritaPizza">
    <owl:disjointWith rdf:resource="#SohoPizza"/>
    <rdfs:subClassOf rdf:resource="#NamedPizza"/>
    <rdfs:comment rdf:datatype="http://www.w3.org/2001/XMLSchema#string"
    >A pizza that only has Mozarella and Tomato toppings</rdfs:comment>
    <owl:disjointWith rdf:resource="#AmericanHotPizza"/>
    <owl:disjointWith rdf:resource="#AmericanaPizza"/>
    <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="#MozzarellaTopping"/>
        <owl:onProperty>
          <owl:ObjectProperty rdf:about="#hasTopping"/>
        </owl:onProperty>
      </owl:Restriction>
    </rdfs:subClassOf>
  </owl:Class>
  <owl:ObjectProperty rdf:ID="isToppingOf">
    <rdfs:subPropertyOf>
      <owl:TransitiveProperty rdf:ID="isIngredientOf"/>
    </rdfs:subPropertyOf>
    <rdfs:range rdf:resource="#Pizza"/>
    <rdfs:domain rdf:resource="#PizzaTopping"/>
    <owl:inverseOf>
      <owl:ObjectProperty rdf:about="#hasTopping"/>
    </owl:inverseOf>
  </owl:ObjectProperty>
  <owl:ObjectProperty rdf:about="#hasTopping">
    <rdfs:range rdf:resource="#PizzaTopping"/>
    <owl:inverseOf rdf:resource="#isToppingOf"/>
    <rdfs:domain rdf:resource="#Pizza"/>
    <rdfs:subPropertyOf>
      <owl:TransitiveProperty rdf:ID="hasIngredient"/>
    </rdfs:subPropertyOf>
  </owl:ObjectProperty>
  <owl:TransitiveProperty rdf:about="#hasIngredient">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <owl:inverseOf>
      <owl:TransitiveProperty rdf:about="#isIngredientOf"/>
    </owl:inverseOf>
  </owl:TransitiveProperty>
  <owl:TransitiveProperty rdf:about="#isIngredientOf">
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
    <owl:inverseOf rdf:resource="#hasIngredient"/>
  </owl:TransitiveProperty>
  <owl:FunctionalProperty rdf:about="#hasBase">
    <owl:inverseOf>
      <owl:InverseFunctionalProperty rdf:ID="isBaseOf"/>
    </owl:inverseOf>
    <rdfs:subPropertyOf rdf:resource="#hasIngredient"/>
    <rdfs:domain rdf:resource="#Pizza"/>
    <rdfs:range rdf:resource="#PizzaBase"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:FunctionalProperty>
  <owl:InverseFunctionalProperty rdf:about="#isBaseOf">
    <rdfs:range rdf:resource="#Pizza"/>
    <rdfs:subPropertyOf rdf:resource="#isIngredientOf"/>
    <rdfs:domain rdf:resource="#PizzaBase"/>
    <owl:inverseOf rdf:resource="#hasBase"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
  </owl:InverseFunctionalProperty>
</rdf:RDF>

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