Common Logic Standard
| Welcome to the repository for
documents related to the ISO standard for Common Logic
(CL). |
Note: URL change
The URL
“common-logic.org” no longer points to this site.
The primary URL for the site is now
“iso-commonlogic.org”. Please make sure any
links to it you might have published are updated.
|
The ISO Common Logic effort
The ISO effort towards an international standard for Common
Logic began in June 2003 with the approval of a New Work Item (NP)
for Common Logic. This project was assigned to WG2 (Metadata)
under SC32 (Data Interchange) of ISO/IEC JTC1. In October 2003,
Harry Delugach was designated the editor for the standard. This
effort ended on October 1, 2007 with the publication of the final
standard.
A list of technical corrections is being prepared for approval.
Corrections will be published in a Technical Corrigendum once they
are all approved.
The CL
mailing list, includes current working group participants
and the archives of the email discussions.
Current CL status (as of 1-Oct-2007): ISO/IEC IS 24707:2007
- ISO/IEC 24707:2007 is now a fully approved and published ISO
standard, publicly available on ISO's
site. Please read the special ISO copyright statement at
the top of that page before downloading.
- A corrigendum is being prepared. These changes have not
been approved by ISO and are not in any way to be considered
part of the standard at this time.
Technical Corrigendum ISO/IEC IS 24707:2007/DCOR:1
- A technical corrigendum is being prepared to address any
defects in the standard. If you would like a copy of the
standard in order to examine it for defects, please contact the
editor.
- The current list of defects can be found in 24707-defect-report.pdf,
last updated on Sunday, 22 June 2008.
- Submit any proposed defect(s) to the editor or to the CL
mailing list, using the following form:
Submitter (include email):
For review by: JTC1/SC 32/WG2
Defect report concerning: ISO 24707:2007
Qualifier:
(e.g., error, omission, clarification required)
References in Document:
(e.g., page, clause, figure and/or table numbers)
Nature of defect:
(complete, concise explanation of the perceived problem)
Solution proposed by the submitter:
(optional)
Presentations and overview of the CL project
Background documents and related
resources
- For a brief description of the ISO standards development
process, click here
- The CL
mailing list. Includes current working group
participants and the archives of the email
discussions.
- The
SCL mailing list. Mailing list for a less expressive
sublanguage of CL, "Simple" Common Logic, or SCL. This
project is now inactive, as the issues that motivated SCL
are now dealt with effectively in CL. Hence, this list is no
longer active, and remains accessible only for the sake of
the archives.
- The
KIF mailing list. Includes current working group
participants and the archives of the email discussions.
- The
charmod standard. This is the standard character model
for the web. Pat feels it is important to be compliant with
this standard.
- The original
KIF page at Stanford. Includes information on the
first (abandoned) attempt at an ANSI standard.
- The
KIF pages developed for the DARPA Knowledge-Sharing
Effort. Includes information on the KIF ontologies for
Sets, Sequences, Numbers and arithmetic, Relations, and "KIF
Meta".
- The UMBC
KIF page. Some older information about KIF, including
some software links and an intro to KIF.
- SUO-KIF.
A simplified version of KIF 3.0 including a BNF syntax that
was briefly adopted as the core syntax for the present KIF
effort, and is currently employed as the language definition
for the SUMO proposal for the IEEE SUO effort.
- Statement
of Goals for KIF (all of which generalize to CL).
- Common
Logic NWI Proposal. (2002) The New Work Item (NWI)
Proposal as submitted to ISO/IEC JTC1 SC32.
- Minutes
of the March 21-22, 2002 meeting at Stanford University