index.html 78 KB

Raw Blame History Permalink

<!DOCTYPE html  PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN'  'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'><html xml:lang="en" xmlns="http://www.w3.org/1999/xhtml">
<head>
  <title>RIF Test Cases</title>
  <meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
  <style type="text/css">
   .editsection { display: none; }
</style>
<link href="tr.css" rel="stylesheet" type="text/css" />
<link href="http://www.w3.org/StyleSheets/TR/W3C-WD" rel="stylesheet" type="text/css" />


</head>
<body>

<div class="head">
<a href="http://www.w3.org/"><img alt="W3C" height="48" src="http://www.w3.org/Icons/w3c_home" width="72" /></a><h1 id="title" style="clear:both"><span id="short-title">RIF Test Cases</span></h1>

<h2 id="W3C-doctype">W3C Working Draft 22 June 2010</h2>

<!-- no inplace warning -->
<dl>
<dt>This version:</dt>
<dd><a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/" id="this-version-url">http://www.w3.org/TR/2010/WD-rif-test-20100622/</a></dd>

<dt>Latest version:</dt>
<dd><a href="http://www.w3.org/TR/rif-test/">http://www.w3.org/TR/rif-test/</a></dd>

<dt>Previous version:</dt>
<dd><a href="http://www.w3.org/TR/2010/WD-rif-test-20100511/">http://www.w3.org/TR/2010/WD-rif-test-20100511/</a> (<a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/diff-from-20100511">color-coded diff</a>)</dd>
</dl>

<dl><dt>Editors:</dt><dd>Stella Mitchell, Cornell University</dd>
<dd><a href="http://www-formal.stanford.edu/leora">Leora Morgenstern</a>, Courant Institute of Mathematical Sciences</dd>
<dd>Adrian Paschke, Freie Universitaet Berlin</dd>
</dl>


<p>This document is also available in these non-normative formats: <a href="http://www.w3.org/2010/pdf/WD-rif-test-20100622.pdf">PDF version</a>.</p>


<p class="copyright"><a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> &copy; 2010 <a href="http://www.w3.org/"><acronym title="World Wide Web Consortium">W3C</acronym></a><sup>&reg;</sup> (<a href="http://www.csail.mit.edu/"><acronym title="Massachusetts Institute of Technology">MIT</acronym></a>, <a href="http://www.ercim.eu/"><acronym title="European Research Consortium for Informatics and Mathematics">ERCIM</acronym></a>, <a href="http://www.keio.ac.jp/">Keio</a>), All Rights Reserved. W3C <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Legal_Disclaimer">liability</a>, <a href="http://www.w3.org/Consortium/Legal/ipr-notice#W3C_Trademarks">trademark</a> and <a href="http://www.w3.org/Consortium/Legal/copyright-documents">document use</a> rules apply.</p>

</div>
<hr />
<h2><a id="abstract" name="abstract">Abstract</a></h2>

<div>
<div><p></p> <p></p> <p></p> <p>This document describes the test cases developed by the <a class="external text" href="http://www.w3.org/2005/rules/wiki/RIF_Working_Group" title="http://www.w3.org/2005/rules/wiki/RIF_Working_Group">Rule Interchange Format (RIF) Working Group</a> in accordance with the Working Group's <a class="external text" href="http://www.w3.org/2005/rules/wg/charter.html#deliverables" title="http://www.w3.org/2005/rules/wg/charter.html#deliverables">Charter</a>. These test cases are intended to aid in the conformance evaluation of RIF implementations and thus promote interoperability.</p> </div>
</div>

<h2 class="no-toc no-num">
<a id="w3c_status" name="w3c_status">Status of this Document</a>
</h2>

<h4 class="no-toc no-num" id="may-be">May Be Superseded</h4>

<p><em>This section describes the status of this document at the time of its publication. Other documents may supersede this document. A list of current W3C publications and the latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/">W3C technical reports index</a> at http://www.w3.org/TR/.</em></p>


<h4 class="no-toc no-num" id="related">Set of Documents</h4>

<p>This document is being published as one of a set of 11 documents: </p>
<ol>
<li><a href="http://www.w3.org/TR/2010/NOTE-rif-overview-20100622/">RIF Overview</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/">RIF Core Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/">RIF Basic Logic Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/">RIF Production Rule Dialect</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/">RIF Framework for Logic Dialects</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/">RIF Datatypes and Built-Ins 1.0</a></li>
<li><a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/">RIF RDF and OWL Compatibility</a></li>
<li><a href="http://www.w3.org/TR/2010/NOTE-rif-owl-rl-20100622/">OWL 2 RL in RIF</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-xml-data-20100622/">RIF Combination with XML data</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-in-rdf-20100622/">RIF In RDF</a></li>
<li><a href="http://www.w3.org/TR/2010/WD-rif-test-20100622/">RIF Test Cases</a>  (this document)</li>
</ol>


<!-- no eventStatusExtra -->

<!-- no statusExtra -->

<div>
<h4 class="no-toc no-num" id="sotd-xml-dep">XML Schema Datatypes Dependency</h4>

<p>RIF is defined to use datatypes defined in the <a href="http://www.w3.org/TR/xmlschema-2/">XML Schema Definition Language (XSD)</a>.  As of this writing, the latest W3C Recommendation for XSD is version 1.0, with <a href="http://www.w3.org/TR/xmlschema11-1/">version 1.1</a> progressing toward Recommendation.  RIF has been designed to take advantage of the new datatypes and clearer explanations available in XSD 1.1, but for now those advantages are being partially put on hold.  Specifically, until XSD 1.1 becomes a W3C Recommendation, the elements of RIF which are based on it should be considered <em>optional</em>, as detailed in <a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/#XML_Schema_Datatypes">Datatypes and Builtins, section 2.3</a>.  Upon the publication of XSD 1.1 as a W3C Recommendation, those elements will cease to be optional and are to be considered required as otherwise specified.</p>

<p>We suggest that for now developers and users follow the <a href="http://www.w3.org/TR/2009/WD-xmlschema11-1-20091203/">XSD 1.1 Last Call Working Draft</a>.  Based on discussions between the Schema, RIF and OWL Working Groups, we do not expect any implementation changes will be necessary as XSD 1.1 advances to Recommendation.</p>
</div>


           <h4 class="no-toc no-num" id="status-changes">Document Unchanged</h4>

<p>There have been no changes to the body of this document since the <a href="http://www.w3.org/TR/2010/WD-rif-test-20100511/">previous version</a>.   For details on earlier changes, see the <a href="#changelog">change log</a>.</p>


<h4 class="no-toc no-num" id="please">Please Comment By 20 July 2010</h4><p>The <a href="http://www.w3.org/2005/rules/wg.html">Rule Interchange Format (RIF) Working Group</a> seeks
    public feedback on this Working Draft.  Please send your
    comments to <a class="mailto" href="mailto:public-rif-comments@w3.org" shape="rect">public-rif-comments@w3.org</a> (<a class="http" href="http://lists.w3.org/Archives/Public/public-rif-comments/" shape="rect">public archive</a>).  If possible, please offer
    specific changes to the text that would address your
    concern.  You may also wish to check the <a href="http://www.w3.org/2005/rules/wiki/Test">Wiki
    Version</a> of this document and see if the relevant text has already
    been updated.</p>

<h4 class="no-toc no-num" id="no-endorsement">No Endorsement</h4>

<p><em>Publication as a Working Draft does not imply endorsement by the W3C Membership. This is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to cite this document as other than work in progress.</em></p>


<h4 class="no-toc no-num" id="patents">Patents</h4>

<p><em>This document was produced by a group operating under the <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 W3C Patent Policy</a>. The group does not expect this document to become a W3C Recommendation.  W3C maintains a <a href="http://www.w3.org/2004/01/pp-impl/38457/status" rel="disclosure">public list of any patent disclosures</a> made in connection with the deliverables of the group; that page also includes instructions for disclosing a patent. An individual who has actual knowledge of a patent which the individual believes contains <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#def-essential">Essential Claim(s)</a> must disclose the information in accordance with <a href="http://www.w3.org/Consortium/Patent-Policy-20040205/#sec-Disclosure"> section 6 of the W3C Patent Policy</a>.</em></p>

<hr title="Separator After Status Section" />


