Re: owl:oneOf with bnode subject

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.


Yosi