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

Re: Intersection of properties?

From: Chris Mungall <cjm@fruitfly.org>
Date: Sat, 2 Aug 2008 18:57:17 -0500
To: Bijan Parsia <bparsia@cs.man.ac.uk>
Message-Id: <16B98EF1-F6A4-4824-B068-EB339C1D5968@fruitfly.org>
Cc: Jeff Thompson <jeff@thefirst.org>, "public-owl-dev@w3.org" <public-owl-dev@w3.org>



On Aug 2, 2008, at 6:19 PM, Bijan Parsia <bparsia@cs.man.ac.uk> wrote:

>
> 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'

Or as a subproperty of the intersection

>>
>> 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.

I don't think so

That would be

desires(X,Y):- does(X,Y).
cando(X,Y):- does(X,Y).

I don't have pellet on my iphone but I am fairly sure that given your  
axioms and the facts

a desires b.
a cando b.

There is no entailment of

a does b.

Perhaps there is a way to do property intersections using role chains?  
If so it isn't intuitive.


>
> ?
>
> Cheers,
> Bijan.
>
>
Received on Saturday, 2 August 2008 23:58:58 GMT

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