Ich stecke seit zwei Tagen fest und versuche zu verstehen, warum das folgende Szenario nicht funktioniert:

Screenshots hier:http://dl.dropbox.com/u/4677548/screenshots.html

Ich habe eine VegetarianFood-Klasse (Unterklasse von Food), die "Food and (Eggs oder MilkAndDerivates oder VeganFood)" entspricht (siehe Abbildung 1)

Die VeganFood-Klasse wiederum entspricht anderen Klassen (NutsAndSeeds, Cereals, Fruit, etc ...). Screenshot 2

Wie Sie sehen, gibt es zwei Personen (Cheddar-Käse und Cashew), die als MilkAndDerivates- und NutsAndSeeds-Screenshot 3 erstellt wurden und die korrekt als VegetarianFood- und VeganFood-Mitglieder abgeleitet wurden

Dann habe ich zwei Einzelpersonen als Rezepte erstellt, eine nur mit Cashew (PastaVega) und eine mit Cheddar Chese und Cashew (PastaVege), wobei ich die Objekteigenschaft hasIngredient screenshot 4 und 5 verwende

und sie wurden als Rezept abgeleitet ... ABER keines fällt in die Kategorie von VegatarianRecipe und VeganRecipe, die wie folgt definiert sind: Screenshot 6 und 7

Ich habe keine Ahnung, warum sie nicht als VegetarianRecipe (oder vegan) gefolgert werden? Was fehle ich?

Bearbeiten:

Wenn ich VegetarianRecipe (oder vegan) von "Recipe and (hasIngredient ONLY VegetarianFood)" ändere

zu "Rezept und (hasIngredient SOME VegetarianFood)"

Screenshot 8

Die Rezepte der einzelnen Personen werden angezeigt, aber das ist natürlich nicht das, was ich versuche, da es auf diese Weise Rezepte mit gemischtem Fleisch und vegetarischem Essen beinhaltet. So definieren Sie eine vegetarische und eine vegane Rezeptklasse, damit der Reasoner richtig schließen kann, wenn ein Rezept vegetarisch oder vegan ist ????