Common Logic is published by
ISO as "ISO/IEC 24707:2007 - Information technology — Common Logic (CL): a framework for a family of logic-based languages". It is available for purchase from ISO's catalog, and is freely available from ISO's index of publicly available standards. The CL Standard includes specifications for three dialects, the
Common Logic Interchange Format (
CLIF) (Annex A), the
Conceptual Graph Interchange Format (
CGIF) (Annex B), and an
XML-based notation for Common Logic (
XCL) (Annex C). The semantics of these dialects are defined in the Standard by their translation to the abstract syntax and semantics of Common Logic. Many other logic-based languages could also be defined as subsets of CL by means of similar translations; among them are the
RDF and
OWL languages, which have been defined by the
W3C. The ISO standard's development began in June 2003 under Working Group 2 (Metadata) of
Sub-Committee 32 (Data Interchange) under
ISO/IEC JTC 1, and was completed in October 2007. A technical corrigendum, correcting some errors in the original standard, is being prepared at the time being. == Implementations==