example.txt

Jena推理机

Anonymous restriction with ID a-136 on property vin:hasBody,  has value vin:Light,  
  is a super-class of Class vin:Anjou 
Anonymous restriction with ID a-137 on property vin:hasFlavor,  has value vin:Delicate,  
  is a super-class of Class vin:Anjou 
Anonymous restriction with ID a-138 on property vin:hasSugar,  has value vin:OffDry,  
  is a super-class of Class vin:Anjou 
Anonymous restriction with ID a-329 on property vin:locatedIn,  has value vin:AnjouRegion,  
Anonymous restriction with ID a-330 on property vin:locatedIn,  has value vin:USRegion,  
Anonymous restriction with ID a-331 on property vin:locatedIn,  has value vin:AlsaceRegion,  
Anonymous restriction with ID a-332 on property food:hasFood,  all values from food:PastaWithSpicyRedSauce,  
Anonymous restriction with ID a-139 on property food:hasDrink,  all values from Anonymous resource with ID a-140,  
  is a super-class of Class food:PastaWithSpicyRedSauceCourse 
Anonymous restriction with ID a-140 on property vin:hasColor,  has value food:Red,  
Anonymous restriction with ID a-141 on property food:hasDrink,  all values from Anonymous resource with ID a-142,  
  is a super-class of Class food:PastaWithSpicyRedSauceCourse 
Anonymous restriction with ID a-142 on property vin:hasBody,  has value food:Full,  
Anonymous restriction with ID a-143 on property food:hasDrink,  all values from Anonymous resource with ID a-144,  
  is a super-class of Class food:PastaWithSpicyRedSauceCourse 
Anonymous restriction with ID a-144 on property vin:hasFlavor,  has value food:Strong,  
Anonymous restriction with ID a-145 on property food:hasDrink,  all values from Anonymous resource with ID a-146,  
  is a super-class of Class food:PastaWithSpicyRedSauceCourse 
Anonymous restriction with ID a-146 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-333 on property food:hasFood,  all values from food:PastaWithNonSpicyRedSauce,  
Anonymous restriction with ID a-151 on property food:hasDrink,  all values from Anonymous resource with ID a-152,  
  is a super-class of Class food:PastaWithNonSpicyRedSauceCourse 
Anonymous restriction with ID a-152 on property vin:hasColor,  has value food:Red,  
Anonymous restriction with ID a-153 on property food:hasDrink,  all values from Anonymous resource with ID a-154,  
  is a super-class of Class food:PastaWithNonSpicyRedSauceCourse 
Anonymous restriction with ID a-154 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-155 on property food:hasDrink,  all values from Anonymous resource with ID a-156,  
  is a super-class of Class food:PastaWithNonSpicyRedSauceCourse 
Anonymous restriction with ID a-156 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-157 on property food:hasDrink,  all values from Anonymous resource with ID a-158,  
  is a super-class of Class food:PastaWithNonSpicyRedSauceCourse 
Anonymous restriction with ID a-158 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-334 on property food:hasFood,  all values from food:PastaWithLightCreamSauce,  
Anonymous restriction with ID a-159 on property food:hasDrink,  all values from Anonymous resource with ID a-160,  
  is a super-class of Class food:PastaWithLightCreamCourse 
Anonymous restriction with ID a-160 on property vin:hasColor,  has value food:White,  
Anonymous restriction with ID a-161 on property food:hasDrink,  all values from Anonymous resource with ID a-162,  
  is a super-class of Class food:PastaWithLightCreamCourse 
Anonymous restriction with ID a-162 on property vin:hasBody,  has value food:Light,  
Anonymous restriction with ID a-163 on property food:hasDrink,  all values from Anonymous resource with ID a-164,  
  is a super-class of Class food:PastaWithLightCreamCourse 
Anonymous restriction with ID a-164 on property vin:hasFlavor,  has value food:Delicate,  
Anonymous restriction with ID a-165 on property food:hasDrink,  all values from Anonymous resource with ID a-166,  
  is a super-class of Class food:PastaWithLightCreamCourse 
Anonymous restriction with ID a-166 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-335 on property food:hasFood,  all values from food:PastaWithHeavyCreamSauce,  
Anonymous restriction with ID a-167 on property food:hasDrink,  all values from Anonymous resource with ID a-168,  
  is a super-class of Class food:PastaWithHeavyCreamCourse 
Anonymous restriction with ID a-168 on property vin:hasColor,  has value food:White,  
Anonymous restriction with ID a-169 on property food:hasDrink,  all values from Anonymous resource with ID a-170,  
  is a super-class of Class food:PastaWithHeavyCreamCourse 
