CWM Bug: Filter Error

Hi,

Summary: CWM gives an error when you try to filter a document with
itself, having already applied the rules.

Example input:-

[[[
@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .

this log:forAll :x , :y , :z .

:p :q :r .
{ :x :y :z } log:implies { :z :y :x } .
]]]

Saving it as filterTest.n3 and then running:-

   $ cwm filterTest.n3 --think --filter=filterTest.n3

gives the following error:-

[[[
File "/home/2000/10/swap/llyn.py", line 1037, in endDoc
    self.endFormulaNested(self.intern(rootFormulaPair))
  File "/home/2000/10/swap/llyn.py", line 887, in endFormulaNested
    new = self.endFormula(F)
  File "/home/2000/10/swap/llyn.py", line 825, in endFormula
    if len(gl) != l: raise RuntimeError("@@Length is %i instead of %i"
%(len(gl), l))
RuntimeError: @@Length is 10 instead of 5
]]]

Versions: CWM: 1.90; Llyn: 1.18.

Cheers,

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://purl.org/net/swn#> .
:Sean :homepage <http://purl.org/net/sbp/> .

Received on Monday, 11 March 2002 23:49:34 UTC