没有孩子和幸福相结合？

Question

这个问题与此有关：OWL and DL Reasoning: Why is Eros not beautiful?

我正在尝试使用这些功能创建一个本体：

1.   

   如果他的孩子都成功，每个人都会感到高兴。

2.   

   阿芙罗狄蒂是爱神的父母。

3.   爱神成功了。

以下是我对Happy的看法：



我希望阿芙罗狄蒂不要开心，因为开放世界的假设（以后她可能会有另一个孩子），但爱神呢？他没有孩子，他不应该幸福吗？

Answer 1

我们不知道爱神是否有任何孩子，也就是你用于阿芙罗狄蒂的假设。因此，爱神也不会幸福。