[RIF] bld->xml

Hi Hassan,

I don't mean to distract you from work on the new 
version of bld->xml;  this question/issue may apply
to that version also.

This document:
 Group(
     Forall ?x ( 
       "http://example.com/example#p1"^^rif:iri(?x)  :-  External("
http://example.com/example#f1"^^rif:iri(?x  "0"^^xs:integer)) = 
"0"^^xs:decimal
     )
  )
 
is not accepted by the parser (unexpected 'equal') ,
 but I think it should be according to the documentation
 in .../BLDDoc/BLR.html  and .../BLDDoc/BLC.html?

Stella

p.s.
 This very similar (External removed) document is parsed successfully
  Group(
     Forall ?x ( 
        "http://example.com/example#p1"^^rif:iri(?x)   :-  "
http://example.com/example#f1"^^rif:iri(?x  "0"^^xs:integer) = 
"0"^^xs:decimal
     )
  )

Received on Thursday, 9 October 2008 15:04:49 UTC