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

Re: Intersection of properties?

From: Jeff Thompson <jeff@thefirst.org>
Date: Sat, 02 Aug 2008 18:19:01 -0700
Message-ID: <48950785.10903@thefirst.org>
To: Michael Schneider <schneid@fzi.de>
CC: Bijan Parsia <bparsia@cs.man.ac.uk>, public-owl-dev@w3.org

Michael Schneider wrote:
> Bijan Parsia answered to Jeff Thompson:
>>> 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.
> I think Jeff is mainly interested in the other direction:
>   (desires and can_do) subPropertyOf does

Yes.  Consider the simpler example "if Y is Desirable and Y is Doable
then Y is Done".   In OWL 2 with class intersections:
SubClassOf(ObjectIntersectionOf(Desirable Doable) Done)
Thus if
ClassAssertion(action Desirable)
ClassAssertion(action Doable)
we can conclude
ClassAssertion(action Done)

In Prolog:
'Done'(Y) :- 'Desirable'(Y), 'Doable'(Y).

I am asking about the same thing with properties.
Received on Sunday, 3 August 2008 01:53:06 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:17 UTC