[SCL] Re: new draft of ISO docs posted

[Harry Delugach]

Pat,

Thanks very much for all your efforts here! I'll have a chance to take 
a look at the draft tonight and gather together whatever the others 
have. Have a good trip, and we'll discuss some of the loose ends when 
you get back.

Harry

On Mar 8, 2005, at 11:39 AM, Pat Hayes wrote:

> Hi Harry
>
> I just put up the final (for now) edit of the ISO draft. I won't be 
> able to work on this now until next week, so you have the baton.
>
> http://www.ihmc.us/users/phayes/CL/ISOCommonLogicInWurdLatest.doc  or 
> .pdf
>
> I have promised you a few things I havn't delivered, but will: a 
> glossary of the technical words,  a complete ND inference system for 
> an appendix; the XCL syntax; and a draft of the conformance section. I 
> will do the conformance first, but not before the end of next week Im 
> afraid.
>
> The technical material is now in sections 5 6 and 7. Section 6 is the 
> normative center of the document describing the abstract syntax and 
> the general semantics and the ideas of dialect, network, etc. . 
> Section 5 is motivation for the techniques in 6. Section 7 ought to be 
> the KIF appendix. I have fixed up the ebnf syntax and given it a 
> self-contained semantics and an up-to-date treatment of datatypes.
>
> I am pretty happy with the technical stuff in the state it is in; it 
> is pretty much what Chris designed over a year ago, but given a 
> slightly different spin in the way it is presented. The network stuff 
> is based on work Ive been doing with Jeremy Carrol and others on 
> 'named graphs', which now has a pretty solid pedigree and is likely to 
> be incorporated into the next round of W3C standardization. The 
> datatype module stuff is based on a pretty obvious mapping of the 
> RDF/OWL datatype model into CL, and I like it as its a demonstration 
> of the utility of the wildwest syntax in the core.
>
> I think all that is left to do, apart from the XCL stuff, is to state 
> the conformance carefully. But it does need to be done carefully, so 
> that we don't accidentally require applications to implement 
> uncomputable functions . Conformance will be described (1) on a 
> dialect, and here will include requirements on how it is documented; 
> (2) on a network, and include how it treats communication between 
> dialects, and (3) on implementations, and here is where things like 
> completeness and correctness will come in. But I have to do other 
> things now for a week or so.
>
> Pat
>
> PS. the Wurd templates seem to be slightly broken: I get a 'erreur' 
> when I open the document, and printing complains about margins being 
> set outside the print area on some pages, though it looks OK to me 
> when I actually print it. I have no idea how to fix this kind of 
> stuff, sorry. Also I havn't done anything  to the contents list or the 
> text outside  the above sections other than to scrawl on them in red. 
> And the colored backgrounds can be edited out, I do that to help me 
> fast-scroll.
>
> I know that this must/may/must not style is W3C specific, but its what 
> Im used. If you know how to recast this into ISO style, please go 
> ahead, or give me a brisk tutorial :-)
>
> Oh, BTW, things marked with a string of @@@s are places where an 
> internal cross-reference will be needed. Also I can send along the 
> references that Ive put into the text rather glibly, if you need them.
> -- 
>
> ---------------------------------------------------------------------
>  IHMC               (850)434 8903 or (650)494 3973   home
>  40 South Alcaniz St.       (850)202 4416   office
>  Pensacola                 (850)202 4440   fax
>  FL 32502                     (850)291 0667    cell
> phayes at ihmc.us       http://www.ihmc.us/users/phayes
>