 | This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Common Logic" – news ·newspapers ·books ·scholar ·JSTOR(January 2015) (Learn how and when to remove this message) |
Common Logic (CL) is a framework for a family oflogic languages, based onfirst-order logic, intended to facilitate the exchange and transmission ofknowledge incomputer-based systems.[1]
The CL definition permits and encourages the development of a variety of different syntactic forms, calleddialects. A dialect may use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which are based on amodel theoretic interpretation. Each dialect may be then treated as aformal language. Once syntactic conformance is established, a dialect gets the CL semantics for free, as they are specified relative to the abstract syntax only, and hence are inherited by any conformant dialect. In addition, all CL dialects are comparable (i.e., can be automatically translated to a common language), although some may be more expressive than others.
In general, a less expressive subset of CL may betranslated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.
Common Logic is published byISO as "ISO/IEC 24707:2007 - Information technology — Common Logic (CL): a framework for a family of logic-based languages".[2] It is available for purchase from ISO's catalog, and is freely available from ISO's index of publicly available standards.[3][4]
The CL Standard includes specifications for three dialects, theCommon Logic Interchange Format (CLIF) (Annex A), theConceptual Graph Interchange Format (CGIF) (Annex B), and anXML-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 theRDF andOWL languages, which have been defined by theW3C.
The ISO standard's development began in June 2003 under Working Group 2 (Metadata) ofSub-Committee 32 (Data Interchange) underISO/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.
