0
這個問題與此有關:OWL and DL Reasoning: Why is Eros not beautiful?沒有孩子和幸福結合?
我試圖創建具有這些特徵的本體:如果所有的孩子們都成功
-
每個人都是幸福的。
-
阿芙羅狄蒂是愛神的父母。
-
愛神是成功的。
這裏就是我的快樂:
我希望忒不快樂,因爲開放世界假設(她以後可能有另一個孩子),但愛神呢?他沒有孩子,他不應該快樂嗎?
這個問題與此有關:OWL and DL Reasoning: Why is Eros not beautiful?沒有孩子和幸福結合?
我試圖創建具有這些特徵的本體:如果所有的孩子們都成功
每個人都是幸福的。
阿芙羅狄蒂是愛神的父母。
愛神是成功的。
這裏就是我的快樂:
我希望忒不快樂,因爲開放世界假設(她以後可能有另一個孩子),但愛神呢?他沒有孩子,他不應該快樂嗎?
我們不知道愛神星是否有任何孩子,與阿芙羅狄蒂相同的假設。因此愛神也不會高興。
Thanks @Link。我現在有一個新問題http://stackoverflow.com/questions/35687045/x-doesn-t-like-anything-that-y-likes如果你有時間。 – gsamaras