property inference rule

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.