W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2006

[TED] CORE Pages Edited for Slot-to-Positional Transformation and Multisorted Syntax

From: Boley, Harold <Harold.Boley@nrc-cnrc.gc.ca>
Date: Mon, 18 Dec 2006 21:36:01 -0500
Message-ID: <E4D07AB09F5F044299333C8D0FEB45E902F6D0CE@nrccenexb1.nrc.ca>
To: "RIF WG" <public-rif-wg@w3.org>

In partial fulfillment of what I envisaged by today:

* Following the discussions since the F2F4 breakout,
I extended the CORE document's basic slotted syntax by
sections on slot-to-positional "SYNTACTIC TRANSFORMATION"
in both:

http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive
http://www.w3.org/2005/rules/wg/wiki/CORE/Rules/Horn

* Based on recently discussed examples, I added a
preliminary multisorted syntax for primitive sorts,
initializing a section on "Multisorted Syntax":

http://www.w3.org/2005/rules/wg/wiki/CORE/Conditions/Positive

* The CORE "Discussion" section lists the still missing
non-primitive-sort syntax and a semantics parameterized
w.r.t. external calls:

http://www.w3.org/2005/rules/wg/wiki/CORE


The other part, a summary of the offline discussion
between Hassan, Michael, and me, became a bit delayed
by the 'recursion' discussion. Because of our current
timezone difference I don't know if Michael will still
send something in the Innsbruck morning.


-- Harold
Received on Tuesday, 19 December 2006 02:36:14 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:34 GMT