Common Logic Standard
| Welcome to the repository for
documents related to the ISO standard for Common Logic
Note: URL change
“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
A list of technical corrections is being prepared for approval.
Corrections will be published in a Technical Corrigendum once they
are all approved.
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
- 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
(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:
Presentations and overview of the CL project
Background documents and related
- 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
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
KIF mailing list. Includes current working group
participants and the archives of the email discussions.
charmod standard. This is the standard character model
for the web. Pat feels it is important to be compliant with
- The original
KIF page at Stanford. Includes information on the
first (abandoned) attempt at an ANSI standard.
KIF pages developed for the DARPA Knowledge-Sharing
Effort. Includes information on the KIF ontologies for
Sets, Sequences, Numbers and arithmetic, Relations, and "KIF
- The UMBC
KIF page. Some older information about KIF, including
some software links and an intro to 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.
of Goals for KIF (all of which generalize to CL).
Logic NWI Proposal. (2002) The New Work Item (NWI)
Proposal as submitted to ISO/IEC JTC1 SC32.
of the March 21-22, 2002 meeting at Stanford University