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

RE: [BLD] XML syntax for the slots

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


On purpose:


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.


-----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


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

and in a Frame:
  <slot ordered="yes">

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:45 UTC