--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/drafts/rdf11-testcases/index.html Wed Feb 12 12:54:09 2014 -0800
@@ -0,0 +1,528 @@
+<!DOCTYPE html>
+<html lang="en" typeof="bibo:Document " about="" property="dcterms:language" content="en">
+<head>
+ <meta charset="utf-8">
+ <title>RDF 1.1 Test Cases</title>
+
+
+
+ <style type="text/css">
+ /* Style Turtle script blocks to be visable */
+ pre.example script {
+ display:block;
+ }
+ .separated { border-collapse:collapse; }
+ .separated thead tr th { border:1px solid black; padding: .2em; }
+ .separated tbody tr td { border:1px solid black; text-align: center; }
+ .separated tbody tr td.r { text-align: right; padding: .5em; }
+ .grammar td { font-family: monospace; vertical-align: top; }
+ .grammar-literal { color: gray;}
+ .grammar_comment { color: #A52A2A; font-style: italic; }
+ </style>
+ <style>/*****************************************************************
+ * ReSpec 3 CSS
+ * Robin Berjon - http://berjon.com/
+ *****************************************************************/
+
+/* --- INLINES --- */
+em.rfc2119 {
+ text-transform: lowercase;
+ font-variant: small-caps;
+ font-style: normal;
+ color: #900;
+}
+
+h1 acronym, h2 acronym, h3 acronym, h4 acronym, h5 acronym, h6 acronym, a acronym,
+h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {
+ border: none;
+}
+
+dfn {
+ font-weight: bold;
+}
+
+a.internalDFN {
+ color: inherit;
+ border-bottom: 1px solid #99c;
+ text-decoration: none;
+}
+
+a.externalDFN {
+ color: inherit;
+ border-bottom: 1px dotted #ccc;
+ text-decoration: none;
+}
+
+a.bibref {
+ text-decoration: none;
+}
+
+cite .bibref {
+ font-style: normal;
+}
+
+code {
+ color: #ff4500;
+}
+
+/* --- TOC --- */
+.toc a, .tof a {
+ text-decoration: none;
+}
+
+a .secno, a .figno {
+ color: #000;
+}
+
+ul.tof, ol.tof {
+ list-style: none outside none;
+}
+
+.caption {
+ margin-top: 0.5em;
+ font-style: italic;
+}
+
+/* --- TABLE --- */
+table.simple {
+ border-spacing: 0;
+ border-collapse: collapse;
+ border-bottom: 3px solid #005a9c;
+}
+
+.simple th {
+ background: #005a9c;
+ color: #fff;
+ padding: 3px 5px;
+ text-align: left;
+}
+
+.simple th[scope="row"] {
+ background: inherit;
+ color: inherit;
+ border-top: 1px solid #ddd;
+}
+
+.simple td {
+ padding: 3px 10px;
+ border-top: 1px solid #ddd;
+}
+
+.simple tr:nth-child(even) {
+ background: #f0f6ff;
+}
+
+/* --- DL --- */
+.section dd > p:first-child {
+ margin-top: 0;
+}
+
+.section dd > p:last-child {
+ margin-bottom: 0;
+}
+
+.section dd {
+ margin-bottom: 1em;
+}
+
+.section dl.attrs dd, .section dl.eldef dd {
+ margin-bottom: 0;
+}
+
+@media print {
+ .removeOnSave {
+ display: none;
+ }
+}
+</style><style>/* --- EXAMPLES --- */
+div.example-title {
+ min-width: 7.5em;
+ color: #b9ab2d;
+}
+div.example-title span {
+ text-transform: uppercase;
+}
+aside.example, div.example, div.illegal-example {
+ padding: 0.5em;
+ margin: 1em 0;
+ position: relative;
+ clear: both;
+}
+div.illegal-example { color: red }
+div.illegal-example p { color: black }
+aside.example, div.example {
+ padding: .5em;
+ border-left-width: .5em;
+ border-left-style: solid;
+ border-color: #e0cb52;
+ background: #fcfaee;
+}
+
+aside.example div.example {
+ border-left-width: .1em;
+ border-color: #999;
+ background: #fff;
+}
+aside.example div.example div.example-title {
+ color: #999;
+}
+</style><link rel="stylesheet" href="https://www.w3.org/StyleSheets/TR/W3C-ED"><!--[if lt IE 9]><script src='https://www.w3.org/2008/site/js/html5shiv.js'></script><![endif]--></head>
+<body class="h-entry" style="" role="document" id="respecDocument"><div class="head" role="contentinfo" id="respecHeader">
+ <p>
+
+ <a href="http://www.w3.org/"><img width="72" height="48" src="https://www.w3.org/Icons/w3c_home" alt="W3C"></a>
+
+ </p>
+ <h1 class="title p-name" id="title" property="dcterms:title">RDF 1.1 Test Cases</h1>
+
+ <h2 property="dcterms:issued" datatype="xsd:dateTime" content="2014-02-13T04:51:52.000Z" id="w3c-editor-s-draft-12-february-2014"><abbr title="World Wide Web Consortium">W3C</abbr> Editor's Draft <time class="dt-published" datetime="2014-02-12">12 February 2014</time></h2>
+ <dl>
+
+ <dt>This version:</dt>
+ <dd><a class="u-url" href="https://dvcs.w3.org/hg/rdf/raw-file/default/rdf11-testcases/index.html">https://dvcs.w3.org/hg/rdf/raw-file/default/rdf11-testcases/index.html</a></dd>
+ <dt>Latest published version:</dt>
+ <dd><a href="http://www.w3.org/TR/rdf11-testcases/">http://www.w3.org/TR/rdf11-testcases/</a></dd>
+
+
+ <dt>Latest editor's draft:</dt>
+ <dd><a href="https://dvcs.w3.org/hg/rdf/raw-file/default/rdf11-testcases/index.html">https://dvcs.w3.org/hg/rdf/raw-file/default/rdf11-testcases/index.html</a></dd>
+
+
+
+
+
+
+
+
+
+
+ <dt>Latest Recommendation:</dt>
+ <dd><a href="http://www.w3.org/TR/rdf11-testcases">http://www.w3.org/TR/rdf11-testcases</a></dd>
+
+
+ <dt>Editors:</dt>
+ <dd class="p-author h-card vcard" rel="bibo:editor" inlist=""><span typeof="foaf:Person"><a class="u-url url p-name fn" rel="foaf:homepage" property="foaf:name" content="Gregg Kellogg" href="http://greggkellogg.net/">Gregg Kellogg</a>, Kellogg Associates</span>
+</dd>
+<dd class="p-author h-card vcard" rel="bibo:editor" inlist=""><span typeof="foaf:Person"><a class="u-url url p-name fn" rel="foaf:homepage" property="foaf:name" content="Markus Lanthaler" href="http://www.markus-lanthaler.com/">Markus Lanthaler</a>, <a rel="foaf:workplaceHomepage" class="p-org org h-org h-card" href="http://www.tugraz.at/">Graz University of Technology</a></span>
+</dd>
+
+
+
+ </dl>
+
+ <p>
+ Please check the <a href="http://www.w3.org/2014/rdf1.1-errata"><strong>errata</strong></a> for any errors or issues
+ reported since publication.
+ </p>
+
+
+
+
+
+ <p class="copyright">
+ <a href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> ©
+ 2013-2014
+
+ <a href="http://www.w3.org/"><abbr title="World Wide Web Consortium">W3C</abbr></a><sup>®</sup>
+ (<a href="http://www.csail.mit.edu/"><abbr title="Massachusetts Institute of Technology">MIT</abbr></a>,
+ <a href="http://www.ercim.eu/"><abbr title="European Research Consortium for Informatics and Mathematics">ERCIM</abbr></a>,
+ <a href="http://www.keio.ac.jp/">Keio</a>, <a href="http://ev.buaa.edu.cn/">Beihang</a>),
+
+ All Rights Reserved.
+
+ <abbr title="World Wide Web Consortium">W3C</abbr> <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>
+
+
+ <hr>
+</div>
+
+ <section id="abstract" class="introductory" property="dcterms:abstract" datatype="" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h2 aria-level="1" role="heading" id="h2_abstract">Abstract</h2>
+ <p>The Resource Description Framework (RDF) is a framework for
+ representing information in the Web. This document lists
+ the test suites and implementation reports
+ for RDF 1.1 Semantics as well as the various
+ serialization formats.</p>
+ </section><section id="sotd" class="introductory" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h2 aria-level="1" role="heading" id="h2_sotd">Status of This Document</h2>
+
+
+
+ <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 <abbr title="World Wide Web Consortium">W3C</abbr> publications and the
+ latest revision of this technical report can be found in the <a href="http://www.w3.org/TR/"><abbr title="World Wide Web Consortium">W3C</abbr> technical reports index</a> at
+ http://www.w3.org/TR/.</em>
+ </p>
+
+ <p>
+ This document was published by the <a href="http://www.w3.org/2011/rdf-wg/">RDF Working Group</a> as an Editor's Draft.
+
+
+ If you wish to make comments regarding this document, please send them to
+ <a href="mailto:public-rdf-comments@w3.org">public-rdf-comments@w3.org</a>
+ (<a href="mailto:public-rdf-comments-request@w3.org?subject=subscribe">subscribe</a>,
+ <a href="http://lists.w3.org/Archives/Public/public-rdf-comments/">archives</a>).
+
+
+
+
+ All comments are welcome.
+
+ </p>
+
+
+ <p>
+ Publication as an Editor's Draft does not imply endorsement by the <abbr title="World Wide Web Consortium">W3C</abbr>
+ 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.
+ </p>
+
+
+
+ <p>
+
+ This document was produced by a group operating under the
+ <a id="sotd_patent" about="" rel="w3p:patentRules" href="http://www.w3.org/Consortium/Patent-Policy-20040205/">5 February 2004 <abbr title="World Wide Web Consortium">W3C</abbr> Patent
+ Policy</a>.
+
+
+
+
+ <abbr title="World Wide Web Consortium">W3C</abbr> maintains a <a href="http://www.w3.org/2004/01/pp-impl/46168/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 <abbr title="World Wide Web Consortium">W3C</abbr> Patent Policy</a>.
+
+
+ </p>
+
+
+
+
+</section><section id="toc"><h2 class="introductory" aria-level="1" role="heading" id="h2_toc">Table of Contents</h2><ul class="toc" role="directory" id="respecContents"><li class="tocline"><a href="#test-suites-and-implementation-reports" class="tocxref"><span class="secno">1. </span>Test Suites and Implementation Reports</a></li><li class="tocline"><a href="#general-instructions-for-running-rdf-test-suites" class="tocxref"><span class="secno">2. </span>General instructions for running RDF Test suites</a><ul class="toc"><li class="tocline"><a href="#syntax-tests" class="tocxref"><span class="secno">2.1 </span>Syntax Tests</a></li><li class="tocline"><a href="#evaluation-tests" class="tocxref"><span class="secno">2.2 </span>Evaluation Tests</a></li><li class="tocline"><a href="#sematics-tests" class="tocxref"><span class="secno">2.3 </span>Sematics Tests</a></li></ul></li><li class="tocline"><a href="#references" class="tocxref"><span class="secno">A. </span>References</a><ul class="toc"><li class="tocline"><a href="#informative-references" class="tocxref"><span class="secno">A.1 </span>Informative references</a></li></ul></li></ul></section>
+
+ <section id="test-suites-and-implementation-reports">
+ <!--OddPage--><h2 aria-level="1" role="heading" id="h2_test-suites-and-implementation-reports"><span class="secno">1. </span>Test Suites and Implementation Reports</h2>
+ <p>The following are links to the syntax and semantics test suites and
+ implementation reports:</p>
+
+ <ul>
+ <li><strong>RDF 1.1 Semantics</strong> [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/rdf-mt-tests/">Test Suite</a></li>
+ <li><a href="http://www.w3.org/2013/rdf-mt-reports/s/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+ <li><strong>RDF 1.1 Turtle</strong> [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/TurtleTests/">Test Suite</a></li>
+ <li><a href="http://www.w3.org/2013/TurtleReports/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+ <li><strong>RDF 1.1 TriG</strong> [<cite><a class="bibref" href="#bib-TRIG">TRIG</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/TrigTests/">Test Suite</a></li>
+ <li><a href="http://www.w3.org/2013/TrigReports/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+ <li><strong>RDF 1.1 N-Triples</strong> [<cite><a class="bibref" href="#bib-N-TRIPLES">N-TRIPLES</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/N-TriplesTests/">Test Suite</a></li>
+ <li><a href="http://www.w3.org/2013/N-TriplesReports/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+ <li><strong>RDF 1.1 N-Quads</strong> [<cite><a class="bibref" href="#bib-N-QUADS">N-QUADS</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/N-QuadsTests/">Test Suite</a></li>
+ <li><a href="http://www.w3.org/2013/N-QuadsReports/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+ <li><strong>RDF 1.1 XML</strong> [<cite><a class="bibref" href="#bib-RDF11-XML">RDF11-XML</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/RDFXMLTests/">Test Suite</a></li>
+ </ul>
+ </li>
+ <li><strong>JSON-LD 1.0</strong> [<cite><a class="bibref" href="#bib-JSON-LD">JSON-LD</a></cite>]/[<cite><a class="bibref" href="#bib-JSON-LD-API">JSON-LD-API</a></cite>]<br>
+ <ul>
+ <li><a href="http://www.w3.org/2013/json-ld-tests/">Test Suite</a></li>
+ <li><a href="http://json-ld.org/test-suite/reports/index.html">Implementation Report</a></li>
+ </ul>
+ </li>
+
+ <p>RDF 1.1 Concepts [<cite><a class="bibref" href="#bib-RDF11-CONCEPTS">RDF11-CONCEPTS</a></cite>] does not have a test suite and is not directly implemented in software;
+ instead, it is implemented by the specs which build on it, including the other specs in this set.</p>
+ </ul>
+ </section>
+
+ <section id="general-instructions-for-running-rdf-test-suites">
+ <!--OddPage--><h2 aria-level="1" role="heading" id="h2_general-instructions-for-running-rdf-test-suites"><span class="secno">2. </span>General instructions for running RDF Test suites</h2>
+ <p>All test suites have a common test manifest representation using test vocabularies
+ similar to the SPARQL 1.1 Test case structure [<cite><a class="bibref" href="#bib-SPARQL11-TEST-CASE">SPARQL11-TEST-CASE</a></cite>]. Test manifests
+ are expressed using [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>], except for the JSON-LD test manifests, which
+ are represented using [<cite><a class="bibref" href="#bib-JSON-LD">JSON-LD</a></cite>]. (Detailed information on the JSON-LD Test Suite
+ is at [<cite><a class="bibref" href="#bib-JSON-LD-TESTS">JSON-LD-TESTS</a></cite>]). The Manifest has a header, and lists one
+ or more test entries such as the following:</p>
+ <div class="example"><div class="example-title"><span>Example 1</span>: Manifest header</div><pre class="example"><script type="text/turtle"><> rdf:type mf:Manifest ;
+ rdfs:comment "Turtle tests" ;
+ mf:entries
+ (
+ ....
+ ) .</script></pre></div>
+
+ <p>In addition to the namespaces described in [<cite><a class="bibref" href="#bib-SPARQL11-TEST-CASE">SPARQL11-TEST-CASE</a></cite>], RDF manifests use
+ the following vocabularies:</p>
+ <dl>
+ <dt><code>rdft</code></dt>
+ <dd><code>http://www.w3.org/ns/rdftest#</code></dd>
+ </dl>
+
+ <section id="syntax-tests">
+ <h3 aria-level="2" role="heading" id="h3_syntax-tests"><span class="secno">2.1 </span>Syntax Tests</h3>
+ <p>Concrete RDF syntaxes may have positive- and negative-syntax tests, intended
+ to determine if a processor correctly recognizes valid or invalid serializations.
+ Positive Syntax Tests include a <em>name</em>, optional <em>comment</em>, and <em>action</em> along
+ with a type which identifies them as being a Syntax Test for the appropriate
+ serialization format. An example Turtle Syntax test definition is the following:</p>
+
+ <div class="example"><div class="example-title"><span>Example 2</span>: Syntax test</div><pre class="example"><script type="text/turtle"><#turtle-syntax-file-01> rdf:type rdft:TestTurtlePositiveSyntax ;
+ mf:name "turtle-syntax-file-01" ;
+ rdfs:comment "Empty file" ;
+ mf:action <turtle-syntax-file-01.ttl> ;
+ .</script></pre></div>
+
+ <p>Class names vary by serialization format and include the following:</p>
+ <dl>
+ <dt><code>rdft:TestTurtlePositiveSyntax</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestTurtleNegativeSyntax</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestTriGPositiveSyntax</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-TRIG">TRIG</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestTriGNegativeSyntax</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-TRIG">TRIG</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestNTriplesPositiveSyntax</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-N-TRIPLES">N-TRIPLES</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestNTriplesNegativeSyntax</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-N-TRIPLES">N-TRIPLES</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestNQuadsPositiveSyntax</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-N-QUADS">N-QUADS</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestNQuadsNegativeSyntax</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-N-QUADS">N-QUADS</a></cite>] Syntax Test.</dd>
+ <dt><code>rdft:TestXMLNegativeSyntax</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-RDF11-XML">RDF11-XML</a></cite>] Syntax Test.</dd>
+ </dl>
+
+ <p>A positive test is passed if an implementation can parse the content at the URL identified
+ by the object of the <code>mf:action</code> properly using rules for the the appropriate syntax.</p>
+ <p>A negative test is passed if an implementation raises an error when it parses
+ content at the URL identified by the object of the <code>mf:action</code> properly using rules for the appropriate syntax.</p>
+ </section>
+ <section id="evaluation-tests">
+ <h3 aria-level="2" role="heading" id="h3_evaluation-tests"><span class="secno">2.2 </span>Evaluation Tests</h3>
+ <p>Concrete RDF syntaxes may have positive- and negative-evaluation tests, intended
+ to determine if a processor correctly evaluates serializations.
+ Positive Evaluation Tests include a <em>name</em>, optional <em>comment</em>, <em>action</em>, and <em>result</em> along
+ with a type which identifies them as being an Evaluation Test for the appropriate
+ serialization format. An example Turtle Evaluation test definition is the following:</p>
+
+ <div class="example"><div class="example-title"><span>Example 3</span>: Evaluation test</div><pre class="example"><script type="text/turtle"><#IRI_subject> rdf:type rdft:TestTurtleEval ;
+ mf:name "IRI_subject" ;
+ rdfs:comment "IRI subject" ;
+ mf:action <IRI_subject.ttl> ;
+ mf:result <IRI_spo.nt> ;
+ .</script></pre></div>
+
+ <p>Class names vary by serialization format and include the following:</p>
+ <dl>
+ <dt><code>rdft:TestTurtleEval</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>] Evaluation Test.</dd>
+ <dt><code>rdft:TestTurtleNegativeEval</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-TURTLE">TURTLE</a></cite>] Evaluation Test.</dd>
+ <dt><code>rdft:TestTrigEval</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-TRIG">TRIG</a></cite>] Evaluation Test.</dd>
+ <dt><code>rdft:TestTrigNegativeEval</code></dt><dd>A Negative [<cite><a class="bibref" href="#bib-TRIG">TRIG</a></cite>] Evaluation Test.</dd>
+ <dt><code>rdft:XMLEval</code></dt><dd>A Positive [<cite><a class="bibref" href="#bib-RDF11-XML">RDF11-XML</a></cite>] Evaluation Test.</dd>
+ </dl>
+
+ <p>A positive test is passed if an implementation parses the input
+ (identified by the object of the <code>mf:action</code> property) using the
+ appropriate syntax into a graph
+ or dataset, parses the expected result
+ (identified by the object of the <code>mf:result</code> property)
+ into another graph or dataset, and those two graphs/datasets are
+ <a href="http://www.w3.org/TR/rdf11-concepts/#graph-isomorphism">isomorphic</a> (see [<cite><a class="bibref" href="#bib-RDF11-CONCEPTS">RDF11-CONCEPTS</a></cite>]).</p>
+ <p>A negative test is passed if an implementation parses the input
+ (identified by the object of the <code>mf:action</code> property) using the
+ appropriate syntax into a graph
+ or dataset, parses the expected result
+ (identified by the object of the <code>mf:result</code> property)
+ into another graph or dataset, and those two graphs/datasets are _not_
+ <a href="http://www.w3.org/TR/rdf11-concepts/#graph-isomorphism">isomorphic</a> (see [<cite><a class="bibref" href="#bib-RDF11-CONCEPTS">RDF11-CONCEPTS</a></cite>]).</p>
+ </section>
+
+ <section id="sematics-tests">
+ <h3 aria-level="2" role="heading" id="h3_sematics-tests"><span class="secno">2.3 </span>Sematics Tests</h3>
+ <p>These tests test implementations of RDF and RDFS Entailment [<cite><a class="bibref" href="#bib-RDF11-MT">RDF11-MT</a></cite>].
+ Entailment Tests (<code>mf:PositiveEntailmentTest</code> or <code>mf:NegativeEntailmentTest</code>) include a <em>name</em>, <em>comment</em>, <em>action</em>, <em>result</em>, an <em>entailment</em> regime,
+ a <em>list of recognized datatypes</em> and a <em>list of unrecognized datatypes</em>, and <em>result</em> along
+ with a type which identifies them as being an Entailment Test for the appropriate
+ serialization format.</p>
+ <p>All tests have the following properties:</p>
+ <ul>
+ <li>a name (<code>mf:name</code>)</li>
+ <li>an input RDF graph url (<code>mf:action</code>)</li>
+ <li>an output RDF graph URL or the special marker <code>false</code> (<code>mf:result</code>),</li>
+ <li>an entailment regime, which is "simple", "RDF", or "RDFS" (<code>mf:entailmentRegime</code>),</li>
+ <li>a list of recognized datatypes (<code>mf:recognizedDatatypes</code>),</li>
+ <li>a list of unrecognized datatypes (<code>mf:unrecognizedDatatypes</code>).</li>
+ </ul>
+ <p>An example Entailment test is the following:</p>
+
+ <div class="example"><div class="example-title"><span>Example 4</span>: Entailment test</div><pre class="example"><script type="text/turtle"><#datatypes-non-well-formed-literal-2> a mf:PositiveEntailmentTest;
+ mf:name "datatypes-non-well-formed-literal-2";
+ rdfs:comment """
+ With appropriate datatype knowledge, a 'badly-formed'
+ datatyped literal can be detected.
+ """;
+ rdfs:comment """
+ Ill-formed datatyped literals now are inconsistent.
+ Used to be negative entailment to <datatypes/test002b.nt>
+ """;
+ rdfs:approval rdft:Approved;
+ mf:entailmentRegime "RDFS" ;
+ mf:recognizedDatatypes ( xsd:integer ) ;
+ mf:unrecognizedDatatypes ( ) ;
+ mf:action <datatypes/test002.nt>;
+ mf:result false.</script></pre></div>
+
+ <p>An implementation passes a Positive (Negative) Entailment Test if, when
+ configured to
+ (1) perform entailment under the entailment regime of the test or some entailment regime that is stronger (weaker) than the entailment regime and
+ (2) recognize all the datatypes in the list of <em>recognized datatypes</em> and none of the datatypes in the list of <em>unrecognized datatypes</em>,</p>
+ <ul>
+ <li>for tests that have an output graph, determines that the input RDF graph entails (does not entail) the output RDF graph</li>
+ <li>for tests that have <code>false</code> as output, either determines that the input RDF graph entails (does not entail) an inconsistent RDF graph or that the input RDF graph is inconsistent (consistent).</li>
+ </ul>
+
+ <p>An implementation also passes a test if when configured differently from a
+ correct configuration as given above nonetheless produces the given result,
+ and the result is correct in the configured entailment regime with the
+ configured recognized datatypes.</p>
+
+ </section>
+ </section>
+
+
+
+<section id="references" class="appendix" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><!--OddPage--><h2 aria-level="1" role="heading" id="h2_references"><span class="secno">A. </span>References</h2><section id="informative-references" typeof="bibo:Chapter" resource="#ref" rel="bibo:Chapter"><h3 aria-level="2" role="heading" id="h3_informative-references"><span class="secno">A.1 </span>Informative references</h3><dl class="bibliography" about=""><dt id="bib-JSON-LD">[JSON-LD]</dt><dd rel="dcterms:references">Manu Sporny, Gregg Kellogg, Markus Lanthaler, Editors. <cite><a href="http://www.w3.org/TR/json-ld/">JSON-LD 1.0</a></cite>. 16 January 2014. W3C Recommendation. URL: <a href="http://www.w3.org/TR/json-ld/">http://www.w3.org/TR/json-ld/</a>
+</dd><dt id="bib-JSON-LD-API">[JSON-LD-API]</dt><dd rel="dcterms:references">Markus Lanthaler, Gregg Kellogg, Manu Sporny, Editors. <cite><a href="http://www.w3.org/TR/json-ld-api/">JSON-LD 1.0 Processing Algorithms and API</a></cite>. 16 January 2014. W3C Recommendation. URL: <a href="http://www.w3.org/TR/json-ld-api/">http://www.w3.org/TR/json-ld-api/</a>
+</dd><dt id="bib-JSON-LD-TESTS">[JSON-LD-TESTS]</dt><dd rel="dcterms:references"><cite><a href="http://www.w3.org/2013/json-ld-tests/">JSON-LD 1.0 Test Suite</a></cite>. W3C Test Suite. URL: <a href="http://www.w3.org/2013/json-ld-tests/">http://www.w3.org/2013/json-ld-tests/</a>
+</dd><dt id="bib-N-QUADS">[N-QUADS]</dt><dd rel="dcterms:references">Gavin Carothers. <cite><a href="http://www.w3.org/TR/2014/REC-n-quads-20140225/">RDF 1.1 N-Quads</a></cite>. W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-n-quads-20140225/">http://www.w3.org/TR/2014/REC-n-quads-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/n-quads/">http://www.w3.org/TR/n-quads/</a>
+</dd><dt id="bib-N-TRIPLES">[N-TRIPLES]</dt><dd rel="dcterms:references">Gavin Carothers, Andy Seabourne. <cite><a href="http://www.w3.org/TR/2014/REC-n-triples-20140225/">RDF 1.1 N-Triples</a></cite>. W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-n-triples-20140225/">http://www.w3.org/TR/2014/REC-n-triples-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/n-triples/">http://www.w3.org/TR/n-triples/</a>
+</dd><dt id="bib-RDF11-CONCEPTS">[RDF11-CONCEPTS]</dt><dd rel="dcterms:references">Richard Cyganiak, David Wood, Markus Lanthaler. <cite><a href="http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/">RDF 1.1 Concepts and Abstract Syntax.</a></cite> W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/">http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/rdf11-concepts/">http://www.w3.org/TR/rdf11-concepts/</a>
+</dd><dt id="bib-RDF11-MT">[RDF11-MT]</dt><dd rel="dcterms:references">Patrick J. Hayes, Peter F. Patel-Schneider. <cite><a href="http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/">RDF 1.1 Semantics.</a></cite> W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/">http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/rdf11-mt/">http://www.w3.org/TR/rdf11-mt/</a>
+</dd><dt id="bib-RDF11-XML">[RDF11-XML]</dt><dd rel="dcterms:references">Fabien Gandon, Guus Schreiber. <cite><a href="http://www.w3.org/TR/2014/REC-rdf-syntax-grammar-20140225/">RDF 1.1 XML Syntax</a></cite>. W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-rdf-syntax-grammar-20140225/">http://www.w3.org/TR/2014/REC-rdf-syntax-grammar-20140225/</a>. The latest published version is available at <a href="http://www.w3.org/TR/rdf-syntax-grammar/">http://www.w3.org/TR/rdf-syntax-grammar/</a>.
+</dd><dt id="bib-SPARQL11-TEST-CASE">[SPARQL11-TEST-CASE]</dt><dd rel="dcterms:references">Axel Polleres. <cite><a href="http://www.w3.org/2009/sparql/docs/tests/README.html">SPARQL1.1: Test case structure</a></cite> Informal. URL: <a href="http://www.w3.org/2009/sparql/docs/tests/README.html">http://www.w3.org/2009/sparql/docs/tests/README.html</a>
+</dd><dt id="bib-TRIG">[TRIG]</dt><dd rel="dcterms:references">Gavin Carothers, Andy Seaborne. <cite><a href="http://www.w3.org/TR/2014/REC-trig-20140225/">TriG: RDF Dataset Language</a></cite>. W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-trig-20140225/">http://www.w3.org/TR/2014/REC-trig-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/trig/">http://www.w3.org/TR/trig/</a>
+</dd><dt id="bib-TURTLE">[TURTLE]</dt><dd rel="dcterms:references">Eric Prud'hommeaux, Gavin Carothers. <cite><a href="http://www.w3.org/TR/2014/REC-turtle-20140225/">RDF 1.1 Turtle: Terse RDF Triple Language.</a></cite> W3C Recommendation, 25 February 2014. URL: <a href="http://www.w3.org/TR/2014/REC-turtle-20140225/">http://www.w3.org/TR/2014/REC-turtle-20140225/</a>. The latest edition is available at <a href="http://www.w3.org/TR/turtle/">http://www.w3.org/TR/turtle/</a>
+</dd></dl></section></section></body></html>
\ No newline at end of file