Common Logic

<h2 id="the-iso-standard">The ISO Standard</h2>
<p>Common Logic is published by <a href="/facts/International_Organization_for_Standardization/IacYR7Yg">ISO</a> as "ISO/IEC 24707:2007 - Information technology — Common Logic (CL): a framework for a family of logic-based languages".<a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a>  It is available for purchase from ISO's catalog, and is freely available from ISO's index of publicly available standards.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a>
</p><p>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 <a href="/facts/XML/clNgUfWk">XML</a>-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 <a href="/facts/Resource_Description_Framework/WMufyukm">RDF</a> and <a href="/facts/Web_Ontology_Language/jkr0IGn8">OWL</a> languages, which have been defined by the <a href="/facts/W3C/lGWmhF6M">W3C</a>.
</p><p>The ISO standard's development began in June 2003 under Working Group 2 (Metadata) of <a href="/facts/ISO/IEC_JTC_1/SC_32/KUPU7EvN">Sub-Committee 32 (Data Interchange)</a> under <a href="/facts/ISO/IEC_JTC_1/hh9xdNtz">ISO/IEC JTC 1</a>, and was completed in October 2007. A technical corrigendum, correcting some errors in the original standard, is being prepared at the time being.
</p>
<h2 id="implementations">Implementations</h2>
<ul><li><a href="https://github.com/gruninger/colore">COLORE</a> is a repository of Common Logic Ontologies</li>
<li><a href="http://hets.eu/">Hets</a> supports Common Logic</li>
<li><a href="https://github.com/cmungall/cltools">cltools</a> is a PROLOG library with partial support for Common Logic</li></ul>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Conceptual_graph/8cHXdCae">Conceptual graph</a></li>
<li><a href="/facts/Knowledge_Interchange_Format/4EjXR0dJ">Knowledge Interchange Format</a> (KIF)</li>
<li><a href="/facts/List_of_constructed_languages/cDPkIaKf">Knowledge representation languages</a></li></ul>

<h2 id="further-reading">Further reading</h2>

<ul><li>Sowa, John F. (25 March 2008), <a href="http://jfsowa.com/talks/cl_hitps.pdf"><i>Common Logic For Healthcare Information Technology</i></a> (PDF), retrieved 17 January 2024</li>
<li>Sowa, John F. (10 January 2011), <a href="http://www.jfsowa.com/talks/clintro.pdf"><i>Introduction to Common Logic</i></a> (PDF), retrieved 17 January 2024</li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>Sowa, John F. "Conceptual graphs summary." Conceptual Structures: current research and practice 3 (1992): 66. <a href="/wiki/Sowa,_John_F." target="_blank">/wiki/Sowa,_John_F.</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
<li id="fn:2"><p>International Organization for Standardization (ISO) <a href="http://www.iso.org/" target="_blank">http://www.iso.org/</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li>
<li id="fn:3"><p>Common Logic Standard First Edition <a href="http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007%28E%29.zip" target="_blank">http://standards.iso.org/ittf/PubliclyAvailableStandards/c039175_ISO_IEC_24707_2007%28E%29.zip</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li>
<li id="fn:4"><p>Common Logic Standard Second Edition <a href="https://standards.iso.org/ittf/PubliclyAvailableStandards/c066249_ISO_IEC_24707_2018.zip" target="_blank">https://standards.iso.org/ittf/PubliclyAvailableStandards/c066249_ISO_IEC_24707_2018.zip</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li>
</ol>

Common Logic open-in-new

Common Logic