example.txt

Jena推理机

Class vin:DryWine 
Class vin:DryWhiteWine 
Class vin:DryRiesling 
  is a sub-class of Anonymous restriction with ID a-96 on property vin:hasColor,  has value vin:White,  
  is a sub-class of Anonymous restriction with ID a-97 on property vin:hasFlavor,  has value vin:Delicate,  
  is a sub-class of Anonymous restriction with ID a-98 on property vin:hasBody,  all values from Anonymous resource with ID a-99,  
Anonymous class with ID a-99
Class vin:DryRedWine 
Anonymous class with ID a-93
Class vin:CotesDOr 
  is a sub-class of Anonymous restriction with ID a-100 on property vin:hasFlavor,  has value vin:Moderate,  
Class vin:Chianti 
  is a sub-class of Class vin:ItalianWine 
  is a sub-class of Anonymous restriction with ID a-101 on property vin:locatedIn,  has value vin:ChiantiRegion,  
  is a sub-class of Anonymous restriction with ID a-102 on property vin:hasColor,  has value vin:Red,  
  is a sub-class of Anonymous restriction with ID a-103 on property vin:madeFromGrape,  has value vin:SangioveseGrape,  
  is a sub-class of Anonymous restriction with ID a-104 on property vin:hasFlavor,  has value vin:Moderate,  
  is a sub-class of Anonymous restriction with ID a-105 on property vin:hasSugar,  has value vin:Dry,  
  is a sub-class of Anonymous restriction with ID a-106 on property vin:hasBody,  all values from Anonymous resource with ID a-107,  
Anonymous class with ID a-107
Class vin:CheninBlanc 
  is a sub-class of Anonymous restriction with ID a-108 on property vin:hasColor,  has value vin:White,  
  is a sub-class of Anonymous restriction with ID a-109 on property vin:hasFlavor,  has value vin:Moderate,  
  is a sub-class of Anonymous restriction with ID a-110 on property vin:hasBody,  all values from Anonymous resource with ID a-111,  
  is a sub-class of Anonymous restriction with ID a-112 on property vin:hasSugar,  all values from Anonymous resource with ID a-113,  
Anonymous class with ID a-111
Anonymous class with ID a-113
Class vin:Chardonnay 
  is a sub-class of Anonymous restriction with ID a-114 on property vin:hasColor,  has value vin:White,  
  is a sub-class of Anonymous restriction with ID a-115 on property vin:hasBody,  all values from Anonymous resource with ID a-116,  
  is a sub-class of Anonymous restriction with ID a-117 on property vin:hasFlavor,  all values from Anonymous resource with ID a-118,  
Anonymous class with ID a-116
Anonymous class with ID a-118
Class vin:CaliforniaWine 
Class vin:TexasWine 
Class vin:CabernetSauvignon 
  is a sub-class of Anonymous restriction with ID a-119 on property vin:hasColor,  has value vin:Red,  
  is a sub-class of Anonymous restriction with ID a-120 on property vin:hasSugar,  has value vin:Dry,  
  is a sub-class of Anonymous restriction with ID a-121 on property vin:hasFlavor,  all values from Anonymous resource with ID a-122,  
  is a sub-class of Anonymous restriction with ID a-123 on property vin:hasBody,  all values from Anonymous resource with ID a-124,  
Anonymous class with ID a-122
Anonymous class with ID a-124
Class vin:CabernetFranc 
  is a sub-class of Anonymous restriction with ID a-125 on property vin:hasColor,  has value vin:Red,  
  is a sub-class of Anonymous restriction with ID a-126 on property vin:hasFlavor,  has value vin:Moderate,  
  is a sub-class of Anonymous restriction with ID a-127 on property vin:hasBody,  has value vin:Medium,  
  is a sub-class of Anonymous restriction with ID a-128 on property vin:hasSugar,  has value vin:Dry,  
Class vin:Beaujolais 
  is a sub-class of Anonymous restriction with ID a-129 on property vin:hasColor,  has value vin:Red,  
  is a sub-class of Anonymous restriction with ID a-130 on property vin:hasBody,  has value vin:Light,  
  is a sub-class of Anonymous restriction with ID a-131 on property vin:hasSugar,  has value vin:Dry,  
  is a sub-class of Anonymous restriction with ID a-132 on property vin:hasFlavor,  has value vin:Delicate,  
  is a sub-class of Anonymous restriction with ID a-133 on property vin:madeFromGrape,  has value vin:GamayGrape,  
  is a sub-class of Anonymous restriction with ID a-134 on property vin:madeFromGrape,  
