Re: [ontolog-forum] FW: Working Draft for ISO Common Logic 2nd Edition

[Michael Gruninger <gruninger@xxxxxxxxxxxxxxx>]

Hello everyone,
I just want to say that this is a VERY preliminary draft.
There are numerous Editor Notes to indicate that much work
still needs to be done.

In particular, we do not have complete agreement on the revised semantics.
Until this is done, there won't be any new spec for the concrete syntaxes
for CLIF and XCL.

I would have preferred if this could have incubated a little longer.

- michael

On 13-09-30 12:13 PM, Barkmeyer, Edward J wrote:

The ISO working group has published a formal Working Draft for Common Logic v2.

I think this document should be publicly accessible.  If not, and you care, contact me.

 

-Ed

 

--

Edward J. Barkmeyer                     Email: edbark@xxxxxxxx

National Institute of Standards & Technology

Systems Integration Division, Engineering Laboratory

100 Bureau Drive, Stop 8260             Work:   +1 301-975-3528

Gaithersburg, MD 20899-8260             Mobile: +1 240-672-5800

 

 

 

 

 

From: owner-sc32wg2-interest@xxxxxxxxxxxxxxxxxxxxxx [mailto:owner-sc32wg2-interest@xxxxxxxxxxxxxxxxxxxxxx] On Behalf Of Ray Gates
Sent: Sunday, September 29, 2013 10:05 PM
To: SC32WG2News
Subject: SC32WG2-INTEREST: SC32 WG2 website updated

 

Dear WG2 colleagues,

 

The following document has been posted to the WG2 website as input to Santa Fe meeting.

 

2013-09-29

Posted WG2 N1824 WD 24707 Common Logic 2nd Edition. Updated the document register WG2 N1850 with the above document. Updated the 24707 project page with the above document.

 

Best regards,
Ray Gates

 
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
 

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (01)