2016-11-30 17 views
0

웹 온톨로지 및 설명 논리를 배우고 있습니다. 나는이 문제를 겪고 대답이 무엇인지에 대해 매우 혼란스러워했다.이 온톨로지의 결과는 무엇이되어야 하는가?

이것은 지식 기반이다. 부모 (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이 숙제되지 않습니다.

답변

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)