- From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
- Date: Thu, 12 Jun 2008 12:35:08 -0400
- To: "Christian de Sainte Marie" <csma@ilog.fr>, "RIF WG" <public-rif-wg@w3.org>
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