W3C home > Mailing lists > Public > public-cwm-bugs@w3.org > June 2006

Re: owl:oneOf with bnode subject

From: <jos.deroo@agfa.com>
Date: Sun, 25 Jun 2006 12:25:28 +0200
To: syosi@MIT.EDU
Cc: public-cwm-bugs@w3.org
Message-ID: <OF10836AB7.B3040960-ONC1257198.0035FEBA-C1257198.0039383D@agfa.com>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:10:59 GMT