웹 온톨로지 및 설명 논리를 배우고 있습니다. 나는이 문제를 겪고 대답이 무엇인지에 대해 매우 혼란스러워했다.이 온톨로지의 결과는 무엇이되어야 하는가?
이것은 지식 기반이다. 부모 (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이 숙제되지 않습니다.