Re: owl:oneOf with bnode subject

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/