Class vin:Anjou 
  is a sub-class of Anonymous restriction with ID a-135 on property vin:hasColor,  has value vin:Rose,  
  is a sub-class of Anonymous restriction with ID a-136 on property vin:hasBody,  has value vin:Light,  
  is a sub-class of Anonymous restriction with ID a-137 on property vin:hasFlavor,  has value vin:Delicate,  
  is a sub-class of Anonymous restriction with ID a-138 on property vin:hasSugar,  has value vin:OffDry,  
Class vin:AmericanWine 
Class vin:AlsatianWine 
Class food:ConsumableThing 
  is a super-class of Class food:EdibleThing 
  is a super-class of Class food:PotableLiquid 
  is a super-class of Class food:MealCourse 
  is a super-class of Class food:Meal 
Class food:NonConsumableThing 
Class food:EdibleThing 
  is a sub-class of Class food:ConsumableThing 
  is a super-class of Class food:Pasta 
  is a super-class of Class food:OtherTomatoBasedFood 
  is a super-class of Class food:NonSweetFruit 
  is a super-class of Class food:Meat 
  is a super-class of Class food:Fowl 
  is a super-class of Class food:Dessert 
  is a super-class of Class food:SweetFruit 
  is a super-class of Class food:Seafood 
Class food:PotableLiquid 
  is a sub-class of Class food:ConsumableThing 
  is a super-class of Class vin:Wine 
Class food:Wine 
Class food:Grape 
  is a sub-class of Class food:SweetFruit 
  is a super-class of Class vin:WineGrape 
  is a super-class of Class food:EatingGrape 
Class food:Pasta 
  is a sub-class of Class food:EdibleThing 
  is a super-class of Class food:PastaWithWhiteSauce 
  is a super-class of Class food:PastaWithRedSauce 
Class food:PastaWithWhiteSauce 
  is a sub-class of Class food:Pasta 
  is a super-class of Class food:PastaWithLightCreamSauce 
  is a super-class of Class food:PastaWithHeavyCreamSauce 
Class food:PastaWithSpicyRedSauceCourse 
  is a sub-class of Anonymous restriction with ID a-139 on property food:hasDrink,  all values from Anonymous resource with ID a-140,  
  is a sub-class of Anonymous restriction with ID a-141 on property food:hasDrink,  all values from Anonymous resource with ID a-142,  
  is a sub-class of Anonymous restriction with ID a-143 on property food:hasDrink,  all values from Anonymous resource with ID a-144,  
  is a sub-class of Anonymous restriction with ID a-145 on property food:hasDrink,  all values from Anonymous resource with ID a-146,  
Class food:MealCourse 
  is a sub-class of Class food:ConsumableThing 
  is a sub-class of Anonymous restriction with ID a-147 on property food:hasFood,  
  is a sub-class of Anonymous restriction with ID a-148 on property food:hasFood,  all values from food:EdibleThing,  
  is a sub-class of Anonymous restriction with ID a-149 on property food:hasDrink,  
  is a sub-class of Anonymous restriction with ID a-150 on property food:hasDrink,  all values from food:Wine,  
Class food:PastaWithSpicyRedSauce 
  is a sub-class of Class food:PastaWithRedSauce 
Class food:PastaWithRedSauce 
  is a sub-class of Class food:Pasta 
  is a super-class of Class food:PastaWithSpicyRedSauce 
  is a super-class of Class food:PastaWithNonSpicyRedSauce 
Class food:PastaWithNonSpicyRedSauceCourse 
  is a sub-class of Anonymous restriction with ID a-151 on property food:hasDrink,  all values from Anonymous resource with ID a-152,  
  is a sub-class of Anonymous restriction with ID a-153 on property food:hasDrink,  all values from Anonymous resource with ID a-154,  
  is a sub-class of Anonymous restriction with ID a-155 on property food:hasDrink,  all values from Anonymous resource with ID a-156,  
  is a sub-class of Anonymous restriction with ID a-157 on property food:hasDrink,  all values from Anonymous resource with ID a-158,  
Class food:PastaWithNonSpicyRedSauce 
  is a sub-class of Class food:PastaWithRedSauce 
Class food:PastaWithLightCreamSauce 
  is a sub-class of Class food:PastaWithWhiteSauce 
Class food:PastaWithLightCreamCourse 
  is a sub-class of Anonymous restriction with ID a-159 on property food:hasDrink,  all values from Anonymous resource with ID a-160,  
  is a sub-class of Anonymous restriction with ID a-161 on property food:hasDrink,  all values from Anonymous resource with ID a-162,  
  is a sub-class of Anonymous restriction with ID a-163 on property food:hasDrink,  all values from Anonymous resource with ID a-164,  
  is a sub-class of Anonymous restriction with ID a-165 on property food:hasDrink,  all values from Anonymous resource with ID a-166,  
