Нет детей и счастья вместе взятых?

Question

Этот вопрос связан с этим: OWL and DL Reasoning: Why is Eros not beautiful?

Я пытаюсь создать онтологию с этими функциями:

1. Каждый человек счастлив, если все его дети успешны.

2. Афродита является родителем Эроса.

3. Eros успешно.

И вот что я для Happy:

Я ожидаю, что Афродита не быть счастливым, потому Открытый мир Успенская (она может иметь еще одного ребенка позже), но как насчет Эроса? У него нет детей, разве он не должен быть счастлив?

Answer 1

Мы не знаем, есть ли у Эроса какие-либо дети, то же предположение, что и для Афродиты. Поэтому Эрос тоже не может быть счастлив.