- From: Stella Mitchell <cleo@us.ibm.com>
 - Date: Thu, 9 Oct 2008 11:04:07 -0400
 - To: "RIF WG" <public-rif-wg@w3.org>
 
Received on Thursday, 9 October 2008 15:04:49 UTC
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