L'espressione classe
hasTopping alcuni CheeseTopping
è l'insieme di individui, ciascuno dei quali è relativo a qualche CheeseTopping dalla struttura hasTopping. Nella Pizza ontologia, dove non ci sono individui, è ancora possibile ottenere risultati di sottoclassi di classe per questa query perché la definizione di alcuni tipi di pizze (ad es. Americana) è tale che qualsiasi pizza che è un americano deve avere tale copertura.
Ora, la query in modo simile strutturato
isToppingOf alcuni americano
è l'insieme di individui, ciascuno dei quali è legato a una pizza americana dalla struttura isToppingOf. Tuttavia, la pizza ontologia non definisce particolari individui, quindi non ci sono individui come candidati. Ma che dire delle classi che potrebbero essere sottoclassi di questa espressione? Ad esempio, hai menzionato il FourCheeseTopping. Ora, una particolare istanza di FourCheeseTopping, ad esempio, FourCheeseTopping23 potrebbe essere essere un condimento di alcune pizze americane, ad es.:
fourCheeseTopping23 isToppingOf americanPizza72
Tuttavia, fourCheeseTopping potrebbe non essere stato inserito in qualsiasi pizza particolari ancora. Quando scegliamo un individuo arbitraria di tipo FourCheeseTopping, non possiamo dedurre che si tratta di una guarnizione di una pizza americana, quindi non possiamo dedurre che il FourCheeseTopping classe è una sottoclasse di
isToppingOf alcuni americana
perché non è il caso che ogni istanza di FourCheeseTopping deve essere il condimento di qualche pizza americana. Per un caso simile che potrebbe rendere la struttura logica un po 'più chiara, si considerino le classi Employer e Person, e la proprietà dell'oggetto si impegna e il suo inverso viene impiegato. Potremmo dire che ogni datore di lavoro deve avere una persona come un impiegato (in quanto altrimenti non sarebbe un datore di lavoro):
di lavoro & sqsubseteq; impiega alcuni persona
Tuttavia, dal momento che una persona può essere disoccupata, è non vero che
persona & sqsubseteq; employedBy alcuni lavoro
anche se impiega e employedBy sono inverse.
Cosa si può fare, però, se volete sapere se condimenti di un particolare tipo potrebbero essere collocati un'ottima pizza di tipo particolare, è quello di chiedere se
PizzaType ⊓ ∃ hasTopping.ToppingType
è equivalente a, o una sottoclasse di, gufo: Niente. Per esempio, dal momento che una pizza americana ha solo guarnizioni di tipo TomatoTopping, MozzarellaTopping e PeperoniTopping [sic], la classe
americano ⊓ ∃ hasTopping.MixedSeafoodTopping
è equivalente a gufo: Niente:
D'altra parte, dal momento che una pizza americana must hanno un MozzarellaTopping, la classe
americano ⊓ ∃ hasTopping.MozzarellaTopping
è equivalente ad American:
è l'AmericanHot, americani, ecc sono gli assiomi di chiusura? – msc87