Anonymous restriction with ID a-170 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-171 on property food:hasDrink,  all values from Anonymous resource with ID a-172,  
  is a super-class of Class food:PastaWithHeavyCreamCourse 
Anonymous restriction with ID a-172 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-173 on property food:hasDrink,  all values from Anonymous resource with ID a-174,  
  is a super-class of Class food:PastaWithHeavyCreamCourse 
Anonymous restriction with ID a-174 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-336 on property food:hasFood,  all values from food:OysterShellfish,  
Anonymous restriction with ID a-175 on property food:hasDrink,  all values from Anonymous resource with ID a-176,  
  is a super-class of Class food:OysterShellfishCourse 
Anonymous restriction with ID a-176 on property vin:hasSugar,  has value food:Sweet,  
Anonymous restriction with ID a-337 on property food:hasFood,  all values from food:OtherTomatoBasedFood,  
Anonymous restriction with ID a-177 on property food:hasDrink,  all values from Anonymous resource with ID a-178,  
  is a super-class of Class food:OtherTomatoBasedFoodCourse 
Anonymous restriction with ID a-178 on property vin:hasColor,  has value food:Red,  
Anonymous restriction with ID a-179 on property food:hasDrink,  all values from Anonymous resource with ID a-180,  
  is a super-class of Class food:OtherTomatoBasedFoodCourse 
Anonymous restriction with ID a-180 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-181 on property food:hasDrink,  all values from Anonymous resource with ID a-182,  
  is a super-class of Class food:OtherTomatoBasedFoodCourse 
Anonymous restriction with ID a-182 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-183 on property food:hasDrink,  all values from Anonymous resource with ID a-184,  
  is a super-class of Class food:OtherTomatoBasedFoodCourse 
Anonymous restriction with ID a-184 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-338 on property food:hasFood,  all values from food:NonSweetFruit,  
Anonymous restriction with ID a-185 on property food:hasDrink,  all values from Anonymous resource with ID a-186,  
  is a super-class of Class food:NonSweetFruitCourse 
Anonymous restriction with ID a-186 on property vin:hasFlavor,  has value food:Delicate,  
Anonymous restriction with ID a-187 on property food:hasDrink,  all values from Anonymous resource with ID a-188,  
  is a super-class of Class food:NonSweetFruitCourse 
Anonymous restriction with ID a-188 on property vin:hasSugar,  has value food:OffDry,  
Anonymous restriction with ID a-339 on property food:hasFood,  all values from food:SweetFruit,  
Anonymous restriction with ID a-189 on property food:hasDrink,  all values from Anonymous resource with ID a-190,  
  is a super-class of Class food:SweetFruitCourse 
Anonymous restriction with ID a-190 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-191 on property food:hasDrink,  all values from Anonymous resource with ID a-192,  
  is a super-class of Class food:SweetFruitCourse 
Anonymous restriction with ID a-192 on property vin:hasSugar,  has value food:Sweet,  
Anonymous restriction with ID a-340 on property food:hasFood,  all values from food:NonSpicyRedMeat,  
Anonymous restriction with ID a-193 on property food:hasDrink,  all values from Anonymous resource with ID a-194,  
  is a super-class of Class food:NonSpicyRedMeatCourse 
Anonymous restriction with ID a-194 on property vin:hasColor,  has value food:Red,  
Anonymous restriction with ID a-195 on property food:hasDrink,  all values from Anonymous resource with ID a-196,  
  is a super-class of Class food:NonSpicyRedMeatCourse 
Anonymous restriction with ID a-196 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-197 on property food:hasDrink,  all values from Anonymous resource with ID a-198,  
  is a super-class of Class food:NonSpicyRedMeatCourse 
Anonymous restriction with ID a-198 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-199 on property food:hasDrink,  all values from Anonymous resource with ID a-200,  
  is a super-class of Class food:NonSpicyRedMeatCourse 
Anonymous restriction with ID a-200 on property vin:hasFlavor,  
Anonymous restriction with ID a-341 on property food:hasFood,  all values from food:NonRedMeat,  
Anonymous restriction with ID a-202 on property food:hasDrink,  all values from Anonymous resource with ID a-203,  
  is a super-class of Class food:NonRedMeatCourse 
Anonymous restriction with ID a-203 on property vin:hasColor,  has value food:White,  
Anonymous restriction with ID a-204 on property food:hasDrink,  all values from Anonymous resource with ID a-205,  
  is a super-class of Class food:NonRedMeatCourse 
Anonymous restriction with ID a-205 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-206 on property food:hasDrink,  all values from Anonymous resource with ID a-207,  
  is a super-class of Class food:NonRedMeatCourse 
