property inference rule

Does anybody know a way to express 
an inference rule that from:

<person rdf:ID="A">
            <hasDaughter rdf:resource="#C"/>


<person rdf:ID="A">
    <hasNiece rdf:resource="#C">

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.



Received on Monday, 5 November 2001 09:29:26 UTC