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

【问题标题】：What should be the outcome of this ontology?这个本体的结果应该是什么？
【发布时间】：2016-11-30 22:37:34
【问题描述】：

我正在学习网络本体和描述逻辑。我遇到了这个问题，对答案应该是什么感到很困惑：

这是知识库。其中 Parent(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 这不是家庭作业。

【问题讨论】：

标签： logic owl ontology discrete-mathematics reasoning

【解决方案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)

【讨论】：