我已经被困了两天,现在试图理解为什么下面的场景不起作用:
截图:http://dl.dropbox.com/u/4677548/screenshots.html
我有一个VegetarianFood类(Food的子类)相当于"Food and(Eggs or MilkAndDerivates或VeganFood)",你可以在屏幕截图中看到1
反过来,VeganFood课程相当于其他课程(NutsAndSeeds,谷物,水果等...)截图2
你可以看到有两个人(切达奶酪和腰果)创建为MilkAndDerivates和NutsAndSeeds截图3,他们被正确推断为VegetarianFood和VeganFood成员
然后我创建了两个人作为食谱,一个只有腰果(PastaVega)和一个同时有切达干酪和腰果(PastaVege),使用对象属性hasIngredient截图4和5
他们已经推断为配方......但没有落入VegatarianRecipe和VeganRecipe的类别,定义如下截图6和7
我没有线索,为什么他们不被推断为VegetarianRecipe(或素食主义者)？我错过了什么？
编辑:
如果我改变VegetarianRecipe(或素食主义者)从"食谱和(只有素食者食物)"
"食谱和(有一些素食食品)"
截图8
接受个人展示,但当然这不是我想要做的,因为这将包括混合肉和素食食谱的食谱.那么如何定义一个素食和纯素食品类,以便推理员在食谱素食或素食时正确推断????