[SCL] new draft of ISO docs posted

[Pat Hayes]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://philebus.tamu.edu/pipermail/scl/attachments/20050308/33ff90cb/attachment.html