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.

That was supposed to be a "theoretical explanation" of how the new syntax
reduces to the one everybody knows from school.
But the whole idea of the slotted syntax is not to subject the user to the
torture of having to write stuff in the awkward dotted notation that
results from the reduction.


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

It is simpler to describe in the sense of not having to explain new
theories, but the whole idea of the higher-level syntax is to provide
a more natural and powerful syntax to the user.

An analogy might be that the Assembler language has undoubtedly simpler syntax
than Java (by orders of magnitude). And Java syntax reduces to Assembler.
But you don't want to program in assembler.


	--michael  


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

Received on Tuesday, 21 November 2006 12:49:18 UTC