<table class="toc" id="toc" summary="Contents"><tr><td><div id="toctitle"><h2>Table of Contents</h2></div>
<ul>
<li class="toclevel-1"><a href="#Introduction"><span class="tocnumber">1</span> <span class="toctext">Introduction</span></a>
<ul>
<li class="toclevel-2"><a href="#Scope"><span class="tocnumber">1.1</span> <span class="toctext">Scope</span></a></li>
<li class="toclevel-2"><a href="#Conformance"><span class="tocnumber">1.2</span> <span class="toctext">Conformance</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#Deliverables"><span class="tocnumber">2</span> <span class="toctext">Deliverables</span></a></li>
<li class="toclevel-1"><a href="#Test_Types"><span class="tocnumber">3</span> <span class="toctext">Test Types</span></a>
<ul>
<li class="toclevel-2"><a href="#Syntactic_Tests"><span class="tocnumber">3.1</span> <span class="toctext">Syntactic Tests</span></a>
<ul>
<li class="toclevel-3"><a href="#Positive_Syntax_Tests"><span class="tocnumber">3.1.1</span> <span class="toctext">Positive Syntax Tests</span></a></li>
<li class="toclevel-3"><a href="#Negative_Syntax_Tests"><span class="tocnumber">3.1.2</span> <span class="toctext">Negative Syntax Tests</span></a></li>
</ul>
</li>
<li class="toclevel-2"><a href="#Import_Rejection_Tests"><span class="tocnumber">3.2</span> <span class="toctext">Import Rejection Tests</span></a></li>
<li class="toclevel-2"><a href="#Semantic_Tests"><span class="tocnumber">3.3</span> <span class="toctext">Semantic Tests</span></a>
<ul>
<li class="toclevel-3"><a href="#Positive_Entailment_Tests"><span class="tocnumber">3.3.1</span> <span class="toctext">Positive Entailment Tests</span></a></li>
<li class="toclevel-3"><a href="#Negative_Entailment_Tests"><span class="tocnumber">3.3.2</span> <span class="toctext">Negative Entailment Tests</span></a></li>
</ul>
</li>
</ul>
</li>
<li class="toclevel-1"><a href="#Test_Case_Format"><span class="tocnumber">4</span> <span class="toctext">Test Case Format</span></a>
<ul>
<li class="toclevel-2"><a href="#Properties_of_All_Tests"><span class="tocnumber">4.1</span> <span class="toctext">Properties of All Tests</span></a>
<ul>
<li class="toclevel-3"><a href="#status"><span class="tocnumber">4.1.1</span> <span class="toctext">status</span></a></li>
<li class="toclevel-3"><a href="#dialect"><span class="tocnumber">4.1.2</span> <span class="toctext">dialect</span></a></li>
<li class="toclevel-3"><a href="#purpose"><span class="tocnumber">4.1.3</span> <span class="toctext">purpose</span></a></li>
<li class="toclevel-3"><a href="#description"><span class="tocnumber">4.1.4</span> <span class="toctext">description</span></a></li>
<li class="toclevel-3"><a href="#Combinations"><span class="tocnumber">4.1.5</span> <span class="toctext">Combinations</span></a></li>
<li class="toclevel-3"><a href="#ImportedDocument"><span class="tocnumber">4.1.6</span> <span class="toctext">ImportedDocument</span></a></li>
</ul>
</li>
<li class="toclevel-2"><a href="#Properties_of_Import_Rejection_and_Syntax_Tests"><span class="tocnumber">4.2</span> <span class="toctext">Properties of Import Rejection and Syntax Tests</span></a>
<ul>
<li class="toclevel-3"><a href="#InputDocument"><span class="tocnumber">4.2.1</span> <span class="toctext">InputDocument</span></a></li>
</ul>
</li>
<li class="toclevel-2"><a href="#Properties_of_Entailment_Tests"><span class="tocnumber">4.3</span> <span class="toctext">Properties of Entailment Tests</span></a>
<ul>
<li class="toclevel-3"><a href="#PremiseDocument"><span class="tocnumber">4.3.1</span> <span class="toctext">PremiseDocument</span></a></li>
<li class="toclevel-3"><a href="#Properties_of_Positive_Entailment_tests"><span class="tocnumber">4.3.2</span> <span class="toctext">Properties of Positive Entailment tests</span></a>
<ul>
<li class="toclevel-4"><a href="#ConclusionDocument"><span class="tocnumber">4.3.2.1</span> <span class="toctext">ConclusionDocument</span></a></li>
</ul>
</li>
<li class="toclevel-3"><a href="#Properties_of_Negative_Entailment_tests"><span class="tocnumber">4.3.3</span> <span class="toctext">Properties of Negative Entailment tests</span></a>
<ul>
<li class="toclevel-4"><a href="#NonConclusionDocument"><span class="tocnumber">4.3.3.1</span> <span class="toctext">NonConclusionDocument</span></a></li>
</ul>
</li>
</ul>
</li>
<li class="toclevel-2"><a href="#Sample_Test_Case"><span class="tocnumber">4.4</span> <span class="toctext">Sample Test Case</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#Test_Case_Repository"><span class="tocnumber">5</span> <span class="toctext">Test Case Repository</span></a></li>
<li class="toclevel-1"><a href="#Running_the_Test_Cases"><span class="tocnumber">6</span> <span class="toctext">Running the Test Cases</span></a>
<ul>
<li class="toclevel-2"><a href="#Test_Case_Customization"><span class="tocnumber">6.1</span> <span class="toctext">Test Case Customization</span></a>
<ul>
<li class="toclevel-3"><a href="#Customizing_Import_Directives"><span class="tocnumber">6.1.1</span> <span class="toctext">Customizing Import Directives</span></a></li>
</ul>
</li>
<li class="toclevel-2"><a href="#Reporting_Test_Results"><span class="tocnumber">6.2</span> <span class="toctext">Reporting Test Results</span></a>
<ul>
<li class="toclevel-3"><a href="#Test_Report_fields"><span class="tocnumber">6.2.1</span> <span class="toctext">Test Report fields</span></a>
<ul>
<li class="toclevel-4"><a href="#Implementation"><span class="tocnumber">6.2.1.1</span> <span class="toctext">Implementation</span></a></li>
<li class="toclevel-4"><a href="#Test_Run"><span class="tocnumber">6.2.1.2</span> <span class="toctext">Test Run</span></a></li>
<li class="toclevel-4"><a href="#Test_Result"><span class="tocnumber">6.2.1.3</span> <span class="toctext">Test Result</span></a></li>
</ul>
</li>
<li class="toclevel-3"><a href="#Example_Test_Report"><span class="tocnumber">6.2.2</span> <span class="toctext">Example Test Report</span></a></li>
</ul>
</li>
<li class="toclevel-2"><a href="#Reporting_Problems"><span class="tocnumber">6.3</span> <span class="toctext">Reporting Problems</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#References"><span class="tocnumber">7</span> <span class="toctext">References</span></a>
<ul>
<li class="toclevel-2"><a href="#Normative_References"><span class="tocnumber">7.1</span> <span class="toctext">Normative References</span></a></li>
<li class="toclevel-2"><a href="#Informational_References"><span class="tocnumber">7.2</span> <span class="toctext">Informational References</span></a></li>
</ul>
</li>
<li class="toclevel-1"><a href="#Appendix:_Schema_for_RIF_Test_Case_Manifest_Files"><span class="tocnumber">8</span> <span class="toctext">Appendix: Schema for RIF Test Case Manifest Files</span></a></li>
<li class="toclevel-1"><a href="#Appendix:_Change_Log_.28Informative.29"><span class="tocnumber">9</span> <span class="toctext">Appendix: Change Log (Informative)</span></a></li>
</ul>
</td></tr></table><script type="text/javascript"> if (window.showTocToggle) { var tocShowText = "show"; var tocHideText = "hide"; showTocToggle(); } </script>
<a id="Introduction" name="Introduction"></a><h2> <span class="mw-headline">1  Introduction </span></h2>
<p>This document describes the test cases developed by the <a class="external text" href="http://www.w3.org/2005/rules/wiki/RIF_Working_Group" title="http://www.w3.org/2005/rules/wiki/RIF_Working_Group">Rule Interchange Format (RIF) Working Group</a> in accordance with the Working Group's <a class="external text" href="http://www.w3.org/2005/rules/wg/charter.html#deliverables" title="http://www.w3.org/2005/rules/wg/charter.html#deliverables">Charter</a>. The sections below delineate the scope of the test cases, explain their limits in determining conformance, and present the different types of tests and the format in which they are represented.
</p><p>The test cases are maintained in the <a href="#ref-riftest-repos" title="">RIF Test Repository</a>, and the normative test suites can be downloaded from there. Formatted copies of all test cases in the repository, plus additional tests that have not yet been fully processed by the Working Group, can be viewed at the <a class="external text" href="http://www.w3.org/2005/rules/wiki/Category:Test_Case" title="http://www.w3.org/2005/rules/wiki/Category:Test_Case">RIF Test Collection Site</a>.
</p><p>This set of test cases is intended to enable an empirical investigation of RIF implementations. They can help identify problems both with the software developed to implement RIF specifications and with the specifications themselves. A widely used test suite providing good coverage of the target RIF dialect makes it more likely that different implementations will interoperate correctly.
</p><p>The format of the tests is designed to be suitable for use by RIF implementers using test harnesses. Developers will need to write their own test harnesses, and are encouraged to report their results as well as any problems they encounter with the tests.
</p><p>If additional test cases are contributed to the W3C, the Consortium may add them to the set of RIF test cases.
</p>
<a id="Scope" name="Scope"></a><h3> <span class="mw-headline">1.1  Scope </span></h3>
<p>This Working Draft documents test cases for the RIF <a href="#ref-rif-core" title=""> Core Dialect</a>, <a href="#ref-rif-bld" title=""> Basic Logic Dialect (BLD)</a> and <a href="#ref-rif-prd" title=""> Production Rule Dialect (PRD)</a>, as well as for RIF-RDF and RIF-OWL combinations as specified in <a href="#ref-rif-swc" title="">RIF RDF and OWL Compatibility</a>. The current set of tests focuses on testing syntax, entailment and validity of import directives, as described in the <a href="#ref-test-types" title="">Test Types</a> section. Additional types of tests may be added in the future.
</p><p>The test suite contains tests for RIF consumers as defined in the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/Core#Conformance_Clauses">RIF-Core Conformance Clauses</a>, <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/BLD#Conformance_Clauses">RIF-BLD Conformance Clauses</a>,  and the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/PRD#Conformance_Clauses">RIF-PRD Conformance Clauses</a>, but not for RIF producers. Producer tests are not included since producers translate from a particular rule language into RIF, and specifying tests to verify this translation without referring to specific rule languages would be difficult. However, partial syntactic validation of documents generated by producers can be performed using the XML schema for the target dialect (<a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Appendix:_XML_Schema_for_RIF-Core" title="Core">Core XML Schema</a>, <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#sec-xsd-bld" title="BLD"> BLD XML Schema</a>, or <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Appendix:_XML_schema" title="PRD"> PRD XML Schema</a>). For implementations that are both producers and consumers, some validation of the producer can be achieved by translating an entailment test from RIF to the target rule language, then back to RIF, then again to the target rule language, and then executing the entailment test.
</p><p>The tests are designed to:
</p>
<ul><li> aid in conformance evaluation by providing evidence that the specification has been implemented
</li><li> provide generally broad coverage of the language features
</li><li> focus on non-obvious features and behavior, and hard to implement features, since these types of tests are more likely to uncover problems in implementations.
</li><li> pinpoint omissions that can be corrected.
</li><li> illustrate the use and meaning of language features.
</li></ul>
<p><br />
The test suite is not exhaustive: it does not completely cover the RIF specification.
</p>
<a id="Conformance" name="Conformance"></a><h3> <span class="mw-headline">1.2  Conformance </span></h3>
<p>Conformance is defined as the fulfillment of specified requirements, which are detailed in the conformance clause of a specification. (See <a href="#ref-qa-spec" title="">QA Framework specification Guide</a>.) Admissable RIF documents, and conformant RIF consumers and producers are defined in the <i>conformance clauses</i> section of the relevant specification:  <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/Core#Conformance_Clauses">RIF-Core Conformance Clauses</a>, <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/BLD#Conformance_Clauses">RIF-BLD Conformance Clauses</a>, and <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Conformance_Clauses" title="http://www.w3.org/2005/rules/wiki/PRD#Conformance_Clauses">RIF-PRD Conformance Clauses</a>.  A complete conformance test suite would be a set of test cases that cover this set of requirements, such that passing all the tests in the suite for a particlar RIF dialect indicates conformance to that dialect. However, the development of this type of comprehensive test suite is beyond the scope of the Working Group, and the RIF test cases do not constitute complete conformance test suites. Failure to pass all the tests in the suite indicates that the implementation does not meet the relevant specification. But passing all the tests in the suite indicates only that the implementation is conformant to that particular version of the test suite.
</p>
<a id="Deliverables" name="Deliverables"></a><h2> <span class="mw-headline">2  Deliverables </span></h2>
<p>The RIF test package consists of:
</p>
<ul><li> The <a class="external text" href="#" title="http://www.w3.org/2005/rules/wiki/Test">RIF Test Cases document</a> (this document)
</li><li> A <a class="external text" href="http://www.w3.org/2005/rules/test/repository/zips/" title="http://www.w3.org/2005/rules/test/repository/zips/">zip</a> file for each dialect test suite that includes Approved and Proposed tests:
<ul><li> Files containing the input (RIF/XML, RDF and OWL) documents used in the tests
</li><li> Individual manifest files describing each test case
</li><li> RIF Presentation Syntax versions of the RIF documents, as a human-readable version of the test. Specification of the presentation syntaxes can be found at <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#RIF-Core_Presentation_Syntax" title="Core"> RIF-Core Presentation Syntax</a>, <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Direct_Specification_of_RIF-BLD_Presentation_Syntax" title="BLD"> RIF-BLD Presentation Syntax</a>, and  <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Presentation_syntax_.28Informative.29" title="PRD"> RIF-PRD Presentation Syntax</a>.
</li><li> A Manifest file for each dialect test suite (<a class="external text" href="http://www.w3.org/2005/rules/test/repository/CoreTests.xml" title="http://www.w3.org/2005/rules/test/repository/CoreTests.xml">CoreTests.xml</a>, <a class="external text" href="http://www.w3.org/2005/rules/test/repository/BLDTests.xml" title="http://www.w3.org/2005/rules/test/repository/BLDTests.xml">BLDTests.xml</a>, <a class="external text" href="http://www.w3.org/2005/rules/test/repository/PRDTests.xml" title="http://www.w3.org/2005/rules/test/repository/PRDTests.xml">PRDTests.xml</a>), describing all the tests applicable to that dialect.
</li></ul>
</li><li> A <a class="external text" href="http://www.w3.org/2005/rules/test/repository" title="http://www.w3.org/2005/rules/test/repository">web site</a> that includes all the files mentioned above, as well as <a class="external text" href="http://www.w3.org/2005/rules/test/repository/tc" title="http://www.w3.org/2005/rules/test/repository/tc">individual tests</a> organized into subdirectories.
</li></ul>
<p><span class="anchor" id="ref-test-types"></span>
</p>
<a id="Test_Types" name="Test_Types"></a><h2> <span class="mw-headline">3  Test Types </span></h2>
<p>This section introduces a categorization of the tests included in the test suite. Each test case describes inputs that can be provided to a RIF processor, and specifies the behavior required to satisfy the conformance conditions in that situation. There are several different types of test cases detailed in the following sub-sections. The type of test determines the task, associated inputs, and expected outcome of the test.
</p><p><span class="anchor" id="ref-test-syntax"></span>
</p>
<a id="Syntactic_Tests" name="Syntactic_Tests"></a><h3> <span class="mw-headline">3.1  Syntactic Tests </span></h3>
<p>Syntactic tests validate a RIF consumer's recognition of an <i>admissible</i> RIF XML document. An admissible RIF document conforms to all the syntactic constraints of the relevant dialect, including those that cannot be checked with XML Schema validation.
</p><p><span class="anchor" id="ref-test-positive-systax"></span>
</p>
<a id="Positive_Syntax_Tests" name="Positive_Syntax_Tests"></a><h4> <span class="mw-headline">3.1.1  Positive Syntax Tests </span></h4>
<p>These tests involve a single RIF document, indicated by the <a href="#ref-input-prop" title=""> InputDocument</a> element in the manifest for the test. The document is a syntactically correct RIF document in each dialect indicated by a <a href="#ref-dialect-prop" title=""> dialect</a> element in the manifest.
</p><p>The test is passed if the processor indicates that the document is syntactically correct, and failed otherwise.
</p>
<ul><li>If there is a dialect property with a value of <i>rifTest:Core</i> then the test document is an <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Conformance_Clauses" title="Core"> admissible Core document</a>.
</li></ul>
<ul><li>If there is a dialect property with a value of <i>rifTest:BLD</i> then the test document is an <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#def-bld-admissible-xml" title="BLD"> admissible BLD document in XML syntax</a>.
</li></ul>
<ul><li>If there is a dialect property with a value of <i>rifTest:PRD</i> then the test document is an <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Conformance_Clauses" title="PRD"> admissible PRD document</a>.
</li></ul>
<p>Note that the premises of all positive and negative entailment tests (defined below) are syntactically correct RIF documents and so can be used as positive syntax tests.
</p><p>Note also that a positive syntax test for a given dialect D is also a positive syntax test for any dialect that extends D. For dialects defined by the RIF Working Group, each dialect that a test applies to is indicated explicitly with a <a href="#ref-dialect-prop" title=""> dialect</a> element in the manifest.
</p><p><span class="anchor" id="ref-test-negative-syntax"></span>
</p>
<a id="Negative_Syntax_Tests" name="Negative_Syntax_Tests"></a><h4> <span class="mw-headline">3.1.2  Negative Syntax Tests </span></h4>
<p>These tests involve a single RIF document, indicated by the <a href="#ref-input-prop" title=""> InputDocument</a> element in the manifest for the test. The document is not a syntactically correct RIF document in each dialect indicated by a <a href="#ref-dialect-prop" title=""> dialect</a> element in the manifest.
</p><p>The test is passed if the processor indicates that the document is syntactically incorrect, and failed otherwise.
</p>
<ul><li>If there is a dialect property with a value of <i>rifTest:Core</i> then the test document is not an <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Conformance_Clauses" title="Core"> admissible Core document</a>.
</li></ul>
<ul><li>If there is a dialect property with a value of <i>rifTest:BLD</i> then the test document is not an <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#def-bld-admissible-xml" title="BLD"> admissible BLD document in XML syntax</a>.
</li></ul>
<ul><li>If there is a dialect property with a value of <i>rifTest:PRD</i> then the test document is not an <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Conformance_Clauses" title="PRD"> admissible PRD document</a>.
</li></ul>
<p>Note that a negative syntax test for a given dialect D is also a negative syntax test for any dialect that restricts D. For dialects defined by the RIF Working Group, each dialect that a test applies to is indicated explicitly with a <a href="#ref-dialect-prop" title=""> dialect</a> element in the manifest.
</p><p><span class="anchor" id="ref-test-importrejection"></span>
</p>
<a id="Import_Rejection_Tests" name="Import_Rejection_Tests"></a><h3> <span class="mw-headline">3.2  Import Rejection Tests </span></h3>
<p>Import rejection tests check a RIF consumer's recognition of an invalid imported document set. For RIF-RDF and RIF-OWL combinations, invalid import scenarios are specified in the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/#Interpretation_of_Profiles" title="http://www.w3.org/2005/rules/wiki/SWC#Interpretation_of_Profiles">Interpretation of Profiles</a> section of the <a href="#ref-rif-swc" title="">RIF RDF and OWL Compatibility document</a>. For Core, BLD or PRD documents, import directives can result in a document set that doesn't satisfy the <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#Well-formed_Formulas" title="Core">Core well-formedness</a>, <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Well-formed_Formulas" title="BLD">BLD well-formedness</a> or <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Well-formed_formulas" title="PRD">PRD well-formedness</a> requirements.
</p><p>Each test of this type includes a RIF document, indicated by the <a href="#ref-input-prop" title=""> InputDocument</a> element in the manifest for the test, and one or more documents in the imports closure of the input document, indicated by <a href="#ref-importDoc-prop" title="">ImportedDocument</a> elements.
</p><p>The test is passed if the processor indicates that the input document is rejected, and failed otherwise.
</p><p>Note that an import rejection test for a given dialect D is also an import rejection test for any dialect that extends D. For dialects defined by the RIF Working Group, each dialect that a test applies to is indicated explicitly with a <a href="#ref-dialect-prop" title=""> dialect</a> element in the manifest.
</p><p><span class="anchor" id="ref-test-entailment"></span>
</p>
<a id="Semantic_Tests" name="Semantic_Tests"></a><h3> <span class="mw-headline">3.3  Semantic Tests </span></h3>
<p>These tests validate a RIF processor's computation of the entailment relation. Each entailment test has one or more associated dialects, and is of the general form
</p>
<dl><dt>Premises
</dt><dd><i><b>R</b></i>
</dd><dt>Conclusion
</dt><dd><i><b>C</b></i>
</dd></dl>
<p>Where <i><b>R</b></i> is a RIF document, <i><b>C</b></i> is a RIF condition, an RDF document or an OWL document, and the imports closure of <i><b>R</b></i> <i>entails</i> (for positive entailment tests) or <i>does not entail</i> (for negative entailment tests) <i><b>C</b></i> in the given dialects. The conclusions of semantic tests are defined to be RIF conditions because RIF Conformance is defined in terms of the entailment of closed RIF condition formulas. The complete specification of these tests is given in the sub-sections below.
</p><p>Note that a positive or negative entailment test for a given dialect D also applies to any dialect that extends D. For dialects defined by the RIF Working Group, each dialect that a test applies to is indicated explicitly with a <a href="#ref-dialect-prop" title=""> dialect</a> element in the test's manifest.
</p><p><br />
</p><p><span class="anchor" id="ref-test-positive-entailment"></span>
</p>
<a id="Positive_Entailment_Tests" name="Positive_Entailment_Tests"></a><h4> <span class="mw-headline">3.3.1  Positive Entailment Tests </span></h4>
<p>Each test of this type includes a premises document, indicated by the <a href="#ref-premises-prop" title="">PremiseDocument</a> element in the manifest for the test, a conclusion document, indicated by the <a href="#ref-conc-prop" title=""> ConclusionDocument</a> element, and optionally one or more documents in the imports closure of the premises document, indicated by <a href="#ref-importDoc-prop" title="">ImportedDocument</a> elements. Note that the conclusion document is a RIF condition.
</p><p>The applicable entailment regimes are indicated by <a href="#ref-dialect-prop" title=""> dialect</a> elements in the manifest file:
</p>
<ul><li>if there is a dialect property with a value of "rifTest:Core" then the entailment holds according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#RIF-Core_Semantics" title="http://www.w3.org/2005/rules/wiki/Core#RIF-Core_Semantics">RIF-Core semantics</a>.
</li><li>if there is a dialect property with a value of "rifTest:BLD" then the entailment holds according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Logical_Entailment" title="http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment">RIF-BLD definition of entailment</a>.
</li><li>if there is a dialect property with a value of "rifTest:PRD" then the conclusion is satisfied according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Condition_satisfaction" title="http://www.w3.org/2005/rules/wiki/PRD#Condition_satisfaction">RIF-PRD definition of condition satisfaction</a>.
</li></ul>
<p>In addition, an optional <a href="#ref-importSupport-prop" title="">Combinations</a> element in the manifest indicates the types of documents in the imports closure of the premises document.
</p><p><br />
Note that, in general, the conclusion will not include <i>everything</i> that is entailed by the premises.
</p><p>A conformant RIF consumer should report that the conclusion is entailed by the premises, should not report that the answer is undecided, and must not report that the conclusion is not entailed by the premises.
</p><p><span class="anchor" id="ref-test-negative-entailment"></span>
</p>
<a id="Negative_Entailment_Tests" name="Negative_Entailment_Tests"></a><h4> <span class="mw-headline">3.3.2  Negative Entailment Tests </span></h4>
<p>Each test of this type includes a premises document, indicated by the <a href="#ref-premises-prop" title="">PremiseDocument</a> element in the manifest for the test, a conclusion document, indicated by the <a href="#ref-nonconc-prop" title=""> NonConclusionDocument</a> element, and optionally one or more documents in the imports closure of the premises document, indicated by <a href="#ref-importDoc-prop" title="">ImportedDocument</a> elements.
</p><p>The applicable entailment regimes are indicated by <a href="#ref-dialect-prop" title=""> dialect</a> elements in the manifest file:
</p>
<ul><li>if there is a dialect property with a value of "rifTest:Core" then the entailment does not hold according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-core-20100622/#RIF-Core_Semantics" title="http://www.w3.org/2005/rules/wiki/Core#RIF-Core_Semantics">RIF-Core semantics</a>.
</li><li>if there is a dialect property with a value of "rifTest:BLD" then the entailment does not hold according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/#Logical_Entailment" title="http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment">RIF-BLD definition of entailment</a>.
</li><li>if there is a dialect property with a value of "rifTest:PRD" then the conclusion is not satisfied according to the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/#Condition_satisfaction" title="http://www.w3.org/2005/rules/wiki/PRD#Condition_satisfaction">RIF-PRD definition of condition satisfaction</a>.
</li></ul>
<p>In addition, an optional <a href="#ref-importSupport-prop" title="">Combinations</a> element in the manifest indicate the types of documents in the imports closure of the premises document.
</p><p>A conformant RIF consumer should report that the conclusion is not entailed by the premises, should not report that the answer is undecided, and must not report that the conclusion is entailed by the premises.
</p><p><span class="anchor" id="ref-manifest-file"></span>
</p>
<a id="Test_Case_Format" name="Test_Case_Format"></a><h2> <span class="mw-headline">4  Test Case Format </span></h2>
<p>Each test case has an associated manifest file that contains information needed to property execute the test. These files are in a machine-readable XML format in order to enable the development of automated testing frameworks. The information in the manifests can be used to select tests according to a variety of criteria, such as what dialect they apply to, and to locate the documents that participate in the test.
</p><p>The format of the test cases follows the general guidelines of the W3C QA Working Group's [<a href="#ref-test-metadata" title="">Test Metadata Note</a>].  The RIF test case schema is given in <a class="external text" href="http://www.w3.org/2005/rules/test/repository/rif-testcase.xsd" title="http://www.w3.org/2005/rules/test/repository/rif-testcase.xsd">rif-testcase.xsd</a>.
</p><p>This section presents a summary of the data elements, organized by the  type of test to which they apply. The name of the root element of a test case document indicates the <a href="#ref-test-types" title=""> test type</a>:
</p>
<ul><li> PositiveEntailmentTest
</li><li> NegativeEntailmentTest
</li><li> PositiveSyntaxTest
</li><li> NegativeSyntaxTest
</li><li> ImportRejectionTest
</li></ul>
<p>The root element has two attributes:
</p>
<ul><li> <i><b>id</b></i> is the unique name for the test case. It conforms to <span class="nonterminal">irelative-ref</span> as defined in [<cite><a href="#ref-rfc-3987" title="">RFC-3987</a></cite>] so that it can be appended to a base to generate a URI for the test.
</li><li> <i><b>src</b></i> is a link to the test case in the repository.
</li></ul>
<a id="Properties_of_All_Tests" name="Properties_of_All_Tests"></a><h3> <span class="mw-headline">4.1  Properties of All Tests </span></h3>
<a id="status" name="status"></a><h4> <span class="mw-headline">4.1.1  status </span></h4>
<p>The value of this property is the status of the test case according to the test case approval process. Values of this property are one of an enumerated list: <i>Proposed</i>, <i>Approved</i>, <i>Rejected</i> or <i>Obsolete</i>.
</p><p>This is a required element, and there is one for each test.
</p><p><span class="anchor" id="ref-dialect-prop"></span>
</p>
<a id="dialect" name="dialect"></a><h4> <span class="mw-headline">4.1.2  dialect </span></h4>
<p>This property is used to indicate the RIF dialects that the test applies to. There is one 'dialect' element for each dialect that the test is valid for. The possible dialect values are <i>Core</i>, <i>BLD</i> and <i>PRD</i>.
</p><p>This is a required element, and there are one or more for each test.
</p>
<a id="purpose" name="purpose"></a><h4> <span class="mw-headline">4.1.3  purpose </span></h4>
<p>The value of this property is a brief explanation of the purpose of the test, suitable for display in tabular format.
</p><p>This is a required element, and there is one for each test.
</p>
<a id="description" name="description"></a><h4> <span class="mw-headline">4.1.4  description </span></h4>
<p>A more detailed explanation, where appropriate, about the nature or characteristics of the test.
</p><p>This is an optional element, and there is zero or one for each test.
</p><p><span class="anchor" id="ref-importSupport-prop"></span>
</p>
<a id="Combinations" name="Combinations"></a><h4> <span class="mw-headline">4.1.5  Combinations </span></h4>
<p>This element indicates the types of combinations that must be supported in order to properly execute the test. A Combination element contains one or more <i><b>profile</b></i> sub-elements; the value of a profile element is the <a class="external text" href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/#Profiles_of_Imports" title="http://www.w3.org/2005/rules/wiki/SWC#Profiles_of_Imports">iri of the profile</a>.
</p><p>If all of a test's imported files are of the same dialect as the test, i.e. files imported with a single-argument imports directive, then the Combinations element is not present.
</p><p>This is an optional element, and there are zero or one for each test.
</p><p><span class="anchor" id="ref-importDoc-prop"></span>
</p>
<a id="ImportedDocument" name="ImportedDocument"></a><h4> <span class="mw-headline">4.1.6  ImportedDocument </span></h4>
<p>This element provides a reference to a document imported by one of the other documents (Premise, Input or Imported) of the test.
</p><p>ImportedDocument has one <i><b>Normative</b></i> sub-element, which indicates the document (file) that should be used to execute the test, and zero or more <i><b>Presentation</b></i> sub-elements, each of which contains the document in a presentation syntax.
</p><p>The <i><b>Normative</b></i> element has one attribute and two sub-elements:
</p>
<ul><li> the <i><b>syntax:</b></i> attribute indicates the syntax of the file; possible values are:  <i>RIF/XML</i> or <i>RDF/XML</i>
</li><li> the <i><b>name</b></i> element contains the name of the file. In a local environment downloaded from the repository, the file will be in the same directory as the test case manifest
</li><li> the <i><b>remote:</b></i> attribute contains a link to the document in the RIF test cases repository
<ul><li> <b>Note</b>:  if the syntax of the remote file is RDF/XML, then the link to the file given in the <b>remote</b> element will not include the .rdf suffix part of the file name. The software accessing this file can either append the .rdf suffix to the given uri, or can use an HTTP Accept header of <i> application/rdf+xml</i> to request the RDF/XML version of the file.
</li></ul>
</li></ul>
<p>The <i><b>Presentation</b></i> element has text content and one attribute:
</p>
<ul><li> <i><b>syntax</b></i> indicates the syntax of the content; possible values are: <i>RIFBLD-PS</i>, <i>RIFPRD-PS</i>, <i>Turtle</i>, or <i>OWL2 Functional Syntax</i>.
</li></ul>
<p>There are zero or more ImportedDocument elements for each test.
</p>
<a id="Properties_of_Import_Rejection_and_Syntax_Tests" name="Properties_of_Import_Rejection_and_Syntax_Tests"></a><h3> <span class="mw-headline">4.2  Properties of Import Rejection and Syntax Tests </span></h3>
<p><span class="anchor" id="ref-input-prop"></span>
</p>
<a id="InputDocument" name="InputDocument"></a><h4> <span class="mw-headline">4.2.1  InputDocument </span></h4>
<p>This element provides a reference to the input document for the test.
</p><p>InputDocument has one <i><b>Normative</b></i> sub-element, which indicates the document (file) that should be used to execute the test, and zero or more <i><b>Presentation</b></i> sub-elements, each of which contains the document in a presentation syntax.
</p><p>The <i><b>Normative</b></i> element has one attribute and two sub-elements:
</p>
<ul><li> the <i><b>syntax:</b></i> attribute indicates the syntax of the file; possible values are:  <i>RIF/XML</i>.
</li><li> the <i><b>name</b></i> element contains the name of the file. In a local environment downloaded from the repository, the file will be in the same directory as the test case manifest
</li><li> the <i><b>remote:</b></i> attribute contains a link to the document in the RIF test cases repository
</li></ul>
<p>The <i><b>Presentation</b></i> element has text content and one attribute:
</p>
<ul><li> <i><b>syntax</b></i> indicates the syntax of the content; possible values are: <i>RIFBLD-PS</i> or <i>RIFPRD-PS</i>.
</li></ul>
<p>There is one InputDocument element for each syntax and import rejection test.
</p>
<a id="Properties_of_Entailment_Tests" name="Properties_of_Entailment_Tests"></a><h3> <span class="mw-headline">4.3  Properties of Entailment Tests </span></h3>
<p><span class="anchor" id="ref-premises-prop"></span>
</p>
<a id="PremiseDocument" name="PremiseDocument"></a><h4> <span class="mw-headline">4.3.1  PremiseDocument </span></h4>
<p>This property provides a reference to the premise document for the test.
</p><p>PremiseDocument has one <i><b>Normative</b></i> sub-element, which indicates the document (file) that should be used to execute the test, and zero or more <i><b>Presentation</b></i> sub-elements, each of which contains the document in a presentation syntax.
</p><p>The <i><b>Normative</b></i> element has one attribute and two sub-elements:
</p>
<ul><li> the <i><b>syntax:</b></i> attribute indicates the syntax of the file; possible values are:  <i>RIF/XML</i>.
</li><li> the <i><b>name</b></i> element contains the name of the file. In a local environment downloaded from the repository, the file will be in the same directory as the test case manifest
</li><li> the <i><b>remote:</b></i> attribute contains a link to the document in the RIF test cases repository
</li></ul>
<p>The <i><b>Presentation</b></i> element has text content and one attribute:
</p>
<ul><li> <i><b>syntax</b></i> indicates the syntax of the content; possible values are: <i>RIFBLD-PS</i> or <i>RIFPRD-PS</i>.
</li></ul>
<p>There is one PremiseDocument for each entailment test.
</p>
<a id="Properties_of_Positive_Entailment_tests" name="Properties_of_Positive_Entailment_tests"></a><h4> <span class="mw-headline">4.3.2  Properties of Positive Entailment tests </span></h4>
<p><span class="anchor" id="ref-conc-prop"></span>
</p>
<a id="ConclusionDocument" name="ConclusionDocument"></a><h5> <span class="mw-headline">4.3.2.1  ConclusionDocument </span></h5>
<p>This property provides a reference to the conclusion document for the test.
</p><p>ConclusionDocument has one <i><b>Normative</b></i> sub-element, which indicates the document (file) that should be used to execute the test, and zero or more <i><b>Presentation</b></i> sub-elements, each of which contains the document in a presentation syntax.
</p><p>The <i><b>Normative</b></i> element has one attribute and two sub-elements:
</p>
<ul><li> the <i><b>syntax:</b></i> attribute indicates the syntax of the file; possible values are:  <i>RIF/XML</i> or <i>Turtle</i>.
</li><li> the <i><b>name</b></i> element contains the name of the file. In a local environment downloaded from the repository, the file will be in the same directory as the test case manifest
</li><li> the <i><b>remote:</b></i> attribute contains a link to the document in the RIF test cases repository
</li></ul>
<p>The <i><b>Presentation</b></i> element has text content and one attribute:
</p>
<ul><li> <i><b>syntax</b></i> indicates the syntax of the content; possible values are: <i>RIFBLD-PS</i>, <i>RIFPRD-PS</i> or <i>Turtle</i>.
</li></ul>
<p>There is one ConclusionDocument for each positive entailment test.
</p>
<a id="Properties_of_Negative_Entailment_tests" name="Properties_of_Negative_Entailment_tests"></a><h4> <span class="mw-headline">4.3.3  Properties of Negative Entailment tests </span></h4>
<p><span class="anchor" id="ref-nonconc-prop"></span>
</p>
<a id="NonConclusionDocument" name="NonConclusionDocument"></a><h5> <span class="mw-headline">4.3.3.1  NonConclusionDocument </span></h5>
<p>This property provides a reference to the conclusion document for the test.
</p><p>NonConclusionDocument has one <i><b>Normative</b></i> sub-element, which indicates the document (file) that should be used to execute the test, and zero or more <i><b>Presentation</b></i> sub-elements, each of which contains the document in a presentation syntax.
</p><p>The <i><b>Normative</b></i> element has one attribute and two sub-elements:
</p>
<ul><li> the <i><b>syntax:</b></i> attribute indicates the syntax of the file; possible values are:  <i>RIF/XML</i> or <i>Turtle</i>.
</li><li> the <i><b>name</b></i> element contains the name of the file. In a local environment downloaded from the repository, the file will be in the same directory as the test case manifest
</li><li> the <i><b>remote:</b></i> attribute contains a link to the document in the RIF test cases repository
</li></ul>
<p>The <i><b>Presentation</b></i> element has text content and one attribute:
</p>
<ul><li> <i><b>syntax</b></i> indicates the syntax of the content; possible values are: <i>RIFBLD-PS</i>, <i>RIFPRD-PS</i> or <i>Turtle</i>.
</li></ul>
<p>There is one NonConclusionDocument for each negative entailment test.
</p>
<a id="Sample_Test_Case" name="Sample_Test_Case"></a><h3> <span class="mw-headline">4.4  Sample Test Case </span></h3>
<p>A sample test case is shown below:
</p>
<pre>
&lt;?xml version="1.0" encoding="UTF-8"?&gt;
&lt;PositiveEntailmentTest id="RDF_Combination_SubClass_2"
       src="http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_2"
       xmlns="http://www.w3.org/2009/10/rif-test#"&gt;
    &lt;status&gt;Approved&lt;/status&gt;
    &lt;dialect&gt;Core&lt;/dialect&gt;
    &lt;dialect&gt;BLD&lt;/dialect&gt;
    &lt;dialect&gt;PRD&lt;/dialect&gt;
    &lt;Combinations&gt;
        &lt;profile&gt;http://www.w3.org/2007/rif-import-profile#RDFS&lt;/profile&gt;
    &lt;/Combinations&gt;
    &lt;purpose&gt;Test interaction between rdfs:subClassOf, rdf:type, ## and # in RIF&lt;/purpose&gt;
    &lt;description&gt;
       In RIF-RDF combinations, we have that rdf:type statements are equivalent to RIF #
       statements and RIF ## statements imply rdfs:subClassOf statements. By the RDFS semantics
       we have that ex:a rdf:type ex:D must hold and by the semantics of combinations, we have that
       ex:a rdf:type ex:D implies ex:a # ex:D. Therefore, ex:a # ex:D is derived.
    &lt;/description&gt;
    &lt;ImportedDocument&gt;
        &lt;Normative syntax="NTriples"&gt;
            &lt;name&gt;RDF_Combination_SubClass_2-import001&lt;/name&gt;
            &lt;remote&gt;
              http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-import001
            &lt;/remote&gt;
        &lt;/Normative&gt;
        &lt;Presentation syntax="NTriples"&gt;&lt;![CDATA[
@prefix ex: &lt;http://example.org/#&gt; .
@prefix rdfs: &lt;http://www.w3.org/2000/01/rdf-schema#&gt; .
@prefix rdf: &lt;http://www.w3.org/1999/02/22-rdf-syntax-ns#&gt; .

 ex:a rdf:type ex:C .
 ex:C rdfs:subClassOf ex:D .
]]&gt;     &lt;/Presentation&gt;
    &lt;/ImportedDocument&gt;
    &lt;PremiseDocument&gt;
        &lt;Normative syntax="RIF/XML"&gt;
            &lt;name&gt;RDF_Combination_SubClass_2-premise.rif&lt;/name&gt;
            &lt;remote&gt;
              http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-premise.rif
            &lt;/remote&gt;
        &lt;/Normative&gt;
        &lt;Presentation syntax="RIFBLD-PS"&gt;&lt;![CDATA[
Document(
    Import(&lt;http://example.org/mygraph&gt; &lt;http://www.w3.org/2007/rif-import-profile#RDFS&gt;)
 )
]]&gt;     &lt;/Presentation&gt;
    &lt;/PremiseDocument&gt;
    &lt;ConclusionDocument&gt;
        &lt;Normative syntax="RIF/XML"&gt;
            &lt;name&gt;RDF_Combination_SubClass_2-conclusion.rif&lt;/name&gt;
            &lt;remote&gt;
              http://www.w3.org/2005/rules/test/repository/tc/RDF_Combination_SubClass_2/RDF_Combination_SubClass_2-conclusion.rif
            &lt;/remote&gt;
        &lt;/Normative&gt;
        &lt;Presentation syntax="RIFBLD-PS"&gt;&lt;![CDATA[
ex:a # ex:D
]]&gt;&lt;/Presentation&gt;
    &lt;/ConclusionDocument&gt;
&lt;/PositiveEntailmentTest&gt;
</pre>
<a id="Test_Case_Repository" name="Test_Case_Repository"></a><h2> <span class="mw-headline">5  Test Case Repository </span></h2>
<p>The test cases are available from the <a href="#ref-riftest-repos" title="">Test Case Repository</a> where they are each in an <a class="external text" href="http://www.w3.org/2005/rules/test/repository/tc/" title="http://www.w3.org/2005/rules/test/repository/tc/">individual sub-directory</a> named for the test case. The test cases are also available in dialect test suites as <a class="external text" href="http://www.w3.org/2005/rules/test/repository/zips/" title="http://www.w3.org/2005/rules/test/repository/zips/">zip files</a>. These zip files expand into a directory structure organized by status and test type. There is also a manifest file for each dialect(<a class="external text" href="http://www.w3.org/2005/rules/test/repository/CoreTests.xml" title="http://www.w3.org/2005/rules/test/repository/CoreTests.xml">CoreTests.xml</a>, <a class="external text" href="http://www.w3.org/2005/rules/test/repository/BLDTests.xml" title="http://www.w3.org/2005/rules/test/repository/BLDTests.xml">BLDTests.xml</a>, <a class="external text" href="http://www.w3.org/2005/rules/test/repository/PRDTests.xml" title="http://www.w3.org/2005/rules/test/repository/PRDTests.xml">PRDTests.xml</a>) that describes all the tests applicable to the dialect.
</p>
<a id="Running_the_Test_Cases" name="Running_the_Test_Cases"></a><h2> <span class="mw-headline">6  Running the Test Cases </span></h2>
<p>The test suite is intended for use on a variety of rule systems, each with its own API. Therefore, the tasks of providing input to the rule engine in a system-dependent manner and of checking that the results are correct are left to the tester.  The <a href="#ref-manifest-file" title="">manifest</a> contains a machine-readable description of the test cases, and is intended to enable automated processing of the test cases.
</p><p>Users are expected to write their own test harnesses to carry out the following tasks:
</p>
<ul><li> Reading test cases from the repository, and selecting the ones applicable to the implementation
</li><li> Applying customization if applicable (see below)
</li><li> Translating the RIF/XML in which the test case is written into the language of the system that is being tested
</li><li> Executing the tests, using the source files specified in the manifest
</li><li> Determining if the correct result has been achieved. (For example, for the particular case of Positive [Negative] Entailment tests, this means determining that the conclusion is [is not] entailed by the premises, as discussed above.)
</li><li> Producing a description of the test results that can be sent to the working group
</li></ul>
<p>The <a href="#ref-dialect-prop" title=""> dialect</a> and <a href="#ref-importSupport-prop" title="">Combinations</a> elements in the manifest file can be used to filter for appropriate tests. For example, a RIF-BLD implemention should select only tests that have a <i><b>dialect</b></i> property with a value of <i>BLD</i>, and implementations that don't support RIF-OWL combinations should skip tests that have a <i><b>Combinations</b></i> element containing <i><b>profile</b></i> sub-elements with a value of one of the OWL profiles.
</p>
<a id="Test_Case_Customization" name="Test_Case_Customization"></a><h3> <span class="mw-headline">6.1  Test Case Customization </span></h3>
<p>Testers have the option of making certain changes to the test cases in order to facilitate use of the test suite. All changes made to the original test suite should be documented in free-text form as part of the results submission. Acceptable changes are described below.
</p>
<a id="Customizing_Import_Directives" name="Customizing_Import_Directives"></a><h5> <span class="mw-headline">6.1.1  Customizing Import Directives </span></h5>
<p>For tests with input documents that contain import directives, the location of the imported document specified in the directive will be at the W3C website, and the imported document will be made available at that location. Test cases will also include all imported documents as part of their data (in the zip file), pointed to by elements in the manifest. Users who wish to access these files in their own environment can change the import directives in the input documents to reflect the updated location.
</p>
<a id="Reporting_Test_Results" name="Reporting_Test_Results"></a><h3> <span class="mw-headline">6.2  Reporting Test Results </span></h3>
<p>Implementers are encouraged to report their test results by e-mail with a subject of "RIF Test Results" to public-rif-comments@w3.org (which has a <a class="external text" href="http://lists.w3.org/Archives/Public/public-rif-comments/" title="http://lists.w3.org/Archives/Public/public-rif-comments/">public archive</a>); the results will be summarized on the <a class="external text" href="http://www.w3.org/2005/rules/test/results/report" title="http://www.w3.org/2005/rules/test/results/report">RIF Test Results</a> page. This information will help to determine when the RIF specifications are ready to become W3C Recommendations.
</p><p>The results should be formatted in XML according to <a class="external text" href="http://www.w3.org/2005/rules/test/repository/rif-test-report.xsd" title="http://www.w3.org/2005/rules/test/repository/rif-test-report.xsd">rif-test-report.xsd</a>. The requested information is described below, and an example test report is given at the end of this section.
</p>
<a id="Test_Report_fields" name="Test_Report_fields"></a><h4> <span class="mw-headline">6.2.1  Test Report fields </span></h4>
<a id="Implementation" name="Implementation"></a><h5> <span class="mw-headline">6.2.1.1  Implementation </span></h5>
<p>There is one <i>Implemention</i> element per report. This information identifies the software that was tested.
</p>
<ul><li> <i><b>name</b></i> (required) - short name of the implementation, suitable for display in a table
</li><li> <i><b>version</b></i> (required) - version of the software tested.
</li><li> <i><b>website</b></i> (optional) - website of the implementation software.
</li><li> <i><b>description</b></i> (optional) - XHTML description of the implementation software. This description will be included inline in the test results summary.
</li><li> <i><b>organization name</b></i> (required) - name of the organization that is responsible for the implementation.
</li><li> <i><b>organization website</b></i> (optional) - website of the organization that is responsible for the implementation.
</li><li> <i><b>submitter name</b></i> (required) - name of the person submitting the test results.
</li><li> <i><b>submitter email</b></i> (required) - email of the person submitting the test results.
</li><li> <i><b>submitter website</b></i> (optional) - website of the person submitting the test results.
</li></ul>
<a id="Test_Run" name="Test_Run"></a><h5> <span class="mw-headline">6.2.1.2  Test Run </span></h5>
<p>There is one <i>TestRun</i> element per report.
</p>
<ul><li> <i><b>Test Suite version</b></i> (required) - The version of the RIF test suite that was used. The version can be found in the version.txt file in the <a class="external text" href="http://www.w3.org/2005/rules/test/repository" title="http://www.w3.org/2005/rules/test/repository">RIF Test Case repository</a>.
</li><li> <i><b>platform</b></i> (optional) - description of Hardware and OS used for test execution.
</li><li> <i><b>comments</b></i> (optional) - XHTML comments about the test run.
</li><li> <i><b>date</b></i> (required) - The date that the tests were performed, in XML Schema date format.
</li></ul>
<a id="Test_Result" name="Test_Result"></a><h5> <span class="mw-headline">6.2.1.3  Test Result </span></h5>
<p>There is one or more <i>TestResult</i> elements per report, one for each test case executed. If a test case is found to be in error, don't submit a test result for it, but rather report the bug as described the <a href="#ref-report-problems" title="">Reporting Problems</a> section
</p>
<ul><li> <i><b>testId</b></i> (required) - Test Case identifier. The identifier is given in the <i>id</i> attribute of the root element of the testcase manifest file.
</li><li> <i><b>status</b></i> (required) - The outcome of the test. This value must be one of an enumerated list:
<ul><li> <i><b>pass</b></i> - The test case passed according to the definition given in the <a href="#ref-test-types" title="">Test Types</a> section.
</li><li> <i><b>passSyntax</b></i> - The premise of a Positive Entailment or Negative Entailment test was used as a Positive Syntax test, and the test passed according to the definition given for <a href="#ref-test-positive-systax" title="">Positive Syntax tests</a>.
</li><li> <i><b>fail</b></i> - The test case failed according to the definition given in the <a href="#ref-test-types" title="">Test Types</a> section.
</li><li> <i><b>undecided</b></i> - This value is applicable only to <a href="#ref-test-entailment" title="">Entailment Tests</a> and indicates that a passing result was not conclusively demonstrated.
</li><li> <i><b>notSupported</b></i> - The features required to successfully execute this test case are not (or not yet) supported by the implementation.
</li></ul>
</li><li> <i><b>comments</b></i> (optional) - XHTML comments about the test case or test result.
</li><li> <i><b>msec</b></i> (optional) - The number of milliseconds taken by the process to compute the test result.
</li><li> <i><b>kbytes</b></i> (optional) - Memory used by the process in computing the test result.
</li></ul>
<a id="Example_Test_Report" name="Example_Test_Report"></a><h4> <span class="mw-headline">6.2.2  Example Test Report </span></h4>
<p>An example test report is shown below:
</p>
<pre>
&lt;?xml version="1.0" encoding="UTF-8"?&gt;

&lt;TestReport xmlns="http://www.w3.org/2009/10/rif-test-results#"&gt;
   &lt;Implementation&gt;
      &lt;name&gt;Riftia Pachyptila&lt;/name&gt;
      &lt;version&gt;4.8&lt;/version&gt;
      &lt;website&gt;http://www.example.com/gc/rp&lt;/website&gt;
      &lt;description&gt;
         &lt;span xmlns="http://www.w3.org/1999/xhtml"&gt;&lt;em&gt;Riftia&lt;/em&gt; is part
         of the &lt;a href="http://www.example.com/gc/rp"&gt;GC&lt;/a&gt;
         Smart Computing&copy; Suite.&lt;/span&gt;
      &lt;/description&gt;

      &lt;Organization&gt;
        &lt;name&gt;General Competencies, Inc&lt;/name&gt;
        &lt;website&gt;http://www.example.com/gc&lt;/website&gt;
      &lt;/Organization&gt;

      &lt;Submitter&gt;
        &lt;name&gt;John Duguid&lt;/name&gt;
        &lt;email&gt;jd@gc.com&lt;/email&gt;
        &lt;website&gt;http://www.example.com/gc/people/jd&lt;/website&gt; &lt;!-- optional --&gt;
      &lt;/Submitter&gt;
   &lt;/Implementation&gt;

   &lt;TestRun date="2009-10-27"&gt;
      &lt;TestSuite&gt;
        &lt;version&gt;1.0&lt;/version&gt;
      &lt;/TestSuite&gt;
      &lt;platform&gt;optional description of Hardware and OS being used.&lt;/platform&gt;
      &lt;comments&gt;optional comments&lt;/comments&gt;
   &lt;/TestRun&gt;

   &lt;TestResult&gt;
      &lt;testId&gt;Core_Safeness&lt;/testId&gt;
      &lt;status&gt;pass&lt;/status&gt;
   &lt;/TestResult&gt;

   &lt;TestResult  msec="333"&gt;
      &lt;testId&gt;Equality_in_conclusion_3&lt;/testId&gt;
      &lt;status&gt;pass&lt;/status&gt;
      &lt;comments&gt;this was hard&lt;/comments&gt;
   &lt;/TestResult&gt;

   &lt;TestResult msec="10000" kbytes="220"&gt;
      &lt;testId&gt;NestedListsAreNotFlatLists&lt;/testId&gt;
      &lt;status&gt;undecided&lt;/status&gt;
   &lt;/TestResult&gt;
&lt;/TestReport&gt;
</pre>
<p><span class="anchor" id="ref-report-problems"></span>
</p>
<a id="Reporting_Problems" name="Reporting_Problems"></a><h3> <span class="mw-headline">6.3  Reporting Problems </span></h3>
<p>If you believe that a test case is incorrect please send a bug report to <a class="external text" href="mailto:public-rif-comments@w3.org" title="mailto:public-rif-comments@w3.org">public-rif-comments@w3.org</a>. Please be specific about the problem you are reporting. Clearly identify the test case or test cases that are problematic and include the repository version, which can be found in the version.txt file in the <a class="external text" href="http://www.w3.org/2005/rules/test/repository" title="http://www.w3.org/2005/rules/test/repository">RIF Test Case repository</a>. If you believe that the expected result is wrong, then tell us what you believe the expected result should be. Please cite portions of one or more of the RIF specifications to support your position whenever possible.
</p>
<a id="References" name="References"></a><h2> <span class="mw-headline">7  References </span></h2>
<a id="Normative_References" name="Normative_References"></a><h3> <span class="mw-headline">7.1  Normative References </span></h3>
<p><span class="anchor" id="ref-riftest-repos"></span>
</p>
<dl><dt> [REPOSITORY]
</dt><dd> <a class="external text" href="http://www.w3.org/2005/rules/test/repository" title="http://www.w3.org/2005/rules/test/repository">Repository for RIF Test Cases</a>, <a class="external free" href="http://www.w3.org/2005/rules/test/repository" title="http://www.w3.org/2005/rules/test/repository">http://www.w3.org/2005/rules/test/repository</a>
</dd></dl>
<p><span class="anchor" id="ref-rfc-3987"></span>
</p>
<dl><dt>[RFC-3987]
</dt><dd> <cite><a class="external text" href="http://www.ietf.org/rfc/rfc3987.txt" title="http://www.ietf.org/rfc/rfc3987.txt">RFC 3987: Internationalized Resource Identifiers (IRIs)</a></cite>. M. Duerst, M. Suignard. IETF, January 2005, <a class="external free" href="http://www.ietf.org/rfc/rfc3987.txt" title="http://www.ietf.org/rfc/rfc3987.txt">http://www.ietf.org/rfc/rfc3987.txt</a>.
</dd></dl>
<p><span class="anchor" id="ref-rif-bld"></span>
</p>
<dl><dt> [RIF-BLD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/"><span>RIF Basic Logic Dialect</span></a></cite> Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-bld-20100622/">http://www.w3.org/TR/2010/REC-rif-bld-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-bld/">http://www.w3.org/TR/rif-bld/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-core"></span>
</p>
<dl><dt> [RIF-Core]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/"><span>RIF Core Dialect</span></a></cite> Harold Boley, Gary Hallmark, Michael Kifer, Adrian Paschke, Axel Polleres, Dave Reynolds, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-core-20100622/">http://www.w3.org/TR/2010/REC-rif-core-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-core/">http://www.w3.org/TR/rif-core/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-dtb"></span>
</p>
<dl><dt> [RIF-DTB]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/"><span>RIF Datatypes and Built-Ins 1.0</span></a></cite> Axel Polleres, Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-dtb-20100622/">http://www.w3.org/TR/2010/REC-rif-dtb-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-dtb/">http://www.w3.org/TR/rif-dtb/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-swc"></span>
</p>
<dl><dt> [RIF-RDF+OWL]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/"><span>RIF RDF and OWL Compatibility</span></a></cite> Jos de Bruijn, editor. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/">http://www.w3.org/TR/2010/REC-rif-rdf-owl-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-rdf-owl/">http://www.w3.org/TR/rif-rdf-owl/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-rif-prd"></span>
</p>
<dl><dt> [RIF-PRD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/"><span>RIF Production Rule Dialect</span></a></cite> Christian de Sainte Marie, Gary Hallmark, Adrian Paschke, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-prd-20100622/">http://www.w3.org/TR/2010/REC-rif-prd-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-prd/">http://www.w3.org/TR/rif-prd/</a>.</span></dd></dl>
<a id="Informational_References" name="Informational_References"></a><h3> <span class="mw-headline">7.2  Informational References </span></h3>
<p><span class="anchor" id="ref-owl-test"></span>
</p>
<dl><dt> [OWL Tests]
</dt><dd> <i>OWL Web Ontology Language Test Cases</i>, Jeremy J. Carroll and Jos De Roo, Editors, W3C Recommendation, 10 February 2004, <a class="external free" href="http://www.w3.org/TR/2004/REC-owl-test-20040210/" title="http://www.w3.org/TR/2004/REC-owl-test-20040210/">http://www.w3.org/TR/2004/REC-owl-test-20040210/</a> . Latest version available at <a class="external free" href="http://www.w3.org/TR/owl-test/" title="http://www.w3.org/TR/owl-test/">http://www.w3.org/TR/owl-test/</a> .
</dd></dl>
<p><span class="anchor" id="ref-qa-spec"></span>
</p>
<dl><dt>[QA Framework]
</dt><dd> <i>QA Framework: Specification Guidelines</i>, Karl Dubost, Lynne Rosenthal, Dominique Hazael-Massieux, and Lofton Henderson eds. W3C Recommendation 17 August 2005, <a class="external free" href="http://www.w3.org/TR/2005/REC-qaframe-spec-20050817/" title="http://www.w3.org/TR/2005/REC-qaframe-spec-20050817/">http://www.w3.org/TR/2005/REC-qaframe-spec-20050817/</a> .
</dd></dl>
<p><span class="anchor" id="ref-rdf-test"></span>
</p>
<dl><dt> [RDF Tests]
</dt><dd> <i>RDF Test Cases</i>, Jan Grant and Dave Beckett, Editors, W3C Recommendation 10 February 2004, <a class="external free" href="http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/" title="http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/">http://www.w3.org/TR/2004/REC-rdf-testcases-20040210/</a> . Latest version available at <a class="external free" href="http://www.w3.org/TR/rdf-testcases/" title="http://www.w3.org/TR/rdf-testcases/">http://www.w3.org/TR/rdf-testcases/</a>
</dd></dl>
<p><span id="ref-rif-charter"></span>
</p>
<dl><dt> [RIF-CHARTER]
</dt><dd> <i>Rule Interchange Format Working Group Charter</i>, Sandro Hawke, ed. W3C document, 17 November 2005,  <a class="external free" href="http://www.w3.org/2005/rules/wg/charter.html" title="http://www.w3.org/2005/rules/wg/charter.html">http://www.w3.org/2005/rules/wg/charter.html</a> .
</dd></dl>
<p><span class="anchor" id="ref-rif-fld"></span>
</p>
<dl><dt> [RIF-FLD]
</dt><dd><span><cite><a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/"><span>RIF Framework for Logic Dialects</span></a></cite> Harold Boley, Michael Kifer, eds. W3C Recommendation, 22 June 2010, <a href="http://www.w3.org/TR/2010/REC-rif-fld-20100622/">http://www.w3.org/TR/2010/REC-rif-fld-20100622/</a>.  Latest version available at <a href="http://www.w3.org/TR/rif-fld/">http://www.w3.org/TR/rif-fld/</a>.</span></dd></dl>
<p><span class="anchor" id="ref-test-metadata"></span>
</p>
<dl><dt> [Test Metadata]
</dt><dd> <i>Test Metadata</i>,  Edited by Patrick Curran (Sun Microsystems) and Karl Dubost (W3C). Produced by members of the the W3C Quality Assurance Working Group, W3C Working Group Note. 14-September-2005, <a class="external free" href="http://www.w3.org/TR/test-metadata/" title="http://www.w3.org/TR/test-metadata/">http://www.w3.org/TR/test-metadata/</a>.
</dd></dl>
<p><span class="anchor" id="appendix-rif-test-schema"></span>
</p>
<a id="Appendix:_Schema_for_RIF_Test_Case_Manifest_Files" name="Appendix:_Schema_for_RIF_Test_Case_Manifest_Files"></a><h2> <span class="mw-headline">8  Appendix: Schema for RIF Test Case Manifest Files </span></h2>
<p>The schema is available online as <a class="external text" href="http://www.w3.org/2005/rules/test/repository/rif-testcase.xsd" title="http://www.w3.org/2005/rules/test/repository/rif-testcase.xsd">rif-testcase.xsd</a> in the [<a href="#ref-riftest-repos" title="">RIF Test Case Repository</a>], and is reproduced below.
</p>
<pre>
&lt;?xml version="1.0" encoding="UTF-8"?&gt;

&lt;xs:schema
  xmlns:xs="http://www.w3.org/2001/XMLSchema"
  xmlns="http://www.w3.org/2009/10/rif-test#"
  targetNamespace="http://www.w3.org/2009/10/rif-test#"
  elementFormDefault="qualified"
  version="1.0"&gt;

  &lt;xs:group name="TestCase"&gt;
    &lt;xs:choice&gt;
      &lt;xs:element ref="PositiveEntailmentTest"/&gt;
      &lt;xs:element ref="NegativeEntailmentTest"/&gt;
      &lt;xs:element ref="PositiveSyntaxTest"/&gt;
      &lt;xs:element ref="NegativeSyntaxTest"/&gt;
      &lt;xs:element ref="ImportRejectionTest"/&gt;
    &lt;/xs:choice&gt;
  &lt;/xs:group&gt;


&lt;!-- Properties common to all test cases --&gt;

  &lt;xs:group name="commonTestCaseInfo"&gt;
    &lt;xs:sequence&gt;
      &lt;xs:element ref="status"/&gt;
      &lt;xs:element ref="dialect" maxOccurs="unbounded"/&gt;
      &lt;xs:element ref="Combinations" minOccurs="0"/&gt;
      &lt;xs:element ref="purpose"/&gt;
      &lt;xs:element ref="description" minOccurs="0"/&gt;
      &lt;xs:element name="ImportedDocument" type="documentType" minOccurs="0" maxOccurs="unbounded"/&gt;
    &lt;/xs:sequence&gt;
  &lt;/xs:group&gt;

&lt;!-- The different test case types --&gt;

 &lt;xs:element name="PositiveEntailmentTest"&gt;
  &lt;xs:complexType&gt;
    &lt;xs:sequence&gt;
      &lt;xs:group ref="commonTestCaseInfo"/&gt;
      &lt;xs:element name="PremiseDocument" type="documentType"/&gt;
      &lt;xs:element name="ConclusionDocument" type="documentType"/&gt;
    &lt;/xs:sequence&gt;
    &lt;xs:attribute name="id" type="xs:string" use="required"/&gt;
    &lt;xs:attribute name="src" type="xs:anyURI" use="required"/&gt;
   &lt;/xs:complexType&gt;
 &lt;/xs:element&gt;

 &lt;xs:element name="NegativeEntailmentTest"&gt;
  &lt;xs:complexType&gt;
    &lt;xs:sequence&gt;
      &lt;xs:group ref="commonTestCaseInfo"/&gt;
      &lt;xs:element name="PremiseDocument" type="documentType"/&gt;
      &lt;xs:element name="NonConclusionDocument" type="documentType"/&gt;
    &lt;/xs:sequence&gt;
    &lt;xs:attribute name="id" type="xs:string" use="required"/&gt;
    &lt;xs:attribute name="src" type="xs:anyURI" use="required"/&gt;
   &lt;/xs:complexType&gt;
 &lt;/xs:element&gt;

 &lt;xs:element name="PositiveSyntaxTest" type="syntaxTest"/&gt;
 &lt;xs:element name="NegativeSyntaxTest" type="syntaxTest"/&gt;
 &lt;xs:element name="ImportRejectionTest" type="syntaxTest"/&gt;

 &lt;xs:complexType name="syntaxTest"&gt;
   &lt;xs:sequence&gt;
     &lt;xs:group ref="commonTestCaseInfo"/&gt;
     &lt;xs:element name="InputDocument" type="documentType"/&gt;
   &lt;/xs:sequence&gt;
    &lt;xs:attribute name="id" type="xs:string" use="required"/&gt;
    &lt;xs:attribute name="src" type="xs:anyURI" use="required"/&gt;
 &lt;/xs:complexType&gt;

 &lt;!-- other element definitions --&gt;

 &lt;xs:element name="Combinations"&gt;
   &lt;xs:complexType&gt;
     &lt;xs:sequence&gt;
        &lt;xs:element name="profile" type="xs:anyURI" maxOccurs="unbounded"/&gt;
     &lt;/xs:sequence&gt;
   &lt;/xs:complexType&gt;
 &lt;/xs:element&gt;

 &lt;xs:element name="status" type="statusType"/&gt;
 &lt;xs:element name="dialect" type="dialectType"/&gt;
 &lt;xs:element name="purpose" type="descriptionType"/&gt;
 &lt;xs:element name="description" type="descriptionType"/&gt;

 &lt;!-- other type definitions --&gt;

 &lt;xs:complexType name="documentType"&gt;
    &lt;xs:sequence&gt;
      &lt;xs:element name="Normative"&gt;
        &lt;xs:complexType&gt;
           &lt;xs:sequence&gt;
             &lt;xs:element name="name" type="xs:string"/&gt;
             &lt;xs:element name="remote" type="xs:anyURI" maxOccurs="unbounded"/&gt;
           &lt;/xs:sequence&gt;
           &lt;xs:attribute name="syntax" type="nSyntaxType"/&gt;
        &lt;/xs:complexType&gt;
      &lt;/xs:element&gt;
      &lt;xs:element name="Presentation" minOccurs="0" maxOccurs="unbounded"&gt;
         &lt;xs:complexType&gt;
             &lt;xs:simpleContent&gt;
               &lt;xs:extension base="xs:string"&gt;
                 &lt;xs:attribute name="syntax" type="pSyntaxType" use="required"/&gt;
               &lt;/xs:extension&gt;
             &lt;/xs:simpleContent&gt;
         &lt;/xs:complexType&gt;
      &lt;/xs:element&gt;
    &lt;/xs:sequence&gt;
 &lt;/xs:complexType&gt;

 &lt;xs:simpleType name="statusType"&gt;
    &lt;xs:restriction base="xs:string"&gt;
       &lt;xs:enumeration value="Approved" /&gt;
       &lt;xs:enumeration value="Proposed" /&gt;
    &lt;/xs:restriction&gt;
 &lt;/xs:simpleType&gt;

 &lt;xs:simpleType name="dialectType"&gt;
    &lt;xs:restriction base="xs:string"&gt;
       &lt;xs:enumeration value="Core" /&gt;
       &lt;xs:enumeration value="BLD" /&gt;
       &lt;xs:enumeration value="PRD" /&gt;
    &lt;/xs:restriction&gt;
 &lt;/xs:simpleType&gt;

&lt;xs:simpleType name="nSyntaxType"&gt;
    &lt;xs:restriction base="xs:string"&gt;
       &lt;xs:enumeration value="RIF/XML" /&gt;
       &lt;xs:enumeration value="RDF/XML" /&gt;
       &lt;xs:enumeration value="NTriples" /&gt;
       &lt;xs:enumeration value="Turtle" /&gt;
    &lt;/xs:restriction&gt;
&lt;/xs:simpleType&gt;

&lt;xs:simpleType name="pSyntaxType"&gt;
    &lt;xs:restriction base="xs:string"&gt;
       &lt;xs:enumeration value="RIFBLD-PS" /&gt;
       &lt;xs:enumeration value="RIFPRD-PS" /&gt;
       &lt;xs:enumeration value="NTriples" /&gt;
       &lt;xs:enumeration value="Turtle" /&gt;
       &lt;xs:enumeration value="OWL2 Functional Syntax" /&gt;
    &lt;/xs:restriction&gt;
&lt;/xs:simpleType&gt;

 &lt;xs:complexType name="descriptionType" mixed="true"&gt;
    &lt;xs:sequence&gt;
      &lt;xs:any namespace="http://www.w3.org/1999/xhtml"
      minOccurs="0" maxOccurs="unbounded"
      processContents="skip"/&gt;
    &lt;/xs:sequence&gt;
 &lt;/xs:complexType&gt;


&lt;/xs:schema&gt;

</pre>
<div id="changelog">
<a id="Appendix:_Change_Log_.28Informative.29" name="Appendix:_Change_Log_.28Informative.29"></a><h2> <span class="mw-headline">9  Appendix: Change Log (Informative) </span></h2>
<p>This appendix summarizes the main changes to this document since the <a class="external text" href="http://www.w3.org/TR/rif-test/" title="http://www.w3.org/TR/rif-test/">draft of 18 December, 2008</a>.
</p>
<ul><li> A new test type, Import Rejection, was added.
</li><li> A new test case status, Obsolete, was added.
</li><li> Documentation of test cases for the Production Rule Dialect (PRD) and the Core dialect (Core) was added.
</li><li> The statement saying that, in practice, for negative entailment tests, a conformant RIF system may not be able to conclusively demonstrate that the conclusion cannot be drawn from the premises was removed.
</li><li> Some typographical and editorial changes were made
</li></ul>
</div>
<p><br />
</p>


</body>
</html>