- From: Yosi Scharf <syosi@MIT.EDU>
- Date: Sat, 24 Jun 2006 22:15:18 -0400
- To: jos.deroo@agfa.com
- CC: public-cwm-bugs@w3.org
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
Received on Sunday, 25 June 2006 02:15:30 UTC