Inferring Properties based on Types

Is there any way in OWL (or in any of the proposed extensions) to
express an inference rule like the following:

(?x :P ?y)
:A(?y)
=>
(?x :R ?y)


For a more concrete example:

(?x :hasSibling ?y)
:Male(?y)
=>
(?x :hasBrother ?y)


I'm pretty sure it can't be done in OWL 1.0, is there anything in 1.1
that would allow this?

I'm not even sure where the axiom would be, probably on the inferred
property (a "qualified subproperty"?). Would such a construct be
DL-safe?


Thanks,

Tim Swanson
Semantic Arts, Inc.
Fort Collins, Colorado