iaoa-general
[Top] [All Lists]

[iaoa-general] Session on "Revision of the Common Logic Standard" - Chai

To: iaoa-general@xxxxxxxxxxxxxxxx
From: Peter Yim <peter.yim@xxxxxxxx>
Date: Mon, 17 Sep 2012 08:18:14 -0700
Message-id: <CAGdcwD1iadBysSKz2+5q+9fzUiDRFnDkg-9EPc8xoYcHPZ0F7A@xxxxxxxxxxxxxx>
Re: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2012_09_20    (01)


Dear Colleagues,    (02)


Please join us this Thursday (Sep-20) at this Joint CL-IAOA-Ontolog
virtual session:    (03)


****************** Headlines ***********************    (04)


Topic: "Revision of the Common Logic Standard"    (05)

Chair: Professor MichaelGruninger (University of Toronto)    (06)

Date: Thursday, 20-Sep-2012
Start Time: 9:30am PDT / 12:30pm EDT / 6:30pm CEST / 16:30 UTC
 ref: World Clock -
http://www.timeanddate.com/worldclock/fixedtime.html?month=9&day=20&year=2012&hour=9&min=30&sec=0&p1=224    (07)

Expected Call Duration: 1.5~2.0 hours    (08)

- see details on the session page at:
http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2012_09_20
 ... *RSVP now*!    (09)

*Register your attendance* by emailing <peter.yim@xxxxxxxx> off-line
or register yourself directly to the wiki session page (if you are
already a part of the Ontolog community). Please include your
affiliation and specify the date of the session(s) when you are
writing in to register and specify date of the session you plan to
attend.    (010)


*** Session Abstract -- by: MichaelGruninger ***    (011)


Common Logic (CL)was published as an International Standard ISO 24707
in 2007, and is now up for review (after five years), and we have the
opportunity to propose changes for a revision of Common Logic.    (012)

We will need to define the scope of the revision by identifying all
issues which will be addressed by the revision.    (013)

In preparation for this,  this Ontolog session will be dedicated to
coming to agreement on the open issues for CL.    (014)

Issues raised to this point:
1. Fixing the list of syntactic errors that have already been identified
2. Namespacing
3. Definitional extensions
4. Additional connectives
5. Numerical quantifiers
6. Clarification of conformance conditions    (015)

These are not necessarily the issues that will be addressed by the CL
revision -- these are simply ones which have been raised in current
discussions. The purpose of the session will be to come to some
consensus on the issues which will define the scope of the CL
revision.    (016)


********************* Details ************************    (017)

This session, like all Ontolog virtual events, are open and free of
charge. Anyone who is interested, or (better still) who may have
something to contribute, is welcome. Please refer to event details on
the session pages, to which the hyperlink is given above, where you
will find session agenda, conference call dial-in, slides and other
pertinent information. Feel free to pass this invitation along to
colleagues who may also find these sessions to be of interest.    (018)

*RSVP* by emailing Peter Yim at <peter.yim@xxxxxxxx> offline (or add
yourself directly to the session page if you are already an Ontolog
community member) so that we can prepare enough resources to support
everyone. [Please state clearly the date of the session you are
registering for in your email.]    (019)

These sessions will be recorded and made available in a publicly
accessible archive. Therefore, before participating, please make sure
you are cognizant of our IPR policy (ref:
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid32).    (020)


Regards. =ppy    (021)

For and on behalf of the Session Chair,    (022)

Michael Gruninger
--    (023)

_________________________________________________________________ 
Msg Archives: http://ontolog.cim3.net/forum/iaoa-general/ 
To subscribe: send a blank email to: iaoa-general-join@xxxxxxxxxxxxxxxx 
To unsubscribe: mailto:iaoa-general-leave@xxxxxxxxxxxxxxxx 
To join IAOA: http://www.iaoa.org/joining/joining.html 
Community Portal: http://iaoa.org     (024)
<Prev in Thread] Current Thread [Next in Thread>
  • [iaoa-general] Session on "Revision of the Common Logic Standard" - Chair: Michael Gruninger - Thu 2012.09.20, Peter Yim <=