Common logic
From Wikipedia, the free encyclopedia
Contents |
[edit] The Framework
Common logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems. The CL definition permits and encourages the development of a variety of different syntactic forms, called "dialects." 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 a model theoretic interpretation. Each dialect may be then treated as a formal 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 equivalent (i.e., can be mechanically translated to each other), although some may be more expressive than others. In general, a less expressive subset of CL may be translated to a more expressive version of CL, but the reverse translation is only defined on a subset of the larger language.
[edit] The ISO Standard
The published standard is available from ISO's catalog. The ISO standard for Common Logic 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 WG2 (Metadata) of SC32 (Data Interchange) under ISO/IEC JTC1. As of October 1st, 2007 Common Logic is now a completed and published international standard referred to as "ISO/IEC 24707:2007 - Information technology — Common Logic (CL): a framework for a family of logic-based languages". The status of "freely available standard" has been applied for.
[edit] Examples
Examples of Common Logic sentences and formulae, in any of the dialects, are welcome!
[edit] Implementations
There is an open-source project on SourceForge where anyone may participate.
[edit] See also
- KIF - Knowledge Interchange Format
- conceptual graphs - Conceptual graphs
