# $Id: wifoP.n3 2722 2009-03-09 22:23:07Z josd $

@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix w: <http://www.w3.org/2002/03owlt/miscellaneous/consistent001#>.
@prefix f: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>.
@prefix : <http://eulersharp.sourceforge.net/2003/09wifo/wifoP#>.

{?R owl:onProperty ?P; owl:hasValue ?Y. ?X a ?R} => {?X ?P ?Y}.
{?A rdfs:subClassOf ?B. ?S a ?A} => {?S a ?B}.
{?B rdfs:subClassOf ?C. ?A rdfs:subClassOf ?B} => {?A rdfs:subClassOf ?C}.

{?I owl:intersectionOf ?L. ?L rdf:first ?R; rdf:rest ?K. ?R owl:onProperty f:hasDrink; owl:hasValue ?W. ?K rdf:first ?S; rdf:rest rdf:nil. ?S owl:onProperty f:hasFood; owl:hasValue ?F. ?W :goesWellWith ?F} => {(?W ?F)!:course a ?I}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Delicate; w:hasColor f:White; w:hasBody f:Light. ?F a f:PastaWithLightCreamSauce} => {?W :goesWellWith ?F}.
{?W w:hasFlavor f:Moderate; w:hasBody f:Full. ?F a f:Shellfish} => {?W :goesWellWith ?F}.
{?W w:hasFlavor f:Strong; w:hasBody f:Full. ?F a f:Shellfish} => {?W :goesWellWith ?F}.
{?W w:hasColor f:White. ?F a f:SweetDessert} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:White; w:hasBody f:Medium. ?F a f:PastaWithHeavyCreamSauce} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Sweet; w:hasFlavor f:Strong; w:hasBody f:Full. ?F a f:Dessert} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:OffDry; w:hasFlavor f:Delicate. ?F a f:NonSweetFruit} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry. ?F a f:NonOysterShellfish} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Delicate; w:hasColor f:Red; w:hasBody f:Light. ?F a f:DarkMeatFowl} => {?W :goesWellWith ?F}.
{?W w:hasFlavor f:Moderate. ?F a f:NonBlandFish} => {?W :goesWellWith ?F}.
{?W w:hasColor f:White; w:hasBody f:Medium. ?F a f:Fruit} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Sweet. ?F a f:OysterShellfish} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasBody f:Medium. ?F a f:Fish} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:Red; w:hasBody f:Full. ?F a f:SpicyRedMeat} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Strong; w:hasColor f:Red; w:hasBody f:Full. ?F a f:PastaWithSpicyRedSauce} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Strong; w:hasColor f:White; w:hasBody f:Medium. ?F a f:NonRedMeat} => {?W :goesWellWith ?F}.
{?W w:hasColor f:Red. ?F a f:RedMeat} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:Red; w:hasBody f:Medium. ?F a f:OtherTomatoBasedFood} => {?W :goesWellWith ?F}.
{?W w:hasFlavor f:Delicate. ?F a f:BlandFish} => {?W :goesWellWith ?F}.
{?W w:hasColor f:Red. ?F a f:CheeseNutsDessert} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:White; w:hasBody f:Medium. ?F a f:LightMeatFowl} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Strong; w:hasColor f:Red; w:hasBody f:Medium. ?F a f:NonSpicyRedMeat} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:Red; w:hasBody f:Medium. ?F a f:NonSpicyRedMeat} => {?W :goesWellWith ?F}.
{?W w:hasColor f:White. ?F a f:Seafood} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Dry; w:hasFlavor f:Moderate; w:hasColor f:Red; w:hasBody f:Medium. ?F a f:PastaWithNonSpicyRedSauce} => {?W :goesWellWith ?F}.
{?W w:hasSugar f:Sweet; w:hasFlavor f:Moderate. ?F a f:SweetFruit} => {?W :goesWellWith ?F}.