RE: [RIF] Extensible Design: Horn semantics and syntax actionscompleted

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