Inferring Properties based on Types

• From: Swanson, Tim <tim.swanson@semanticarts.com>
• Date: Fri, 14 Sep 2007 16:18:10 -0600
• To: <public-owl-dev@w3.org>
• Message-ID: <51F1B258494D5A4488C95F40E55F35D53E656C@exchsrvr.semanticarts.local>

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

Received on Friday, 14 September 2007 22:15:37 UTC