这个本体的结果应该是什么？

Question

我正在学习Web本体和描述逻辑。 我碰到过这个问题，并且对于应该回答的问题感到困惑：

这是知识库。当家长（X，Y）是指X为Y.

的父母

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

难道这些事实意味着一个事实：

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

P.S这不是功课。

Answer 1

简答题，没有。

什么可以推断出：

∃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是不是经理，所以你只能推断 ∃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)