这个ontology的结果应该是什么？
What should be the outcome of this ontology?
我正在学习网络 ontology 和描述逻辑。
我遇到了这个问题，对答案应该是什么感到很困惑：
这是知识库。其中 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这不是作业。
简答，不。
可以推断的是：
∃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)
我正在学习网络 ontology 和描述逻辑。 我遇到了这个问题，对答案应该是什么感到很困惑：
这是知识库。其中 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这不是作业。
简答，不。
可以推断的是：
∃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)