- From: Jeff Thompson <jeff@thefirst.org>
- Date: Sat, 02 Aug 2008 18:19:01 -0700
- 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