Class food:PastaWithHeavyCreamSauce 
  is a sub-class of Class food:PastaWithWhiteSauce 
Class food:PastaWithHeavyCreamCourse 
  is a sub-class of Anonymous restriction with ID a-167 on property food:hasDrink,  all values from Anonymous resource with ID a-168,  
  is a sub-class of Anonymous restriction with ID a-169 on property food:hasDrink,  all values from Anonymous resource with ID a-170,  
  is a sub-class of Anonymous restriction with ID a-171 on property food:hasDrink,  all values from Anonymous resource with ID a-172,  
  is a sub-class of Anonymous restriction with ID a-173 on property food:hasDrink,  all values from Anonymous resource with ID a-174,  
Class food:OysterShellfishCourse 
  is a sub-class of Anonymous restriction with ID a-175 on property food:hasDrink,  all values from Anonymous resource with ID a-176,  
Class food:OysterShellfish 
  is a sub-class of Class food:Shellfish 
Class food:OtherTomatoBasedFoodCourse 
  is a sub-class of Anonymous restriction with ID a-177 on property food:hasDrink,  all values from Anonymous resource with ID a-178,  
  is a sub-class of Anonymous restriction with ID a-179 on property food:hasDrink,  all values from Anonymous resource with ID a-180,  
  is a sub-class of Anonymous restriction with ID a-181 on property food:hasDrink,  all values from Anonymous resource with ID a-182,  
  is a sub-class of Anonymous restriction with ID a-183 on property food:hasDrink,  all values from Anonymous resource with ID a-184,  
Class food:OtherTomatoBasedFood 
  is a sub-class of Class food:EdibleThing 
Class food:NonSweetFruitCourse 
  is a sub-class of Anonymous restriction with ID a-185 on property food:hasDrink,  all values from Anonymous resource with ID a-186,  
  is a sub-class of Anonymous restriction with ID a-187 on property food:hasDrink,  all values from Anonymous resource with ID a-188,  
Class food:SweetFruitCourse 
  is a sub-class of Anonymous restriction with ID a-189 on property food:hasDrink,  all values from Anonymous resource with ID a-190,  
  is a sub-class of Anonymous restriction with ID a-191 on property food:hasDrink,  all values from Anonymous resource with ID a-192,  
Class food:NonSweetFruit 
  is a sub-class of Class food:EdibleThing 
Class food:NonSpicyRedMeatCourse 
  is a sub-class of Anonymous restriction with ID a-193 on property food:hasDrink,  all values from Anonymous resource with ID a-194,  
  is a sub-class of Anonymous restriction with ID a-195 on property food:hasDrink,  all values from Anonymous resource with ID a-196,  
  is a sub-class of Anonymous restriction with ID a-197 on property food:hasDrink,  all values from Anonymous resource with ID a-198,  
  is a sub-class of Anonymous restriction with ID a-199 on property food:hasDrink,  all values from Anonymous resource with ID a-200,  
Anonymous class with ID a-201
Class food:NonSpicyRedMeat 
  is a sub-class of Class food:RedMeat 
Class food:NonRedMeatCourse 
  is a sub-class of Anonymous restriction with ID a-202 on property food:hasDrink,  all values from Anonymous resource with ID a-203,  
  is a sub-class of Anonymous restriction with ID a-204 on property food:hasDrink,  all values from Anonymous resource with ID a-205,  
  is a sub-class of Anonymous restriction with ID a-206 on property food:hasDrink,  all values from Anonymous resource with ID a-207,  
  is a sub-class of Anonymous restriction with ID a-208 on property food:hasDrink,  all values from Anonymous resource with ID a-209,  
Class food:NonRedMeat 
  is a sub-class of Class food:Meat 
Class food:NonOysterShellfishCourse 
  is a sub-class of Anonymous restriction with ID a-210 on property food:hasDrink,  all values from Anonymous resource with ID a-211,  
Class food:NonOysterShellfish 
  is a sub-class of Class food:Shellfish 
Class food:NonBlandFishCourse 
  is a sub-class of Anonymous restriction with ID a-212 on property food:hasDrink,  all values from Anonymous resource with ID a-213,  
Class food:NonBlandFish 
  is a sub-class of Class food:Fish 
Class food:Meat 
  is a sub-class of Class food:EdibleThing 
  is a super-class of Class food:NonRedMeat 
  is a super-class of Class food:RedMeat 
Class food:Meal 
  is a sub-class of Class food:ConsumableThing 
  is a sub-class of Anonymous restriction with ID a-214 on property food:course,