RE: [BLD] XML syntax for the slots

Christian,

On purpose:

http://www.w3.org/2005/rules/wiki/BLD#Terms

UNITERMs with named arguments correspond to

3. Terms with named arguments. A term with named arguments is of the form t(s1->v1 ... sn->vn), where t \in Const and v1, ..., vn are base terms and s1, ..., sn are pairwise distinct symbols from the set ArgNames.

Frames correspond to

7. Frame terms. t[p1->v1 ... pn->vn] is a frame term (or simply a frame) if t, p1, ..., pn, v1, ..., vn, n  0, are base terms.

For example, unlike the s1, ..., sn of named-argument UNITERMs,
the p1, ..., pn of frames can be complex expressions.

Harold


-----Original Message-----
From: Christian de Sainte Marie [mailto:csma@ilog.fr] 
Sent: June 12, 2008 12:28 PM
To: Boley, Harold; RIF WG
Subject: [BLD] XML syntax for the slots

Harold,

I was wondering why the XML syntax for slots was different between slots 
in an UNITERM:
  <slot ordered="yes">
     <Name>unicodestring1</Name>
     filler1'
  </slot>

and in a Frame:
  <slot ordered="yes">
     key1'
     filler1'
  </slot>

Is that on purpose, or is it just oversight?

Christian (working on the PRD-BLD compatibility table :-)

Received on Thursday, 12 June 2008 16:35:51 UTC