W3C home > Mailing lists > Public > www-archive@w3.org > November 2001

Few CWM Bugs

From: Sean B. Palmer <sean@mysterylights.com>
Date: Thu, 22 Nov 2001 17:45:09 -0000
Message-ID: <057101c1737d$709c9220$deda93c3@localhost>
To: "Tim Berners-Lee" <timbl@w3.org>, "Dan Connolly" <connolly@w3.org>
Cc: <www-archive+n3bugs@w3.org>
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. 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> .

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

Cheers,

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .
Received on Thursday, 22 November 2001 12:45:51 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 7 November 2012 14:17:14 GMT