Does anybody know a way to express
an inference rule that from:
<person rdf:ID="A">
<hasBrother>
<person>
<hasDaughter rdf:resource="#C"/>
</person>
</hasBrother>
</person>
follows:
<person rdf:ID="A">
<hasNiece rdf:resource="#C">
</person>
In other words:
{hasNiece} = {hasBrother X hasDaughter}
I had been pondering over this for some time
and could not find an answer neither myself nor by asking some other people.
Thanks,
--Nikita.