- From: <jos.deroo@agfa.com>
- Date: Sun, 25 Jun 2006 12:25:28 +0200
- To: syosi@MIT.EDU
- Cc: public-cwm-bugs@w3.org
Yosi Scharf wrote:
> jos.deroo@agfa.com wrote:
> > using filter
> > {?X :test :ok} => {?X :test :ok}.
> >
> > when given
> > :s owl:oneOf (:u :v :w).
> > {?C owl:oneOf ?L} => {?C :test :ok}.
> >
> > cwm returns
> > :s :test :ok .
> >
> > which is fine, but when given
> > _:s owl:oneOf (:u :v :w).
> > {?C owl:oneOf ?L} => {?C :test :ok}.
> >
> > cwm returns no answer..
> > although when given
> > _:s :p (:u :v :w).
> > {?C :p ?L} => {?C :test :ok}.
> >
> > cwm returns a fine
> > <#_g0> :test :ok .
> >
> >
> >
> Cwm currently thinks that the fact that a bNode is owl:oneOf a list is a
> boring fact. If you say something about that bNode other than that, it
> should work.
It is happy with
[ owl:oneOf [ owl:sameAs (:u :v :w)]].
{?C owl:oneOf ?L} => {?C :test :ok}.
but that is a bit longwinded to write in cases like
:grayTube :isUsedForTest [ owl:oneOf [ owl:sameAs (:glucoseLevels
:bloodAlcoholLevels :lactate :bicarbonate)]].
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 25 June 2006 10:25:44 UTC