Question

我正在学习网络本体和描述逻辑。我偶然发现了这个问题并且对于应该是什么答案非常困惑：

这是知识库。其中父（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)

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

1 个答案: