]> my pizza ontolgy for the protege course FORCED REIFICATION OF THE XML FOR GOOGLE! "<" to nothing "/>" to nothing ">" to nothing ?xml version="1.0"? !DOCTYPE rdf:RDF [ !ENTITY owl "http://www.w3.org/2002/07/owl#" !ENTITY xsd "http://www.w3.org/2001/XMLSchema#" !ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" !ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" !ENTITY pizza "http://protege.stanford.edu/ontologies/pizza#" ] rdf:RDF xmlns="http://protege.stanford.edu/ontologies/shortcourse/pizza#" xml:base="http://protege.stanford.edu/ontologies/shortcourse/pizza" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:pizza="http://protege.stanford.edu/ontologies/pizza#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" owl:Ontology rdf:about="http://protege.stanford.edu/ontologies/shortcourse/pizza" rdfs:commentmy pizza ontolgy for the protege course FORCED REIFICATION OF THE XML FOR GOOGLE! /rdfs:comment owl:imports rdf:resource="http://protege.stanford.edu/ontologies/pizza/basicpizzas" owl:imports rdf:resource="http://protege.stanford.edu/ontologies/pizza/documentation" /owl:Ontology !-- /////////////////////////////////////////////////////////////////////////////////////// // // Annotation properties // /////////////////////////////////////////////////////////////////////////////////////// -- !-- /////////////////////////////////////////////////////////////////////////////////////// // // Datatypes // /////////////////////////////////////////////////////////////////////////////////////// -- !-- /////////////////////////////////////////////////////////////////////////////////////// // // Object Properties // /////////////////////////////////////////////////////////////////////////////////////// -- !-- http://protege.stanford.edu/ontologies/pizza#hasBase -- owl:ObjectProperty rdf:about="&pizza;hasBase" rdfs:subPropertyOf rdf:resource="&pizza;hasIngredient" /owl:ObjectProperty !-- http://protege.stanford.edu/ontologies/pizza#hasIngredient -- owl:ObjectProperty rdf:about="&pizza;hasIngredient" !-- http://protege.stanford.edu/ontologies/pizza#hasTopping -- owl:ObjectProperty rdf:about="&pizza;hasTopping" rdfs:domain rdf:resource="&pizza;Pizza" rdfs:range rdf:resource="&pizza;PizzaToppings" rdfs:subPropertyOf rdf:resource="&pizza;hasIngredient" /owl:ObjectProperty !-- /////////////////////////////////////////////////////////////////////////////////////// // // Data properties // /////////////////////////////////////////////////////////////////////////////////////// -- !-- http://protege.stanford.edu/ontologies/pizza#hasCalories -- owl:DatatypeProperty rdf:about="&pizza;hasCalories" !-- /////////////////////////////////////////////////////////////////////////////////////// // // Classes // /////////////////////////////////////////////////////////////////////////////////////// -- !-- http://protege.stanford.edu/ontologies/pizza#AmericanHotPizza -- rdf:Description rdf:about="&pizza;AmericanHotPizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:allValuesFrom owl:Class owl:unionOf rdf:parseType="Collection" rdf:Description rdf:about="&pizza;JalapenoPepperTopping" rdf:Description rdf:about="&pizza;MozzarellaTopping" rdf:Description rdf:about="&pizza;PepperoniTopping" rdf:Description rdf:about="&pizza;TomatoTopping" /owl:unionOf /owl:Class /owl:allValuesFrom /owl:Restriction /rdfs:subClassOf /rdf:Description !-- http://protege.stanford.edu/ontologies/pizza#AmericanPizza -- owl:Class rdf:about="&pizza;AmericanPizza" rdfs:subClassOf rdf:resource="&pizza;NamedPizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;PepperoniTopping" /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;CheeseTopping" /owl:Restriction /rdfs:subClassOf /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#AnchovyTopping -- owl:Class rdf:about="&pizza;AnchovyTopping" rdfs:subClassOf rdf:resource="&pizza;SeafoodTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#ArtichokeTopping -- owl:Class rdf:about="&pizza;ArtichokeTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#BeefTopping -- owl:Class rdf:about="&pizza;BeefTopping" rdfs:subClassOf rdf:resource="&pizza;MeatTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#CaperTopping -- owl:Class rdf:about="&pizza;CaperTopping" rdfs:subClassOf rdf:resource="&pizza;FruitTopping" owl:disjointWith rdf:resource="&pizza;SultanaTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#CheeseTopping -- owl:Class rdf:about="&pizza;CheeseTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#CheesyPizza -- owl:Class rdf:about="&pizza;CheesyPizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;CheeseTopping" /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#FattyPizza -- owl:Class rdf:about="&pizza;FattyPizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minExclusive rdf:datatype="&xsd;integer"900/xsd:minExclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#FontalTopping -- owl:Class rdf:about="&pizza;FontalTopping" rdfs:subClassOf rdf:resource="&pizza;CheeseTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#FruitTopping -- owl:Class rdf:about="&pizza;FruitTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#GarlicTopping -- owl:Class rdf:about="&pizza;GarlicTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#GiardinieraPizza -- rdf:Description rdf:about="&pizza;GiardinieraPizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minInclusive rdf:datatype="&xsd;integer"841/xsd:minInclusive /rdf:Description rdf:Description xsd:maxInclusive rdf:datatype="&xsd;integer"970/xsd:maxInclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:allValuesFrom owl:Class owl:unionOf rdf:parseType="Collection" rdf:Description rdf:about="&pizza;ArtichokeTopping" rdf:Description rdf:about="&pizza;GarlicTopping" rdf:Description rdf:about="&pizza;MushroomTopping" rdf:Description rdf:about="&pizza;OliveTopping" rdf:Description rdf:about="&pizza;RedPepperTopping" rdf:Description rdf:about="&pizza;TomatoTopping" /owl:unionOf /owl:Class /owl:allValuesFrom /owl:Restriction /rdfs:subClassOf /rdf:Description !-- http://protege.stanford.edu/ontologies/pizza#GorgonzolaTopping -- owl:Class rdf:about="&pizza;GorgonzolaTopping" rdfs:subClassOf rdf:resource="&pizza;CheeseTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#GranaPadanoTopping -- owl:Class rdf:about="&pizza;GranaPadanoTopping" rdfs:subClassOf rdf:resource="&pizza;CheeseTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#GreenPepperTopping -- owl:Class rdf:about="&pizza;GreenPepperTopping" rdfs:subClassOf rdf:resource="&pizza;PepperTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#HIGHCaloriePizza -- owl:Class rdf:about="&pizza;HIGHCaloriePizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minExclusive rdf:datatype="&xsd;integer"800/xsd:minExclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#HamTopping -- owl:Class rdf:about="&pizza;HamTopping" rdfs:subClassOf rdf:resource="&pizza;MeatTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#HotSpicedBeefTopping -- owl:Class rdf:about="&pizza;HotSpicedBeefTopping" rdfs:subClassOf rdf:resource="&pizza;BeefTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#JalapenoPepperTopping -- owl:Class rdf:about="&pizza;JalapenoPepperTopping" rdfs:subClassOf rdf:resource="&pizza;PepperTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#LowCaloriePizza -- owl:Class rdf:about="&pizza;LowCaloriePizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:maxExclusive rdf:datatype="&xsd;integer"700/xsd:maxExclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MargheritaPizza -- owl:Class rdf:about="&pizza;MargheritaPizza" rdfs:subClassOf rdf:resource="&pizza;NamedPizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:allValuesFrom owl:Class owl:unionOf rdf:parseType="Collection" rdf:Description rdf:about="&pizza;MozzarellaTopping" rdf:Description rdf:about="&pizza;TomatoTopping" /owl:unionOf /owl:Class /owl:allValuesFrom /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Class owl:complementOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;MeatTopping" /owl:Restriction /owl:complementOf /owl:Class /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;MozzarellaTopping" /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minInclusive rdf:datatype="&xsd;integer"650/xsd:minInclusive /rdf:Description rdf:Description xsd:maxInclusive rdf:datatype="&xsd;integer"670/xsd:maxInclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;TomatoTopping" /owl:Restriction /rdfs:subClassOf /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MeatTopping -- owl:Class rdf:about="&pizza;MeatTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MeatyPizza -- owl:Class rdf:about="&pizza;MeatyPizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;MeatTopping" /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MediumcaloriePizza -- owl:Class rdf:about="&pizza;MediumcaloriePizza" owl:equivalentClass owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minInclusive rdf:datatype="&xsd;integer"700/xsd:minInclusive /rdf:Description rdf:Description xsd:maxInclusive rdf:datatype="&xsd;integer"800/xsd:maxInclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MozzarellaTopping -- owl:Class rdf:about="&pizza;MozzarellaTopping" rdfs:subClassOf rdf:resource="&pizza;CheeseTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#MushroomTopping -- owl:Class rdf:about="&pizza;MushroomTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#NamedPizza -- owl:Class rdf:about="&pizza;NamedPizza" rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#NonMeatyPizza -- owl:Class rdf:about="&pizza;NonMeatyPizza" owl:equivalentClass owl:Class owl:intersectionOf rdf:parseType="Collection" rdf:Description rdf:about="&pizza;Pizza" owl:Class owl:complementOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;MeatTopping" /owl:Restriction /owl:complementOf /owl:Class /owl:intersectionOf /owl:Class /owl:equivalentClass rdfs:subClassOf rdf:resource="&pizza;Pizza" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#OliveTopping -- owl:Class rdf:about="&pizza;OliveTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#OnionTopping -- owl:Class rdf:about="&pizza;OnionTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#ParmesanTopping -- owl:Class rdf:about="&pizza;ParmesanTopping" rdfs:subClassOf rdf:resource="&pizza;CheeseTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#PepperTopping -- owl:Class rdf:about="&pizza;PepperTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#PepperoniTopping -- owl:Class rdf:about="&pizza;PepperoniTopping" rdfs:subClassOf rdf:resource="&pizza;MeatTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#PineKernelTopping -- owl:Class rdf:about="&pizza;PineKernelTopping" rdfs:subClassOf rdf:resource="&pizza;SeedTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#Pizza -- owl:Class rdf:about="&pizza;Pizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdf:resource="&xsd;integer" /owl:Restriction /rdfs:subClassOf rdfs:commenttop level class for pizza/rdfs:comment /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#PizzaBase -- owl:Class rdf:about="&pizza;PizzaBase" !-- http://protege.stanford.edu/ontologies/pizza#PizzaToppings -- owl:Class rdf:about="&pizza;PizzaToppings" !-- http://protege.stanford.edu/ontologies/pizza#QuattroFormaggiPizza -- rdf:Description rdf:about="&pizza;QuattroFormaggiPizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:maxInclusive rdf:datatype="&xsd;integer"870/xsd:maxInclusive /rdf:Description rdf:Description xsd:minInclusive rdf:datatype="&xsd;integer"840/xsd:minInclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /rdfs:subClassOf /rdf:Description !-- http://protege.stanford.edu/ontologies/pizza#RedOnionTopping -- owl:Class rdf:about="&pizza;RedOnionTopping" rdfs:subClassOf rdf:resource="&pizza;OnionTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#RedPepperTopping -- owl:Class rdf:about="&pizza;RedPepperTopping" rdfs:subClassOf rdf:resource="&pizza;PepperTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#RocketTopping -- owl:Class rdf:about="&pizza;RocketTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#SeafoodTopping -- owl:Class rdf:about="&pizza;SeafoodTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#SeedTopping -- owl:Class rdf:about="&pizza;SeedTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#SloppyGiueseppePizza -- rdf:Description rdf:about="&pizza;SloppyGiueseppePizza" rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasCalories" owl:someValuesFrom rdfs:Datatype owl:onDatatype rdf:resource="&xsd;integer" owl:withRestrictions rdf:parseType="Collection" rdf:Description xsd:minInclusive rdf:datatype="&xsd;integer"760/xsd:minInclusive /rdf:Description rdf:Description xsd:maxInclusive rdf:datatype="&xsd;integer"780/xsd:maxInclusive /rdf:Description /owl:withRestrictions /rdfs:Datatype /owl:someValuesFrom /owl:Restriction /rdfs:subClassOf /rdf:Description !-- http://protege.stanford.edu/ontologies/pizza#SohoPizza -- owl:Class rdf:about="&pizza;SohoPizza" rdfs:subClassOf rdf:resource="&pizza;NamedPizza" rdfs:subClassOf owl:Class owl:intersectionOf rdf:parseType="Collection" owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;CheeseTopping" /owl:Restriction owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;PepperoniTopping" /owl:Restriction /owl:intersectionOf /owl:Class /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;MozzarellaTopping" /owl:Restriction /rdfs:subClassOf rdfs:subClassOf owl:Restriction owl:onProperty rdf:resource="&pizza;hasTopping" owl:someValuesFrom rdf:resource="&pizza;TomatoTopping" /owl:Restriction /rdfs:subClassOf /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#SpinachTopping -- owl:Class rdf:about="&pizza;SpinachTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#SultanaTopping -- owl:Class rdf:about="&pizza;SultanaTopping" rdfs:subClassOf rdf:resource="&pizza;FruitTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#TomatoTopping -- owl:Class rdf:about="&pizza;TomatoTopping" rdfs:subClassOf rdf:resource="&pizza;VegetableTopping" /owl:Class !-- http://protege.stanford.edu/ontologies/pizza#VegetableTopping -- owl:Class rdf:about="&pizza;VegetableTopping" rdfs:subClassOf rdf:resource="&pizza;PizzaToppings" /owl:Class !-- /////////////////////////////////////////////////////////////////////////////////////// // // General axioms // /////////////////////////////////////////////////////////////////////////////////////// -- rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;ArtichokeTopping" rdf:Description rdf:about="&pizza;GarlicTopping" rdf:Description rdf:about="&pizza;MushroomTopping" rdf:Description rdf:about="&pizza;OliveTopping" rdf:Description rdf:about="&pizza;OnionTopping" rdf:Description rdf:about="&pizza;PepperTopping" rdf:Description rdf:about="&pizza;RocketTopping" rdf:Description rdf:about="&pizza;SpinachTopping" rdf:Description rdf:about="&pizza;TomatoTopping" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;FontalTopping" rdf:Description rdf:about="&pizza;GorgonzolaTopping" rdf:Description rdf:about="&pizza;GranaPadanoTopping" rdf:Description rdf:about="&pizza;MozzarellaTopping" rdf:Description rdf:about="&pizza;ParmesanTopping" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;Pizza" rdf:Description rdf:about="&pizza;PizzaBase" rdf:Description rdf:about="&pizza;PizzaToppings" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;BeefTopping" rdf:Description rdf:about="&pizza;HamTopping" rdf:Description rdf:about="&pizza;PepperoniTopping" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;GreenPepperTopping" rdf:Description rdf:about="&pizza;JalapenoPepperTopping" rdf:Description rdf:about="&pizza;RedPepperTopping" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;AmericanHotPizza" rdf:Description rdf:about="&pizza;AmericanPizza" rdf:Description rdf:about="&pizza;FiorentinaPizza" rdf:Description rdf:about="&pizza;FourSeasonsPizza" rdf:Description rdf:about="&pizza;GiardinieraPizza" rdf:Description rdf:about="&pizza;LaReinePizza" rdf:Description rdf:about="&pizza;MargheritaPizza" rdf:Description rdf:about="&pizza;QuattroFormaggiPizza" rdf:Description rdf:about="&pizza;SloppyGiueseppePizza" rdf:Description rdf:about="&pizza;SohoPizza" rdf:Description rdf:about="&pizza;VenezianaPizza" /owl:members /rdf:Description rdf:Description rdf:type rdf:resource="&owl;AllDisjointClasses" owl:members rdf:parseType="Collection" rdf:Description rdf:about="&pizza;CheeseTopping" rdf:Description rdf:about="&pizza;FruitTopping" rdf:Description rdf:about="&pizza;MeatTopping" rdf:Description rdf:about="&pizza;SeafoodTopping" rdf:Description rdf:about="&pizza;SeedTopping" rdf:Description rdf:about="&pizza;VegetableTopping" /owl:members /rdf:Description /rdf:RDF !-- Generated by the OWL API (version 3.2.3.22702) http://owlapi.sourceforge.net -- 900 841 970 800 700 650 670 700 800 top level class for pizza 870 840 760 780