Re: [TED] CORE Pages on Positive Conditions and Horn Rules Edited: Slots & Constraints

Quoting "Boley, Harold" <Harold.Boley@nrc-cnrc.gc.ca>:

>
> Referring to the slides of an F2F4 breakout session
> (http://lists.w3.org/Archives/Public/public-rif-wg/2006Nov/0025.html),
> I edited two wiki pages for extending the existing work with
> slots and calls to external constraint solvers (ACTION-180):

What you have proposed doesn't match my own understanding of what we  
discussed at the breakout.  My understanding was that the condition  
language wouldn't change, just that for *rules* constraints would be  
added (so head, body, vars, and constraints would be the parts of a  
rule) and for the core the constraints would be limited to identity  
constraints that woudl bind variables in the rule.  So handling  of  
keyword args would be in the constraints.

This would be much easier (for me) to describe, explain, and discuss  
at an abstract syntax or meta-model level.  It is really difficult  
(for me) to understand the changes to the syntax by reading the eBNF.

-Chris


>
>
> Slots (CORE Page on Positive Conditions):
>
> http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions
>
> http://www.w3.org/2005/rules/wg/wiki/A.1_Basis%3A_Positive_Conditions?ac
> tion=diff&rev2=45&rev1=43
>
>
> Calls to external constraint solvers (CORE Page on Horn Rules):
>
> http://www.w3.org/2005/rules/wg/wiki/B.1_Horn_Rules
>
> http://www.w3.org/2005/rules/wg/wiki/B.1_Horn_Rules?action=diff&rev2=24&
> rev1=22
>
>
> Further edits, for corresponding extensions of the DTDs and
> SEMANTICS sections, are in preparation.
>
> -- Harold
>
>