Contents
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. Harry Delugach is the chair of the editing committee for these corrections (see below). 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
|