Common logic
From Wikipedia, the free encyclopedia
"Common logic" (CL) is information exchange and transmission language, based on first-order logic. The CL definition allows 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 meets the abstract CL specifications.
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).
The proposed ISO standard for Common Logic includes the definition of two dialects, the Common Logic Interchange Format (CLIF) and the Conceptual Graph Interchange Format (CGIF). The semantics of these dialects are defined by their translation to the abstract syntax of Common Logic. Many other logic-based languages could also be defined as CL dialects by means of similar translations.
The CL standard has been under development since June 2003. The project has been assigned to WG2 (Metadata) under SC32 (Data Interchange) of ISO/IEC JTC1. A draft of the standard was submitted to ISO for official comment and ballot in December 2005.
compare with W3C's OWL (Web Ontology Language)...
