rdf - 子供がいないことと幸せが組み合わさっていますか？

Question

この質問はこれに関連しています: OWL と DL 推論: なぜエロスは美しくないのですか?

これらの機能を備えたオントロジーを作成しようとしています:

1. すべての子供が成功すれば、誰もが幸せです。

2. アフロディーテはエロスの親です。

3. エロス成功。

そして、ここに私が幸せのために持っているものがあります:

私はアフロディーテが幸せではないことを期待しています.Open World Assumption（彼女は後で別の子供を持つかもしれません）のために、しかしErosはどうですか？彼には子供がいません。彼は幸せであるべきではありませんか?

Answer 1

エロスにも子供がいるかどうかはわかりません。アフロディーテに使用したのと同じ仮定です。だからエロスも幸せになれない。