- From: Dan Connolly <connolly@w3.org>
- Date: Thu, 22 Nov 2001 13:12:45 -0600
- To: "Sean B. Palmer" <sean@mysterylights.com>
- CC: Tim Berners-Lee <timbl@w3.org>, www-archive+n3bugs@w3.org
"Sean B. Palmer" wrote: > > Hi, > > I've been using CWM to process a set of schemata, and in doing so, > found a few bugs:- > > 1) log:uri [ log:startsWith :x ] . doesn't work. try string:startsWith, where @prefix string: <http://www.w3.org/2000/10/swap/string#>. cf updated http://www.w3.org/2000/10/swap/test/includes/t8.n3 > For example:- > > this log:forAll :x . > { :x a rdfs:Class; log:uri [ log:startsWith > "http://example.org/" ] } > log:implies { rdfs:Class swn:hasInstance :x } . > > just won't apply. > > 2) URI-views without a "#" don't have a prefix applied to them on the > output, so you end up with something like:- > > @prefix :e <http://example.org/> . > <http://example.org/x> <http://example.org/y> > <http://example.org/z> . yup; that's by design. Notation3 encourages folks to use namespace names that end with #. (This is TimBL's idea; I don't feel strongly about it.) > 3) DAML lists as subjects get messed up when you run them through:- > > [[[ > @prefix : <http://example.org/#> . > (:p :q) :r :s . > ]]] - test.n3 > > python cwm.py test.n3 -think > out.n3 > > [[[ > @prefix : <http://example.org/#> . > > [ <http://www.daml.org/2001/03/daml+oil#first> :p; > <http://www.daml.org/2001/03/daml+oil#rest> ( > :q > ) . > <#_g1> <http://www.daml.org/2001/03/daml+oil#first> :q; > <http://www.daml.org/2001/03/daml+oil#rest> ( > ) . > <#_g0> :r :s ]. > ]]] - out.n3 "messed up" w.r.t. what? outputting DAML lists in the subject spot isn't a tested/supported feature. > Cheers, > > -- > Kindest Regards, > Sean B. Palmer > @prefix : <http://webns.net/roughterms/> . > :Sean :hasHomepage <http://purl.org/net/sbp/> . -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Thursday, 22 November 2001 14:12:50 UTC