Search code examples
rdfowlprotegereasoningpellet

No children and happiness combined?

This question is related to this: OWL and DL Reasoning: Why is Eros not beautiful?

I am trying to create an ontology with these features:

  1. Every person is happy if all his children are successful.

  2. Aphrodite is a parent of Eros.

  3. Eros is successful.

And here is what I have for Happy:

enter image description here

I expect Aphrodite not to be Happy, because of the Open World Assumption (she may have another child later), but what about Eros? He has no children, shouldn't he be happy?

Solution

  • We do not know if Eros has any children either, same assumption you used for Aphrodite. Hence Eros cannot be happy either.