Re: [RIF] Extensible Design: Horn semantics and syntax actions completed

On Thu, 2006-09-14 at 13:23 -0400, Boley, Harold wrote:
> Michael & I have completed our Horn semantics and syntax
> actions from Tuesday, as part of the RIF Extensible Design:
> http://www.w3.org/2005/rules/wg/wiki/B._Extension%3A_RIF_Rule_Language
> http://www.w3.org/2005/rules/wg/wiki/B.1_Horn_Rules

I just had a go at implementing a translator from N3-rules syntax
to this syntax:

  http://www.w3.org/2000/10/swap/n3absyn.py 1.4

Attached find the output of running it on
  http://www.w3.org/2000/10/swap/test/syntax/numbers.n3
and then indenting the output with tidy -i -xml .

What's the XML syntax for integer constants? Did I miss it?
I infer it's something like:

   <Data type="http://www.w3.org/2001/XMLSchema#integer">2</Data>

I wonder if a short-cut is worthwhile...
   <Int>2</Int>

Oops; I see my code throws away lang information in cases like...
  "Le chat"@fr <#is> "The french phrase 'Le chat'".

Where does language information go in the abstract/concrete syntaxes?

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E