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

Intersection of properties?

From: Jeff Thompson <jeff@thefirst.org>
Date: Sat, 02 Aug 2008 12:47:35 -0700
Message-ID: <4894B9D7.3080500@thefirst.org>
To: public-owl-dev@w3.org

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?

Thanks for any help,
- Jeff Thompson
Received on Saturday, 2 August 2008 19:48:18 GMT

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