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

Re: Intersection of properties?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Sun, 3 Aug 2008 00:19:50 +0100
Message-Id: <BA4D3465-4AAB-486E-8938-807D380C418D@cs.man.ac.uk>
Cc: public-owl-dev@w3.org
To: Jeff Thompson <jeff@thefirst.org>

On Aug 2, 2008, at 8:47 PM, Jeff Thompson wrote:

>
> Consider the rule that if X desires Y and X can_do Y, then X does Y.
> In Prolog, this would be:
>
> does(X, Y) :- desires(X, Y), can_do(X, Y).
>
> This is really defining 'does' as the intersection of the  
> properties 'desires' and 'can_do'.
> I couldn't find something like this in the OWL use cases.  Is there  
> a way to do this in OWL2?

does subPropertyOf desires.
does subPropertyOf can_do.

?

Cheers,
Bijan.
Received on Saturday, 2 August 2008 23:20:38 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:56 GMT