Was sollte das Ergebnis dieser Ontologie sein?

Question

Ich lerne Web-Ontologie und Beschreibung Logik. Ich stieß auf diese und war ziemlich verwirrt darüber, was die Antwort sein sollte:

Dies ist die Wissensbasis. Wo Parent (X, Y) bedeutet, ist X Eltern von Y.

Parent(X,Y). 
Parent(Y,Z). 
Parent(X,Z). 
Parent(Z,M). 
Manager(Y). 
¬Manager(M). 

Ist diese Tatsachen Tatsache bedeuten:

X∈(∃Parent.(Manager⊓∃Parent.¬Manager)) 

P. S ist dies keine Hausaufgaben.

Answer 1

Kurze Antwort, nein.

Was abgeleitet werden kann:

∃Parent.⊤ (X has some parent, namely Y and Z) ∃Parent.Manager (X has some parent that is a manager, namely Y but not Z) ∃Parent.(Manager ⊓ ∃Parent.⊤) (X has some parent that is a manager and has a parent, namely Y)

Z kein Manager ist, so könnte man nur schließen ∃Parent.∃Parent.⊤ (X has some parent (Y and Z) that has a parent ∃Parent.∃Parent.¬Manager (X has some parent (Z) that has a parent (M) which is not a manager)