Common Logic/XCL - Revision history

https://pdkb.chivanet.org/wiki/index.php?action=history&feed=atom&title=Common_Logic%2FXCL Common Logic/XCL - Revision history 2026-06-10T01:51:54Z Revision history for this page on the wiki MediaWiki 1.29.1 https://pdkb.chivanet.org/wiki/index.php?title=Common_Logic/XCL&diff=1200&oldid=prev DavidWhitten: Created page with "<!--- <?xml version="1.0"?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd" > <html xmlns="ht..." 2020-10-14T02:33:12Z

<p>Created page with "<br /> <br /> <table summary="layout" class="pgheader" width="100%" summary="display only"><br /> <tr><td valign="top" align="left"><br /> <br /> <p class="nav"><br /> <br /> </tr><br /> <br /> <tr><td><p><small>Copyright &copy;2009 [[Murray Altheim]]. All Rights Reserved.</small></p></td></tr><br /> <br /> </table><br /> <br /> <br /> <br /> <br /> <h3 class="div3"><a id="abstract" name="abstract">Abstract</a></h3><br /> <p><br /> XCL 1.0 is an (href="http://www.w3.org/TR/xml" ) XML markup <br /> language designed as a concrete (serialization) syntax for <br /> <i>Common Logic</i> <a class="xref" href="#ref_clhome">[CL]</a>.<br /> The XCL 1.0 markup language is formally defined by <br /> <cite> ISO/IEC 24707:2007 Information technology -- Common Logic (CL): <br /> a framework for a family of logic-based languages</cite> <br /> <a href="#ref_iso24707">[ISO24707]</a>, designed to enable <br /> interchange and interoperation of CL expressions across the World Wide Web.<br /> </p><br /> <br /> <br /> <div class="status"><br /> <h3 class="div3"><a id="status" name="status">Status</a></h3><br /> <br /> <p><br /> This web page comprises a distribution point for the final copies of<br /> the <b>XML Common Logic (XCL) 1.0 DTD</b> as submitted to ISO during <br /> the standardization process. <br /> </p><br /> <p><br /> <i>Please note</i> that none of the documents described herein have <br /> any formal status, and their publication should not be construed as <br /> being a work of, nor endorsed by, any corporate, academic, standards, <br /> or other organization. They are provided for the convenience of the <br /> Web community and come with NO WARRANTY. Neither the author nor the <br /> copyright holders make any representation about the suitability of <br /> the XCL 1.0 DTD for any purpose.<br /> </p><br /> <p><br /> Likewise, references to "ISO 24707" in this document are not meant <br /> to imply any formal association between this site or its documents<br /> and ISO/IEC, nor any statement regarding the status of ISO 24707 <br /> as an International Standard.<br /> </p><br /> <p><br /> The author has endeavoured to provide accurate copies of the XML <br /> file comprising the XCL 1.0 DTD as specified in Appendix C of <br /> ISO/IEC 24707. This includes both commented, uncommented, and <br /> XML Namespace prefixed versions of the XCL DTD. Any discrepancies <br /> between these files and the published standard should be brought <br /> to the attention of the author. If any discrepancies are found it<br /> should be noted that in all cases the ISO/IEC document is to be<br /> considered authoritive.<br /> </p><br /> <p><br /> This document may be updated, replaced, rendered obsolete by other <br /> documents, or removed from circulation at any time. While copyrighted, <br /> distribution of this document is unlimited.<br /> </p><br /> <br /> </div><br /> <br /> <br /> <hr align="left" width="100%" /><br /> <br /> <br /> <div class="sect1"><br /> <h1>XCL File Distribution</h1><br /> <br /> <div class="sect2"><br /> <h2>Contents</h2><br /> <br /> <p><br /> This distribution of the XCL 1.0 DTD includes the following files:<br /> </p><br /> <br /> <dl><br /> <dt><a id="recommend" href="xcl1.dtd">xcl1.dtd</a></dt><br /> <dd>This is an amended XCL 1.0 DTD based on the DTD that appears<br /> in the body of the ISO/IEC 24707 standard, with corrected <br /> section numbers, dates, and a corrected architecture support <br /> declaration. While not identical with the standard, this is <br /> the <b>recommended</b> XCL 1.0 DTD, and the file located at <br /> the canonical system identifier (though resolution is currently<br /> disabled).<br /> <pre><br /> <a href="http://purl.org/xcl/1.0/xcl1.dtd">http://purl.org/xcl/1.0/xcl1.dtd</a><br /> </pre><br /> </dd><br /> <dt><a href="xcl1c.dtd">xcl1c.dtd</a></dt><br /> <dd>The XCL 1.0 DTD named "xcl1c.dtd" is the DTD submitted to the ISO<br /> committee and incorporated into the standard. This included minor<br /> textual changes such as an alteration in the section numbers used <br /> in the DTD comments. This file is the closest in content to the <br /> DTD provided in Appendix C of ISO/IEC 24707 as it contains all the<br /> comments and notes and errors included in the standard. This <br /> includes one minor mistake: an error in the processing instruction<br /> used for the <i>architectural support declaration</i>. This should <br /> have no effect on normal DTD processing.<br /> </dd><br /> <dt><a href="xcl1-v1.18.dtd">xcl1-v1.18.dtd</a></dt><br /> <dd><br /> The file "xcl1-v1.18.dtd" is the same as the xcl1c.dtd minus the comments.<br /> </dd><br /> <dt><a href="xcl1p.dtd">xcl1p.dtd</a></dt><br /> <dd><br /> The file "xcl1n.dtd" is again functionally the same as the "xcl1c.dtd"<br /> but uses an "<tt>xcl:</tt>" XML Namespace prefix.<br /> </dd><br /> <dt><a href="catalog">catalog</a></dt><br /> <dd><br /> The <a href="http://www.oasis-open.org/specs/tr9401.html">TR 9401 Catalog Data File</a><br /> for XCL 1.0.<br /> </dd><br /> <dt><a href="xml1.dcl">xml1.dcl</a></dt><br /> <dd>The SGML Declaration for XML 1.0</dd><br /> <dt><a href="xml1n.dcl">xml1n.dcl</a></dt><br /> <dd><br /> The SGML Declaration for XML 1.0, amended for compatibility with XML validation.<br /> This is for use with James Clark's SP toolkit (which actually pays attention to<br /> such things).<br /> </dd><br /> <dt><a href="test1.xcl">test1.xcl</a></dt><br /> <dd><br /> An XCL 1.0 example (test) file. Nonsensical but syntactically valid.<br /> </dd><br /> <dt><a href="xcl1.zip">xcl1.zip</a></dt><br /> <dd><br /> A ZIP file distribution (21K) of all above files.<br /> </dd><br /> <dt><a href="doc/DTD-HOME.html">XCL 1.0 DTD documentation</a></dt><br /> <dd><br /> This is HTML documentation autogenerated by <i>dtd2html</i>, part of<br /> Earl Hood's <a href="http://savannah.nongnu.org/projects/perlsgml/"<br /> >perlSGML</a> toolkit.<br /> <br /><span style="color:gray;font-size:smaller"><br /> [If you have linux installed you can easily install perlSGML from <br /> your package manager &mdash; it runs on the command line.]<br /> </span><br /> </dd><br /> </dl><br /> <br /> </div><br /> <br /> <div class="sect2"><br /> <h2>Future Work</h2><br /> <br /> <p><br /> The differences between the XCL DTD published in ISO/IEC 24707:2007 and <br /> the recommended XCL 1.0 DTD shown above are minor and non-functional, as <br /> they only appear in XML comments. These include an error in the reference<br /> to the standard (we'd thought it would appear in 2006, not 2007), and a <br /> few mistakes in the recommended <i>architecture support declaration</i>,<br /> used in architectural forms processing.<br /> </p><br /> <p><br /> One change that was suggested to the editor that didn't make it into<br /> the standard (and hence is not included in any of the DTDs) is the<br /> recommended addition of an <tt>xml:lang</tt> attribute to the <br /> <tt>&lt;comment&gt;</tt> element type, permitting a declaration of<br /> the natural language of a comment (and opportunity to include comments<br /> in multiple languages). <br /> </p><br /> <p><br /> The <a href="recommend">amended XCL DTD</a> will be submitted to the<br /> ISO editors with comments. It is known that there are errors in the<br /> XCL DTD as published in the current standard that need to be fixed, <br /> and the ISO committee is maintaining a defect report.<br /> </p><br /> <br /> </div><br /> <br /> </div><br /> <br /> <br /> <br /> <br /> <div class="sect2"><br /> <h2 id="biblio">Appendix A. References</h2><br /> <br /> <dl class="biblio"><br /> <br /> <dt><a class="ref" id="ref_clhome">[CL]</a></dt><br /> <dd><cite>Common Logic Standard</cite> (home page)<br /><br /> See:&nbsp; <a href="http://common-logic.org/">http://common-logic.org/</a> <br /> </dd><br /> <br /> <dt><a class="ref" id="ref_iso24707">[ISO24707]</a></dt><br /> <dd><cite>ISO/IEC 24707:2007 Common Logic</cite><br /><br /> See:&nbsp; <a href="http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=39175"<br /> >ISO/IEC 24707:2007</a><br /> </dd><br /> <br /> </dl><br /> <br /> </div><br /> <br /> </div><br /> <br /> <br /> <br /> <p class="neutral"><a href="#top"><img alt="top-of-section" border="0" class="nav"<br /> height="13" src="img/arrow-top.gif" width="27" /></a></p><br /> <br /> <hr width="100%" /><br /> <div class="footer"><br /> <table summary="layout" cellpadding="5" width="100%"><br /> <tr><br /> <td align="left"><small><br /> Copyright 2009 Murray Altheim. All Rights Reserved. <br class="lf" /><br /> <b>Last Revised:</b>&nbsp; $Date: 2009/02/03 13:57:07 $ <br class="lf" /><br /> <b>Email:</b> &lt;murray09 [&#97;&#116;] altheim.com&gt; <br class="lf" /><br /> <b>URI:</b>&nbsp; <a href="http://purl.org/specs/xcl/1.0/dist.html" <br /> class="xref">&lt;http://purl.org/specs/xcl/1.0/dist.html&gt;</a></small><br /> </td><br /> <td align="right" align="bottom"><br /> &nbsp;<br /> </td></tr><br /> </table><br /> </div><br /> <br /> </body><br /> </html></div>

DavidWhitten