# # Copyright World Wide Web Consortium, (Massachusetts Institute of # Technology, European Research Consortium for Informatics and # Mathematics, Keio University). # # All Rights Reserved. # # Please see the full Copyright clause at # # # Author: # # Description: # # food example taken from the guide # rdf:type owl:Ontology . rdfs:comment "\n\n Derived from the DAML Wine ontology at \n\n http://ontolingua.stanford.edu/doc/chimaera/ontologies/wines.daml\n\n Substantially modified.\n\n " . first:ConsumableThing rdf:type owl:Class . first:NonConsumableThing rdf:type owl:Class . first:NonConsumableThing owl:complementOf first:ConsumableThing . first:EdibleThing rdf:type owl:Class . first:EdibleThing rdfs:subClassOf first:ConsumableThing . first:PotableLiquid rdf:type owl:Class . first:PotableLiquid rdfs:subClassOf first:ConsumableThing . first:PotableLiquid owl:disjointWith first:EdibleThing . first:Wine rdf:type owl:Class . first:Wine owl:equivalentClass vin:Wine . first:hasDrink rdf:type owl:ObjectProperty . first:hasDrink rdfs:domain first:MealCourse . first:hasDrink rdfs:range first:Wine . first:White rdf:type owl:Thing . first:White owl:sameIndividualAs vin:White . first:Rose rdf:type owl:Thing . first:Rose owl:sameIndividualAs vin:Rose . first:Red rdf:type owl:Thing . first:Red owl:sameIndividualAs vin:Red . first:Sweet rdf:type owl:Thing . first:Sweet owl:sameIndividualAs vin:Sweet . first:OffDry rdf:type owl:Thing . first:OffDry owl:sameIndividualAs vin:OffDry . first:Dry rdf:type owl:Thing . first:Dry owl:sameIndividualAs vin:Dry . first:Delicate rdf:type owl:Thing . first:Delicate owl:sameIndividualAs vin:Delicate . first:Moderate rdf:type owl:Thing . first:Moderate owl:sameIndividualAs vin:Moderate . first:Strong rdf:type owl:Thing . first:Strong owl:sameIndividualAs vin:Strong . first:Light rdf:type owl:Thing . first:Light owl:sameIndividualAs vin:Light . first:Medium rdf:type owl:Thing . first:Medium owl:sameIndividualAs vin:Medium . first:Full rdf:type owl:Thing . first:Full owl:sameIndividualAs vin:Full . first:course rdf:type owl:ObjectProperty . first:course rdfs:domain first:Meal . first:course rdfs:range first:MealCourse . first:Grape rdf:type owl:Class . first:Grape rdfs:subClassOf first:SweetFruit . first:Pasta rdf:type owl:Class . first:Pasta rdfs:subClassOf first:EdibleThing . first:Pasta owl:disjointWith first:Meat . first:Pasta owl:disjointWith first:Fowl . first:Pasta owl:disjointWith first:Seafood . first:Pasta owl:disjointWith first:Dessert . first:Pasta owl:disjointWith first:Fruit . first:PastaWithWhiteSauce rdf:type owl:Class . first:PastaWithWhiteSauce rdfs:subClassOf first:Pasta . first:PastaWithWhiteSauce owl:disjointWith first:PastaWithRedSauce . first:PastaWithSpicyRedSauceCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:a rdf:type owl:Restriction . _:a owl:onProperty first:hasFood . _:a owl:allValuesFrom first:PastaWithSpicyRedSauce . _:b rdf:first _:a . _:b rdf:rest rdf:nil . _:b rdf:type rdf:List . _:c rdf:first first:MealCourse . _:c rdf:rest _:b . _:c rdf:type rdf:List . first:PastaWithSpicyRedSauceCourse owl:intersectionOf _:c . _:d rdf:type owl:Restriction . _:d owl:onProperty first:hasDrink . _:e rdf:type owl:Restriction . _:e owl:onProperty vin:hasColor . _:e owl:hasValue first:Red . _:d owl:allValuesFrom _:e . first:PastaWithSpicyRedSauceCourse rdfs:subClassOf _:d . _:f rdf:type owl:Restriction . _:f owl:onProperty first:hasDrink . _:g rdf:type owl:Restriction . _:g owl:onProperty vin:hasBody . _:g owl:hasValue first:Full . _:f owl:allValuesFrom _:g . first:PastaWithSpicyRedSauceCourse rdfs:subClassOf _:f . _:h rdf:type owl:Restriction . _:h owl:onProperty first:hasDrink . _:i rdf:type owl:Restriction . _:i owl:onProperty vin:hasFlavor . _:i owl:hasValue first:Strong . _:h owl:allValuesFrom _:i . first:PastaWithSpicyRedSauceCourse rdfs:subClassOf _:h . _:j rdf:type owl:Restriction . _:j owl:onProperty first:hasDrink . _:k rdf:type owl:Restriction . _:k owl:onProperty vin:hasSugar . _:k owl:hasValue first:Dry . _:j owl:allValuesFrom _:k . first:PastaWithSpicyRedSauceCourse rdfs:subClassOf _:j . first:PastaWithSpicyRedSauce rdf:type owl:Class . first:PastaWithSpicyRedSauce rdfs:subClassOf first:PastaWithRedSauce . first:PastaWithRedSauce rdf:type owl:Class . first:PastaWithRedSauce rdfs:subClassOf first:Pasta . first:PastaWithNonSpicyRedSauceCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:l rdf:type owl:Restriction . _:l owl:onProperty first:hasFood . _:l owl:allValuesFrom first:PastaWithNonSpicyRedSauce . _:m rdf:first _:l . _:m rdf:rest rdf:nil . _:m rdf:type rdf:List . _:n rdf:first first:MealCourse . _:n rdf:rest _:m . _:n rdf:type rdf:List . first:PastaWithNonSpicyRedSauceCourse owl:intersectionOf _:n . _:o rdf:type owl:Restriction . _:o owl:onProperty first:hasDrink . _:p rdf:type owl:Restriction . _:p owl:onProperty vin:hasColor . _:p owl:hasValue first:Red . _:o owl:allValuesFrom _:p . first:PastaWithNonSpicyRedSauceCourse rdfs:subClassOf _:o . _:q rdf:type owl:Restriction . _:q owl:onProperty first:hasDrink . _:r rdf:type owl:Restriction . _:r owl:onProperty vin:hasBody . _:r owl:hasValue first:Medium . _:q owl:allValuesFrom _:r . first:PastaWithNonSpicyRedSauceCourse rdfs:subClassOf _:q . _:s rdf:type owl:Restriction . _:s owl:onProperty first:hasDrink . _:t rdf:type owl:Restriction . _:t owl:onProperty vin:hasFlavor . _:t owl:hasValue first:Moderate . _:s owl:allValuesFrom _:t . first:PastaWithNonSpicyRedSauceCourse rdfs:subClassOf _:s . _:u rdf:type owl:Restriction . _:u owl:onProperty first:hasDrink . _:v rdf:type owl:Restriction . _:v owl:onProperty vin:hasSugar . _:v owl:hasValue first:Dry . _:u owl:allValuesFrom _:v . first:PastaWithNonSpicyRedSauceCourse rdfs:subClassOf _:u . first:PastaWithNonSpicyRedSauce rdf:type owl:Class . first:PastaWithNonSpicyRedSauce rdfs:subClassOf first:PastaWithRedSauce . first:PastaWithNonSpicyRedSauce owl:disjointWith first:PastaWithSpicyRedSauce . first:PastaWithLightCreamSauce rdf:type owl:Class . first:PastaWithLightCreamSauce rdfs:subClassOf first:PastaWithWhiteSauce . first:PastaWithLightCreamSauce owl:disjointWith first:PastaWithHeavyCreamSauce . first:PastaWithLightCreamCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:w rdf:type owl:Restriction . _:w owl:onProperty first:hasFood . _:w owl:allValuesFrom first:PastaWithLightCreamSauce . _:x rdf:first _:w . _:x rdf:rest rdf:nil . _:x rdf:type rdf:List . _:y rdf:first first:MealCourse . _:y rdf:rest _:x . _:y rdf:type rdf:List . first:PastaWithLightCreamCourse owl:intersectionOf _:y . _:z rdf:type owl:Restriction . _:z owl:onProperty first:hasDrink . _:{ rdf:type owl:Restriction . _:{ owl:onProperty vin:hasColor . _:{ owl:hasValue first:White . _:z owl:allValuesFrom _:{ . first:PastaWithLightCreamCourse rdfs:subClassOf _:z . _:| rdf:type owl:Restriction . _:| owl:onProperty first:hasDrink . _:} rdf:type owl:Restriction . _:} owl:onProperty vin:hasBody . _:} owl:hasValue first:Light . _:| owl:allValuesFrom _:} . first:PastaWithLightCreamCourse rdfs:subClassOf _:| . _:~ rdf:type owl:Restriction . _:~ owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasFlavor . _: owl:hasValue first:Delicate . _:~ owl:allValuesFrom _: . first:PastaWithLightCreamCourse rdfs:subClassOf _:~ . _:€ rdf:type owl:Restriction . _:€ owl:onProperty first:hasDrink . _:� rdf:type owl:Restriction . _:� owl:onProperty vin:hasSugar . _:� owl:hasValue first:Dry . _:€ owl:allValuesFrom _:� . first:PastaWithLightCreamCourse rdfs:subClassOf _:€ . first:PastaWithHeavyCreamSauce rdf:type owl:Class . first:PastaWithHeavyCreamSauce rdfs:subClassOf first:PastaWithWhiteSauce . first:PastaWithHeavyCreamCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:‚ rdf:type owl:Restriction . _:‚ owl:onProperty first:hasFood . _:‚ owl:allValuesFrom first:PastaWithHeavyCreamSauce . _:ƒ rdf:first _:‚ . _:ƒ rdf:rest rdf:nil . _:ƒ rdf:type rdf:List . _:„ rdf:first first:MealCourse . _:„ rdf:rest _:ƒ . _:„ rdf:type rdf:List . first:PastaWithHeavyCreamCourse owl:intersectionOf _:„ . _:… rdf:type owl:Restriction . _:… owl:onProperty first:hasDrink . _:† rdf:type owl:Restriction . _:† owl:onProperty vin:hasColor . _:† owl:hasValue first:White . _:… owl:allValuesFrom _:† . first:PastaWithHeavyCreamCourse rdfs:subClassOf _:… . _:‡ rdf:type owl:Restriction . _:‡ owl:onProperty first:hasDrink . _:ˆ rdf:type owl:Restriction . _:ˆ owl:onProperty vin:hasBody . _:ˆ owl:hasValue first:Medium . _:‡ owl:allValuesFrom _:ˆ . first:PastaWithHeavyCreamCourse rdfs:subClassOf _:‡ . _:‰ rdf:type owl:Restriction . _:‰ owl:onProperty first:hasDrink . _:Š rdf:type owl:Restriction . _:Š owl:onProperty vin:hasFlavor . _:Š owl:hasValue first:Moderate . _:‰ owl:allValuesFrom _:Š . first:PastaWithHeavyCreamCourse rdfs:subClassOf _:‰ . _:‹ rdf:type owl:Restriction . _:‹ owl:onProperty first:hasDrink . _:Œ rdf:type owl:Restriction . _:Œ owl:onProperty vin:hasSugar . _:Œ owl:hasValue first:Dry . _:‹ owl:allValuesFrom _:Œ . first:PastaWithHeavyCreamCourse rdfs:subClassOf _:‹ . first:OysterShellfishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:� rdf:type owl:Restriction . _:� owl:onProperty first:hasFood . _:� owl:allValuesFrom first:OysterShellfish . _:Ž rdf:first _:� . _:Ž rdf:rest rdf:nil . _:Ž rdf:type rdf:List . _:� rdf:first first:MealCourse . _:� rdf:rest _:Ž . _:� rdf:type rdf:List . first:OysterShellfishCourse owl:intersectionOf _:� . _:� rdf:type owl:Restriction . _:� owl:onProperty first:hasDrink . _:‘ rdf:type owl:Restriction . _:‘ owl:onProperty vin:hasSugar . _:‘ owl:hasValue first:Sweet . _:� owl:allValuesFrom _:‘ . first:OysterShellfishCourse rdfs:subClassOf _:� . first:OysterShellfish rdf:type owl:Class . first:OysterShellfish rdfs:subClassOf first:Shellfish . first:OtherTomatoBasedFoodCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:’ rdf:type owl:Restriction . _:’ owl:onProperty first:hasFood . _:’ owl:allValuesFrom first:OtherTomatoBasedFood . _:“ rdf:first _:’ . _:“ rdf:rest rdf:nil . _:“ rdf:type rdf:List . _:” rdf:first first:MealCourse . _:” rdf:rest _:“ . _:” rdf:type rdf:List . first:OtherTomatoBasedFoodCourse owl:intersectionOf _:” . _:• rdf:type owl:Restriction . _:• owl:onProperty first:hasDrink . _:– rdf:type owl:Restriction . _:– owl:onProperty vin:hasColor . _:– owl:hasValue first:Red . _:• owl:allValuesFrom _:– . first:OtherTomatoBasedFoodCourse rdfs:subClassOf _:• . _:— rdf:type owl:Restriction . _:— owl:onProperty first:hasDrink . _:˜ rdf:type owl:Restriction . _:˜ owl:onProperty vin:hasBody . _:˜ owl:hasValue first:Medium . _:— owl:allValuesFrom _:˜ . first:OtherTomatoBasedFoodCourse rdfs:subClassOf _:— . _:™ rdf:type owl:Restriction . _:™ owl:onProperty first:hasDrink . _:š rdf:type owl:Restriction . _:š owl:onProperty vin:hasFlavor . _:š owl:hasValue first:Moderate . _:™ owl:allValuesFrom _:š . first:OtherTomatoBasedFoodCourse rdfs:subClassOf _:™ . _:› rdf:type owl:Restriction . _:› owl:onProperty first:hasDrink . _:œ rdf:type owl:Restriction . _:œ owl:onProperty vin:hasSugar . _:œ owl:hasValue first:Dry . _:› owl:allValuesFrom _:œ . first:OtherTomatoBasedFoodCourse rdfs:subClassOf _:› . first:OtherTomatoBasedFood rdf:type owl:Class . first:OtherTomatoBasedFood rdfs:subClassOf first:EdibleThing . first:OtherTomatoBasedFood owl:disjointWith first:Pasta . first:OtherTomatoBasedFood owl:disjointWith first:Meat . first:OtherTomatoBasedFood owl:disjointWith first:Fowl . first:OtherTomatoBasedFood owl:disjointWith first:Seafood . first:OtherTomatoBasedFood owl:disjointWith first:Dessert . first:OtherTomatoBasedFood owl:disjointWith first:Fruit . first:NonSweetFruitCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:� rdf:type owl:Restriction . _:� owl:onProperty first:hasFood . _:� owl:allValuesFrom first:NonSweetFruit . _:ž rdf:first _:� . _:ž rdf:rest rdf:nil . _:ž rdf:type rdf:List . _:Ÿ rdf:first first:MealCourse . _:Ÿ rdf:rest _:ž . _:Ÿ rdf:type rdf:List . first:NonSweetFruitCourse owl:intersectionOf _:Ÿ . _:  rdf:type owl:Restriction . _:  owl:onProperty first:hasDrink . _:¡ rdf:type owl:Restriction . _:¡ owl:onProperty vin:hasFlavor . _:¡ owl:hasValue first:Delicate . _:  owl:allValuesFrom _:¡ . first:NonSweetFruitCourse rdfs:subClassOf _:  . _:¢ rdf:type owl:Restriction . _:¢ owl:onProperty first:hasDrink . _:£ rdf:type owl:Restriction . _:£ owl:onProperty vin:hasSugar . _:£ owl:hasValue first:OffDry . _:¢ owl:allValuesFrom _:£ . first:NonSweetFruitCourse rdfs:subClassOf _:¢ . first:SweetFruitCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:¤ rdf:type owl:Restriction . _:¤ owl:onProperty first:hasFood . _:¤ owl:allValuesFrom first:SweetFruit . _:¥ rdf:first _:¤ . _:¥ rdf:rest rdf:nil . _:¥ rdf:type rdf:List . _:¦ rdf:first first:MealCourse . _:¦ rdf:rest _:¥ . _:¦ rdf:type rdf:List . first:SweetFruitCourse owl:intersectionOf _:¦ . _:§ rdf:type owl:Restriction . _:§ owl:onProperty first:hasDrink . _:¨ rdf:type owl:Restriction . _:¨ owl:onProperty vin:hasFlavor . _:¨ owl:hasValue first:Moderate . _:§ owl:allValuesFrom _:¨ . first:SweetFruitCourse rdfs:subClassOf _:§ . _:© rdf:type owl:Restriction . _:© owl:onProperty first:hasDrink . _:ª rdf:type owl:Restriction . _:ª owl:onProperty vin:hasSugar . _:ª owl:hasValue first:Sweet . _:© owl:allValuesFrom _:ª . first:SweetFruitCourse rdfs:subClassOf _:© . first:NonSweetFruit rdf:type owl:Class . first:NonSweetFruit rdfs:subClassOf first:EdibleThing . first:NonSweetFruit owl:disjointWith first:SweetFruit . first:NonSpicyRedMeatCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:« rdf:type owl:Restriction . _:« owl:onProperty first:hasFood . _:« owl:allValuesFrom first:NonSpicyRedMeat . _:¬ rdf:first _:« . _:¬ rdf:rest rdf:nil . _:¬ rdf:type rdf:List . _:­ rdf:first first:MealCourse . _:­ rdf:rest _:¬ . _:­ rdf:type rdf:List . first:NonSpicyRedMeatCourse owl:intersectionOf _:­ . _:® rdf:type owl:Restriction . _:® owl:onProperty first:hasDrink . _:¯ rdf:type owl:Restriction . _:¯ owl:onProperty vin:hasColor . _:¯ owl:hasValue first:Red . _:® owl:allValuesFrom _:¯ . first:NonSpicyRedMeatCourse rdfs:subClassOf _:® . _:° rdf:type owl:Restriction . _:° owl:onProperty first:hasDrink . _:± rdf:type owl:Restriction . _:± owl:onProperty vin:hasBody . _:± owl:hasValue first:Medium . _:° owl:allValuesFrom _:± . first:NonSpicyRedMeatCourse rdfs:subClassOf _:° . _:² rdf:type owl:Restriction . _:² owl:onProperty first:hasDrink . _:³ rdf:type owl:Restriction . _:³ owl:onProperty vin:hasSugar . _:³ owl:hasValue first:Dry . _:² owl:allValuesFrom _:³ . first:NonSpicyRedMeatCourse rdfs:subClassOf _:² . _:´ rdf:type owl:Restriction . _:´ owl:onProperty first:hasDrink . _:µ rdf:type owl:Restriction . _:µ owl:onProperty vin:hasFlavor . _:¶ rdf:type owl:Class . first:Strong rdf:type owl:Thing . first:Moderate rdf:type owl:Thing . _:· rdf:first first:Moderate . _:· rdf:rest rdf:nil . _:· rdf:type rdf:List . _:¸ rdf:first first:Strong . _:¸ rdf:rest _:· . _:¸ rdf:type rdf:List . _:¶ owl:oneOf _:¸ . _:µ owl:hasClass _:¶ . _:´ owl:allValuesFrom _:µ . first:NonSpicyRedMeatCourse rdfs:subClassOf _:´ . first:NonSpicyRedMeat rdf:type owl:Class . first:NonSpicyRedMeat rdfs:subClassOf first:RedMeat . first:NonSpicyRedMeat owl:disjointWith first:SpicyRedMeat . first:NonRedMeatCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:¹ rdf:type owl:Restriction . _:¹ owl:onProperty first:hasFood . _:¹ owl:allValuesFrom first:NonRedMeat . _:º rdf:first _:¹ . _:º rdf:rest rdf:nil . _:º rdf:type rdf:List . _:» rdf:first first:MealCourse . _:» rdf:rest _:º . _:» rdf:type rdf:List . first:NonRedMeatCourse owl:intersectionOf _:» . _:¼ rdf:type owl:Restriction . _:¼ owl:onProperty first:hasDrink . _:½ rdf:type owl:Restriction . _:½ owl:onProperty vin:hasColor . _:½ owl:hasValue first:White . _:¼ owl:allValuesFrom _:½ . first:NonRedMeatCourse rdfs:subClassOf _:¼ . _:¾ rdf:type owl:Restriction . _:¾ owl:onProperty first:hasDrink . _:¿ rdf:type owl:Restriction . _:¿ owl:onProperty vin:hasBody . _:¿ owl:hasValue first:Medium . _:¾ owl:allValuesFrom _:¿ . first:NonRedMeatCourse rdfs:subClassOf _:¾ . _:À rdf:type owl:Restriction . _:À owl:onProperty first:hasDrink . _:Á rdf:type owl:Restriction . _:Á owl:onProperty vin:hasFlavor . _:Á owl:hasValue first:Strong . _:À owl:allValuesFrom _:Á . first:NonRedMeatCourse rdfs:subClassOf _:À . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _:à rdf:type owl:Restriction . _:à owl:onProperty vin:hasSugar . _:à owl:hasValue first:Dry . _: owl:allValuesFrom _:à . first:NonRedMeatCourse rdfs:subClassOf _: . first:NonRedMeat rdf:type owl:Class . first:NonRedMeat rdfs:subClassOf first:Meat . first:NonRedMeat owl:disjointWith first:RedMeat . first:NonOysterShellfishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:Ä rdf:type owl:Restriction . _:Ä owl:onProperty first:hasFood . _:Ä owl:allValuesFrom first:NonOysterShellfish . _:Å rdf:first _:Ä . _:Å rdf:rest rdf:nil . _:Å rdf:type rdf:List . _:Æ rdf:first first:MealCourse . _:Æ rdf:rest _:Å . _:Æ rdf:type rdf:List . first:NonOysterShellfishCourse owl:intersectionOf _:Æ . _:Ç rdf:type owl:Restriction . _:Ç owl:onProperty first:hasDrink . _:È rdf:type owl:Restriction . _:È owl:onProperty vin:hasSugar . _:È owl:hasValue first:Dry . _:Ç owl:allValuesFrom _:È . first:NonOysterShellfishCourse rdfs:subClassOf _:Ç . first:NonOysterShellfish rdf:type owl:Class . first:NonOysterShellfish rdfs:subClassOf first:Shellfish . first:NonOysterShellfish owl:disjointWith first:OysterShellfish . first:NonBlandFishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:É rdf:type owl:Restriction . _:É owl:onProperty first:hasFood . _:É owl:allValuesFrom first:NonBlandFish . _:Ê rdf:first _:É . _:Ê rdf:rest rdf:nil . _:Ê rdf:type rdf:List . _:Ë rdf:first first:MealCourse . _:Ë rdf:rest _:Ê . _:Ë rdf:type rdf:List . first:NonBlandFishCourse owl:intersectionOf _:Ë . _:Ì rdf:type owl:Restriction . _:Ì owl:onProperty first:hasDrink . _:Í rdf:type owl:Restriction . _:Í owl:onProperty vin:hasFlavor . _:Í owl:hasValue first:Moderate . _:Ì owl:allValuesFrom _:Í . first:NonBlandFishCourse rdfs:subClassOf _:Ì . first:NonBlandFish rdf:type owl:Class . first:NonBlandFish rdfs:subClassOf first:Fish . first:Meat rdf:type owl:Class . first:Meat rdfs:subClassOf first:EdibleThing . first:Meat owl:disjointWith first:Fowl . first:Meat owl:disjointWith first:Seafood . first:Meat owl:disjointWith first:Dessert . first:Meat owl:disjointWith first:Fruit . first:MealCourse rdf:type owl:Class . first:MealCourse rdfs:subClassOf first:ConsumableThing . _:Î rdf:type owl:Restriction . _:Î owl:onProperty first:hasFood . _:Î owl:minCardinality "1"^^ . first:MealCourse rdfs:subClassOf _:Î . _:Ï rdf:type owl:Restriction . _:Ï owl:onProperty first:hasFood . _:Ï owl:allValuesFrom first:EdibleThing . first:MealCourse rdfs:subClassOf _:Ï . _:Ð rdf:type owl:Restriction . _:Ð owl:onProperty first:hasDrink . _:Ð owl:minCardinality "1"^^ . first:MealCourse rdfs:subClassOf _:Ð . _:Ñ rdf:type owl:Restriction . _:Ñ owl:onProperty first:hasDrink . _:Ñ owl:allValuesFrom first:Wine . first:MealCourse rdfs:subClassOf _:Ñ . first:MealCourse owl:disjointWith first:PotableLiquid . first:MealCourse owl:disjointWith first:EdibleThing . first:Meal rdf:type owl:Class . first:Meal rdfs:subClassOf first:ConsumableThing . _:Ò rdf:type owl:Restriction . _:Ò owl:onProperty first:course . _:Ò owl:minCardinality "1"^^ . first:Meal rdfs:subClassOf _:Ò . _:Ó rdf:type owl:Restriction . _:Ó owl:onProperty first:course . _:Ó owl:allValuesFrom first:MealCourse . first:Meal rdfs:subClassOf _:Ó . first:Meal owl:disjointWith first:MealCourse . first:Meal owl:disjointWith first:PotableLiquid . first:Meal owl:disjointWith first:EdibleThing . first:LightMeatFowlCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:Ô rdf:type owl:Restriction . _:Ô owl:onProperty first:hasFood . _:Ô owl:allValuesFrom first:LightMeatFowl . _:Õ rdf:first _:Ô . _:Õ rdf:rest rdf:nil . _:Õ rdf:type rdf:List . _:Ö rdf:first first:MealCourse . _:Ö rdf:rest _:Õ . _:Ö rdf:type rdf:List . first:LightMeatFowlCourse owl:intersectionOf _:Ö . _:× rdf:type owl:Restriction . _:× owl:onProperty first:hasDrink . _:Ø rdf:type owl:Restriction . _:Ø owl:onProperty vin:hasColor . _:Ø owl:hasValue first:White . _:× owl:allValuesFrom _:Ø . first:LightMeatFowlCourse rdfs:subClassOf _:× . _:Ù rdf:type owl:Restriction . _:Ù owl:onProperty first:hasDrink . _:Ú rdf:type owl:Restriction . _:Ú owl:onProperty vin:hasBody . _:Ú owl:hasValue first:Medium . _:Ù owl:allValuesFrom _:Ú . first:LightMeatFowlCourse rdfs:subClassOf _:Ù . _:Û rdf:type owl:Restriction . _:Û owl:onProperty first:hasDrink . _:Ü rdf:type owl:Restriction . _:Ü owl:onProperty vin:hasFlavor . _:Ü owl:hasValue first:Moderate . _:Û owl:allValuesFrom _:Ü . first:LightMeatFowlCourse rdfs:subClassOf _:Û . _:Ý rdf:type owl:Restriction . _:Ý owl:onProperty first:hasDrink . _:Þ rdf:type owl:Restriction . _:Þ owl:onProperty vin:hasSugar . _:Þ owl:hasValue first:Dry . _:Ý owl:allValuesFrom _:Þ . first:LightMeatFowlCourse rdfs:subClassOf _:Ý . first:LightMeatFowl rdf:type owl:Class . first:LightMeatFowl rdfs:subClassOf first:Fowl . first:FruitCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:ß rdf:type owl:Restriction . _:ß owl:onProperty first:hasFood . _:ß owl:allValuesFrom first:Fruit . _:à rdf:first _:ß . _:à rdf:rest rdf:nil . _:à rdf:type rdf:List . _:á rdf:first first:MealCourse . _:á rdf:rest _:à . _:á rdf:type rdf:List . first:FruitCourse owl:intersectionOf _:á . _:â rdf:type owl:Restriction . _:â owl:onProperty first:hasDrink . _:ã rdf:type owl:Restriction . _:ã owl:onProperty vin:hasColor . _:ã owl:hasValue first:White . _:â owl:allValuesFrom _:ã . first:FruitCourse rdfs:subClassOf _:â . _:ä rdf:type owl:Restriction . _:ä owl:onProperty first:hasDrink . _:å rdf:type owl:Restriction . _:å owl:onProperty vin:hasBody . _:å owl:hasValue first:Medium . _:ä owl:allValuesFrom _:å . first:FruitCourse rdfs:subClassOf _:ä . first:Fruit rdf:type owl:Class . first:SweetFruit rdf:type owl:Class . first:NonSweetFruit rdf:type owl:Class . _:æ rdf:first first:NonSweetFruit . _:æ rdf:rest rdf:nil . _:æ rdf:type rdf:List . _:ç rdf:first first:SweetFruit . _:ç rdf:rest _:æ . _:ç rdf:type rdf:List . first:Fruit owl:unionOf _:ç . first:Fowl rdf:type owl:Class . first:Fowl rdfs:subClassOf first:EdibleThing . first:Fowl owl:disjointWith first:Seafood . first:Fowl owl:disjointWith first:Dessert . first:Fowl owl:disjointWith first:Fruit . first:FishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:è rdf:type owl:Restriction . _:è owl:onProperty first:hasFood . _:è owl:allValuesFrom first:Fish . _:é rdf:first _:è . _:é rdf:rest rdf:nil . _:é rdf:type rdf:List . _:ê rdf:first first:MealCourse . _:ê rdf:rest _:é . _:ê rdf:type rdf:List . first:FishCourse owl:intersectionOf _:ê . _:ë rdf:type owl:Restriction . _:ë owl:onProperty first:hasDrink . _:ì rdf:type owl:Restriction . _:ì owl:onProperty vin:hasBody . _:ì owl:hasValue first:Medium . _:ë owl:allValuesFrom _:ì . first:FishCourse rdfs:subClassOf _:ë . _:í rdf:type owl:Restriction . _:í owl:onProperty first:hasDrink . _:î rdf:type owl:Restriction . _:î owl:onProperty vin:hasSugar . _:î owl:hasValue first:Dry . _:í owl:allValuesFrom _:î . first:FishCourse rdfs:subClassOf _:í . first:DessertCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:ï rdf:type owl:Restriction . _:ï owl:onProperty first:hasFood . _:ï owl:allValuesFrom first:Dessert . _:ð rdf:first _:ï . _:ð rdf:rest rdf:nil . _:ð rdf:type rdf:List . _:ñ rdf:first first:MealCourse . _:ñ rdf:rest _:ð . _:ñ rdf:type rdf:List . first:DessertCourse owl:intersectionOf _:ñ . _:ò rdf:type owl:Restriction . _:ò owl:onProperty first:hasDrink . _:ó rdf:type owl:Restriction . _:ó owl:onProperty vin:hasBody . _:ó owl:hasValue first:Full . _:ò owl:allValuesFrom _:ó . first:DessertCourse rdfs:subClassOf _:ò . _:ô rdf:type owl:Restriction . _:ô owl:onProperty first:hasDrink . _:õ rdf:type owl:Restriction . _:õ owl:onProperty vin:hasFlavor . _:õ owl:hasValue first:Strong . _:ô owl:allValuesFrom _:õ . first:DessertCourse rdfs:subClassOf _:ô . _:ö rdf:type owl:Restriction . _:ö owl:onProperty first:hasDrink . _:÷ rdf:type owl:Restriction . _:÷ owl:onProperty vin:hasSugar . _:÷ owl:hasValue first:Sweet . _:ö owl:allValuesFrom _:÷ . first:DessertCourse rdfs:subClassOf _:ö . first:Dessert rdf:type owl:Class . first:Dessert rdfs:subClassOf first:EdibleThing . first:Dessert owl:disjointWith first:Fruit . first:SweetFruit rdf:type owl:Class . first:SweetFruit rdfs:subClassOf first:EdibleThing . first:SweetDessertCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:ø rdf:type owl:Restriction . _:ø owl:onProperty first:hasFood . _:ø owl:allValuesFrom first:SweetDessert . _:ù rdf:first _:ø . _:ù rdf:rest rdf:nil . _:ù rdf:type rdf:List . _:ú rdf:first first:MealCourse . _:ú rdf:rest _:ù . _:ú rdf:type rdf:List . first:SweetDessertCourse owl:intersectionOf _:ú . _:û rdf:type owl:Restriction . _:û owl:onProperty first:hasDrink . _:ü rdf:type owl:Restriction . _:ü owl:onProperty vin:hasColor . _:ü owl:hasValue first:White . _:û owl:allValuesFrom _:ü . first:SweetDessertCourse rdfs:subClassOf _:û . first:SweetDessert rdf:type owl:Class . first:SweetDessert rdfs:subClassOf first:Dessert . first:DarkMeatFowlCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:ý rdf:type owl:Restriction . _:ý owl:onProperty first:hasFood . _:ý owl:allValuesFrom first:DarkMeatFowl . _:þ rdf:first _:ý . _:þ rdf:rest rdf:nil . _:þ rdf:type rdf:List . _:ÿ rdf:first first:MealCourse . _:ÿ rdf:rest _:þ . _:ÿ rdf:type rdf:List . first:DarkMeatFowlCourse owl:intersectionOf _:ÿ . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasColor . _: owl:hasValue first:Red . _: owl:allValuesFrom _: . first:DarkMeatFowlCourse rdfs:subClassOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasBody . _: owl:hasValue first:Light . _: owl:allValuesFrom _: . first:DarkMeatFowlCourse rdfs:subClassOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasFlavor . _: owl:hasValue first:Delicate . _: owl:allValuesFrom _: . first:DarkMeatFowlCourse rdfs:subClassOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasSugar . _: owl:hasValue first:Dry . _: owl:allValuesFrom _: . first:DarkMeatFowlCourse rdfs:subClassOf _: . first:DarkMeatFowl rdf:type owl:Class . first:DarkMeatFowl rdfs:subClassOf first:Fowl . first:DarkMeatFowl owl:disjointWith first:LightMeatFowl . first:CheeseNutsDessertCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _: rdf:type owl:Restriction . _: owl:onProperty first:hasFood . _: owl:allValuesFrom first:CheeseNutsDessert . _: rdf:first _: . _: rdf:rest rdf:nil . _: rdf:type rdf:List . _: rdf:first first:MealCourse . _: rdf:rest _: . _: rdf:type rdf:List . first:CheeseNutsDessertCourse owl:intersectionOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasColor . _: owl:hasValue first:Red . _: owl:allValuesFrom _: . first:CheeseNutsDessertCourse rdfs:subClassOf _: . first:CheeseNutsDessert rdf:type owl:Class . first:CheeseNutsDessert rdfs:subClassOf first:Dessert . first:CheeseNutsDessert owl:disjointWith first:SweetDessert . first:BlandFishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _: rdf:type owl:Restriction . _: owl:onProperty first:hasFood . _: owl:allValuesFrom first:BlandFish . _: rdf:first _: . _: rdf:rest rdf:nil . _: rdf:type rdf:List . _: rdf:first first:MealCourse . _: rdf:rest _: . _: rdf:type rdf:List . first:BlandFishCourse owl:intersectionOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasFlavor . _: owl:hasValue first:Delicate . _: owl:allValuesFrom _: . first:BlandFishCourse rdfs:subClassOf _: . first:BlandFish rdf:type owl:Class . first:BlandFish rdfs:subClassOf first:Fish . first:BlandFish owl:disjointWith first:NonBlandFish . first:hasFood rdf:type owl:ObjectProperty . first:hasFood rdfs:range first:EdibleThing . first:hasFood rdfs:domain first:MealCourse . first:Fish rdf:type owl:Class . first:Fish rdfs:subClassOf first:Seafood . first:Fish owl:disjointWith first:Shellfish . first:SpicyRedMeat rdf:type owl:Class . first:SpicyRedMeat rdfs:subClassOf first:RedMeat . first:ShellfishCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _: rdf:type owl:Restriction . _: owl:onProperty first:hasFood . _: owl:allValuesFrom first:Shellfish . _: rdf:first _: . _: rdf:rest rdf:nil . _: rdf:type rdf:List . _: rdf:first first:MealCourse . _: rdf:rest _: . _: rdf:type rdf:List . first:ShellfishCourse owl:intersectionOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasFlavor . _: rdf:type owl:Class . first:Moderate rdf:type owl:Thing . first:Strong rdf:type owl:Thing . _: rdf:first first:Strong . _: rdf:rest rdf:nil . _: rdf:type rdf:List . _: rdf:first first:Moderate . _: rdf:rest _: . _: rdf:type rdf:List . _: owl:oneOf _: . _: owl:hasClass _: . _: owl:allValuesFrom _: . first:ShellfishCourse rdfs:subClassOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasBody . _: owl:hasValue first:Full . _: owl:allValuesFrom _: . first:ShellfishCourse rdfs:subClassOf _: . first:Shellfish rdf:type owl:Class . first:Shellfish rdfs:subClassOf first:Seafood . first:SeafoodCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _: rdf:type owl:Restriction . _: owl:onProperty first:hasFood . _: owl:allValuesFrom first:Seafood . _: rdf:first _: . _: rdf:rest rdf:nil . _: rdf:type rdf:List . _: rdf:first first:MealCourse . _: rdf:rest _: . _: rdf:type rdf:List . first:SeafoodCourse owl:intersectionOf _: . _: rdf:type owl:Restriction . _: owl:onProperty first:hasDrink . _: rdf:type owl:Restriction . _: owl:onProperty vin:hasColor . _: owl:hasValue first:White . _: owl:allValuesFrom _: . first:SeafoodCourse rdfs:subClassOf _: . first:Seafood rdf:type owl:Class . first:Seafood rdfs:subClassOf first:EdibleThing . first:Seafood owl:disjointWith first:Dessert . first:Seafood owl:disjointWith first:Fruit . first:RedMeatCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:! rdf:type owl:Restriction . _:! owl:onProperty first:hasFood . _:! owl:allValuesFrom first:RedMeat . _:" rdf:first _:! . _:" rdf:rest rdf:nil . _:" rdf:type rdf:List . _:# rdf:first first:MealCourse . _:# rdf:rest _:" . _:# rdf:type rdf:List . first:RedMeatCourse owl:intersectionOf _:# . _:$ rdf:type owl:Restriction . _:$ owl:onProperty first:hasDrink . _:% rdf:type owl:Restriction . _:% owl:onProperty vin:hasColor . _:% owl:hasValue first:Red . _:$ owl:allValuesFrom _:% . first:RedMeatCourse rdfs:subClassOf _:$ . first:RedMeat rdf:type owl:Class . first:RedMeat rdfs:subClassOf first:Meat . first:Cake rdf:type food:SweetDessert . first:Bananas rdf:type food:SweetFruit . first:MixedFruit rdf:type food:SweetFruit . first:Mussels rdf:type food:NonOysterShellfish . first:Nuts rdf:type food:CheeseNutsDessert . first:Oysters rdf:type food:OysterShellfish . first:PastaWithWhiteClamSauce rdf:type food:PastaWithLightCreamSauce . first:Peaches rdf:type food:SweetFruit . first:Pie rdf:type food:SweetDessert . first:Pizza rdf:type food:OtherTomatoBasedFood . first:Pork rdf:type food:NonRedMeat . first:RoastBeef rdf:type food:NonSpicyRedMeat . first:Scrod rdf:type food:BlandFish . first:SpaghettiWithTomatoSauce rdf:type food:PastaWithNonSpicyRedSauce . first:Steak rdf:type food:NonSpicyRedMeat . first:Swordfish rdf:type food:NonBlandFish . first:ThompsonSeedless rdf:type food:EatingGrape . first:EatingGrape rdf:type owl:Class . first:EatingGrape rdfs:subClassOf first:Grape . first:Tuna rdf:type food:NonBlandFish . first:Turkey rdf:type food:LightMeatFowl . first:Veal rdf:type food:NonSpicyRedMeat . first:SpicyRedMeatCourse rdf:type owl:Class . first:MealCourse rdf:type owl:Class . _:& rdf:type owl:Restriction . _:& owl:onProperty first:hasFood . _:& owl:allValuesFrom first:SpicyRedMeat . _:' rdf:first _:& . _:' rdf:rest rdf:nil . _:' rdf:type rdf:List . _:( rdf:first first:MealCourse . _:( rdf:rest _:' . _:( rdf:type rdf:List . first:SpicyRedMeatCourse owl:intersectionOf _:( . _:) rdf:type owl:Restriction . _:) owl:onProperty first:hasDrink . _:* rdf:type owl:Restriction . _:* owl:onProperty vin:hasColor . _:* owl:hasValue first:Red . _:) owl:allValuesFrom _:* . first:SpicyRedMeatCourse rdfs:subClassOf _:) . _:+ rdf:type owl:Restriction . _:+ owl:onProperty first:hasDrink . _:, rdf:type owl:Restriction . _:, owl:onProperty vin:hasBody . _:, owl:hasValue first:Full . _:+ owl:allValuesFrom _:, . first:SpicyRedMeatCourse rdfs:subClassOf _:+ . _:- rdf:type owl:Restriction . _:- owl:onProperty first:hasDrink . _:. rdf:type owl:Restriction . _:. owl:onProperty vin:hasFlavor . _:. owl:hasValue first:Moderate . _:- owl:allValuesFrom _:. . first:SpicyRedMeatCourse rdfs:subClassOf _:- . _:/ rdf:type owl:Restriction . _:/ owl:onProperty first:hasDrink . _:0 rdf:type owl:Restriction . _:0 owl:onProperty vin:hasSugar . _:0 owl:hasValue first:Dry . _:/ owl:allValuesFrom _:0 . first:SpicyRedMeatCourse rdfs:subClassOf _:/ . first:BeefCurry rdf:type food:SpicyRedMeat . first:Chicken rdf:type food:LightMeatFowl . first:Clams rdf:type food:NonOysterShellfish . first:Duck rdf:type food:DarkMeatFowl . first:GarlickyRoast rdf:type food:SpicyRedMeat . first:Goose rdf:type food:DarkMeatFowl . first:Halibut rdf:type food:BlandFish . first:Crab rdf:type food:NonOysterShellfish . first:Flounder rdf:type food:BlandFish . first:Lobster rdf:type food:NonOysterShellfish . first:FettucineAlfRedo rdf:type food:PastaWithHeavyCreamSauce . first:FraDiavolo rdf:type food:PastaWithSpicyRedSauce . first:Cheese rdf:type food:CheeseNutsDessert .