- From: Dan Connolly <connolly@w3.org>
- Date: Tue, 26 Sep 2006 23:05:10 -0500
- To: "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>
- Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
On Tue, 2006-09-26 at 22:42 -0400, Boley, Harold wrote: > An XML syntax for integer constants has not yet been introduced [...] > > Our Extensible Design has proceeded bottom-up from Conditions > to Horn clauses, but we have not yet proposed the next higher > level [...] OK, I'll stay tuned. > Allowing <Atom> outside an Implies (e.g., directly in a Rulebase) > is what we intended. Ah. thanks. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/ D3C2 887B 0F92 6005 C541 0875 0F91 96DE 6E52 C29E
Received on Wednesday, 27 September 2006 04:05:18 UTC