- 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