Die Klasse Ausdruck
hasTopping einige CheeseTopping
ist die Menge von Individuen, von denen jeder bis zu einem gewissen CheeseTopping durch die hasTopping Eigenschaft verwandt ist. In der Pizza-Ontologie, wo es keine Individuen gibt, können Sie immer noch Ergebnisse der Klassenunterklasse für diese Abfrage erhalten, weil die Definition bestimmter Arten von Pizzas (z. B. American) so beschaffen ist, dass jede Pizza, die ein Amerikaner ist, solch ein Topping haben muss. Jetzt
, die ähnlich strukturierte Abfrage
isToppingOf einige amerikanische
ist die Menge von Individuen, von denen jeder bis zu einem gewissen amerikanische Pizza durch die isToppingOf Eigenschaft zusammenhängt. Die Pizza-Ontologie definiert jedoch keine bestimmten Personen, daher gibt es keine Personen als Kandidaten. Aber was ist mit Klassen, die Unterklassen dieses Ausdrucks sein könnten? Zum Beispiel haben Sie das FourCheeseTopping erwähnt. Nun könnte ein bestimmtes Beispiel von FourCheeseTopping, z. B. fourCheeseTopping23 , ein Topping einiger amerikanischer Pizza sein, z.B.:
fourCheeseTopping23 isToppingOf americanPizza72
Allerdings könnte fourCheeseTopping auf einer bestimmten Pizza wurde noch nicht gegeben. Wenn wir eine beliebige Person vom Typ FourCheeseTopping wählen, können wir nicht annehmen, dass es sich um ein Topping von einigen amerikanischen Pizza ist, so können wir nicht folgern, dass die Klasse FourCheeseTopping eine Unterklasse von
isToppingOf
einige Amerikaner
weil es nicht der Fall ist, dass jede Instanz von FourCheeseTopping muss die Spitze einiger amerikanischer Pizza sein. Für einen ähnlichen Fall, der die logische Struktur etwas klarer erscheinen lässt, betrachten Sie die Klassen Employer und Person, und die Objekteigenschaft verwendet und ihre inverse employedBy. Wir könnten sagen, dass jeder Arbeitgeber eine Person als Angestellter haben muss (da sie sonst kein Arbeitgeber wäre):
Arbeitgeber & sqsubseteq; beschäftigt Person
jedoch einige, da eine Person arbeitslos sein kann, ist es, dass
Person & sqsubseteq nicht wahr ist; employedBy obwohl einige Arbeitgeber
selbst beschäftigt und employedBy sind Umkehrungen.
Was Sie tun können, obwohl, wenn Sie wissen wollen, ob Toppings eines bestimmten Typs könnte eine Pizza eines bestimmten Typs platziert werden, ist zu fragen, ob
PizzaType ⊓ ∃ hasTopping.ToppingType
entspricht oder einer Unterklasse von, Eule: Nichts. Zum Beispiel, weil eine amerikanische Pizza nur Toppings vom Typ TomatoTopping, MozzarellaTopping hat, und PeperoniTopping [sic], die Klasse
amerikanischen ⊓ ∃ hasTopping.MixedSeafoodTopping
entspricht owl: Nichts:
Auf der anderen Seite, da eine amerikanische Pizza Muss haben eine MozzarellaTopping, die Klasse
amerikanischen ⊓ ∃ hasTopping.MozzarellaTopping
auf amerikanische Äquivalent ist:
Sind die AmericanHot, amerikanisch und usw. der Verschluss Axiome haben? – msc87