Common Logic - The ISO Standard

The ISO Standard

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 at .

The standard includes specifications for three dialects, the Common Logic Interchange Format (CLIF), the Conceptual Graph Interchange Format (CGIF), and an XML-based notation for Common Logic (XCL). The semantics of these dialects are defined 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 JTC1, and completed in October 2007. A technical corrigendum, correcting some errors in the original standard, is being prepared.

Read more about this topic:  Common Logic

Famous quotes containing the word standard:

    A disposition to preserve, and an ability to improve, taken together, would be my standard of a statesman.
    Edmund Burke (1729–1797)