W3C home > Mailing lists > Public > public-rif-wg@w3.org > October 2008

[RIF] bld->xml

From: Stella Mitchell <cleo@us.ibm.com>
Date: Thu, 9 Oct 2008 11:04:07 -0400
To: "RIF WG" <public-rif-wg@w3.org>
Message-ID: <OF349E67B4.B2D1DFF3-ON852574DD.004D9903-852574DD.0052C68B@us.ibm.com>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:55 GMT