- 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