W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Inferring Properties based on Types

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

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

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 20:07:18 UTC