rdf - 没有孩子和幸福结合在一起？

Question

这个问题与此有关：OWL and DL 推理：为什么爱神不美？

我正在尝试创建具有以下功能的本体：

1. 如果他所有的孩子都成功了，那么每个人都是幸福的。

2. 阿芙罗狄蒂是爱神之父。

3. 爱神是成功的。

这是我对快乐的看法：

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

Answer 1

我们也不知道爱神是否有任何孩子，这与您对阿芙罗狄蒂使用的假设相同。因此，爱神也不会快乐。