Каким должен быть результат этой онтологии?

Question

Каким должен быть результат этой онтологии?

Я изучаю веб-онтологию и логику описания. Я сталкивался с этим и был довольно смущен тем, что должно быть ответом:

Это база знаний. Где 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))

PS это не домашняя работа.

0

logic owl ontology discrete-mathematics reasoning

Источник

user5307046 30 ноя '16 в 22:37

1 ответ

Решение

Другие вопросы по тегам logic owl ontology discrete-mathematics reasoning

user4744359 01 дек '16 в 10:28 2016-12-01 10:28 · Accepted Answer · 2016-12-01 10:28

Короткий ответ, нет.

Что можно сделать вывод:

∃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)