Anonymous restriction with ID a-207 on property vin:hasFlavor,  has value food:Strong,  
Anonymous restriction with ID a-208 on property food:hasDrink,  all values from Anonymous resource with ID a-209,  
  is a super-class of Class food:NonRedMeatCourse 
Anonymous restriction with ID a-209 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-342 on property food:hasFood,  all values from food:NonOysterShellfish,  
Anonymous restriction with ID a-210 on property food:hasDrink,  all values from Anonymous resource with ID a-211,  
  is a super-class of Class food:NonOysterShellfishCourse 
Anonymous restriction with ID a-211 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-343 on property food:hasFood,  all values from food:NonBlandFish,  
Anonymous restriction with ID a-212 on property food:hasDrink,  all values from Anonymous resource with ID a-213,  
  is a super-class of Class food:NonBlandFishCourse 
Anonymous restriction with ID a-213 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-147 on property food:hasFood,  
  is a super-class of Class food:MealCourse 
Anonymous restriction with ID a-148 on property food:hasFood,  all values from food:EdibleThing,  
  is a super-class of Class food:MealCourse 
Anonymous restriction with ID a-149 on property food:hasDrink,  
  is a super-class of Class food:MealCourse 
Anonymous restriction with ID a-150 on property food:hasDrink,  all values from food:Wine,  
  is a super-class of Class food:MealCourse 
Anonymous restriction with ID a-214 on property food:course,  
  is a super-class of Class food:Meal 
Anonymous restriction with ID a-215 on property food:course,  all values from food:MealCourse,  
  is a super-class of Class food:Meal 
Anonymous restriction with ID a-344 on property food:hasFood,  all values from food:LightMeatFowl,  
Anonymous restriction with ID a-216 on property food:hasDrink,  all values from Anonymous resource with ID a-217,  
  is a super-class of Class food:LightMeatFowlCourse 
Anonymous restriction with ID a-217 on property vin:hasColor,  has value food:White,  
Anonymous restriction with ID a-218 on property food:hasDrink,  all values from Anonymous resource with ID a-219,  
  is a super-class of Class food:LightMeatFowlCourse 
Anonymous restriction with ID a-219 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-220 on property food:hasDrink,  all values from Anonymous resource with ID a-221,  
  is a super-class of Class food:LightMeatFowlCourse 
Anonymous restriction with ID a-221 on property vin:hasFlavor,  has value food:Moderate,  
Anonymous restriction with ID a-222 on property food:hasDrink,  all values from Anonymous resource with ID a-223,  
  is a super-class of Class food:LightMeatFowlCourse 
Anonymous restriction with ID a-223 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-345 on property food:hasFood,  all values from food:Fruit,  
Anonymous restriction with ID a-224 on property food:hasDrink,  all values from Anonymous resource with ID a-225,  
  is a super-class of Class food:FruitCourse 
Anonymous restriction with ID a-225 on property vin:hasColor,  has value food:White,  
Anonymous restriction with ID a-226 on property food:hasDrink,  all values from Anonymous resource with ID a-227,  
  is a super-class of Class food:FruitCourse 
Anonymous restriction with ID a-227 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-346 on property food:hasFood,  all values from food:Fish,  
Anonymous restriction with ID a-228 on property food:hasDrink,  all values from Anonymous resource with ID a-229,  
  is a super-class of Class food:FishCourse 
Anonymous restriction with ID a-229 on property vin:hasBody,  has value food:Medium,  
Anonymous restriction with ID a-230 on property food:hasDrink,  all values from Anonymous resource with ID a-231,  
  is a super-class of Class food:FishCourse 
Anonymous restriction with ID a-231 on property vin:hasSugar,  has value food:Dry,  
Anonymous restriction with ID a-347 on property food:hasFood,  all values from food:Dessert,  
Anonymous restriction with ID a-232 on property food:hasDrink,  all values from Anonymous resource with ID a-233,  
  is a super-class of Class food:DessertCourse 
Anonymous restriction with ID a-233 on property vin:hasBody,  has value food:Full,  
Anonymous restriction with ID a-234 on property food:hasDrink,  all values from Anonymous resource with ID a-235,  
  is a super-class of Class food:DessertCourse 
Anonymous restriction with ID a-235 on property vin:hasFlavor,  has value food:Strong,  
Anonymous restriction with ID a-236 on property food:hasDrink,  all values from Anonymous resource with ID a-237,  
  is a super-class of Class food:DessertCourse 
Anonymous restriction with ID a-237 on property vin:hasSugar,  has value food:Sweet,  
Anonymous restriction with ID a-348 on property food:hasFood,  all values from food:SweetDe