- From: Chris Mungall <cjm@fruitfly.org>
- Date: Sat, 2 Aug 2008 18:57:17 -0500
- To: Bijan Parsia <bparsia@cs.man.ac.uk>
- 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 UTC