2016-02-28 40 views
0

這個問題與此有關:OWL and DL Reasoning: Why is Eros not beautiful?沒有孩子和幸福結合?

我試圖創建具有這些特徵的本體:如果所有的孩子們都成功

  1. 每個人都是幸福的。

  2. 阿芙羅狄蒂是愛神的父母。

  3. 愛神是成功的。

這裏就是我的快樂:

enter image description here

我希望忒不快樂,因爲開放世界假設(她以後可能有另一個孩子),但愛神呢?他沒有孩子,他不應該快樂嗎?

+0

Thanks @Link。我現在有一個新問題http://stackoverflow.com/questions/35687045/x-doesn-t-like-anything-that-y-likes如果你有時間。 – gsamaras

回答

2

我們不知道愛神星是否有任何孩子,與阿芙羅狄蒂相同的假設。因此愛神也不會高興。