--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/LICENSE Wed Oct 02 10:43:44 2013 -0700
@@ -0,0 +1,48 @@
+Summary
+=======
+
+Distributed under both the W3C Test Suite License[1] and the W3C 3-clause BSD License[2]. To contribute to a W3C Test Suite, see the policies and contribution forms [3]
+
+1. http://www.w3.org/Consortium/Legal/2008/04-testsuite-license
+2. http://www.w3.org/Consortium/Legal/2008/03-bsd-license
+3. http://www.w3.org/2004/10/27-testcases
+
+DISCLAIMER
+
+UNDER BOTH MUTUALLY EXCLUSIVE LICENSES, THIS DOCUMENT AND ALL DOCUMENTS, TESTS AND SOFTWARE THAT LINK THIS STATEMENT ARE PROVIDED "AS IS," AND COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT, OR TITLE; THAT THE CONTENTS OF THE DOCUMENT ARE SUITABLE FOR ANY PURPOSE; NOR THAT THE IMPLEMENTATION OF SUCH CONTENTS WILL NOT INFRINGE ANY THIRD PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS.
+COPYRIGHT HOLDERS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF ANY USE OF THE DOCUMENT OR THE PERFORMANCE OR IMPLEMENTATION OF THE CONTENTS THEREOF.
+
+
+W3C Test Suite License
+======================
+
+This document, Test Suites and other documents that link to this statement are provided by the copyright holders under the following license: By using and/or copying this document, or the W3C document from which this statement is linked, you (the licensee) agree that you have read, understood, and will comply with the following terms and conditions:
+
+Permission to copy, and distribute the contents of this document, or the W3C document from which this statement is linked, in any medium for any purpose and without fee or royalty is hereby granted, provided that you include the following on ALL copies of the document, or portions thereof, that you use:
+
+A link or URL to the original W3C document.
+The pre-existing copyright notice of the original author, or if it doesn't exist, a notice (hypertext is preferred, but a textual representation is permitted) of the form: "Copyright © [$date-of-document] World Wide Web Consortium, (Massachusetts Institute of Technology, European Research Consortium for Informatics and Mathematics, Keio University) and others. All Rights Reserved. http://www.w3.org/Consortium/Legal/2008/04-testsuite-copyright.html"
+If it exists, the STATUS of the W3C document.
+When space permits, inclusion of the full text of this NOTICE should be provided. We request that authorship attribution be provided in any software, documents, or other items or products that you create pursuant to the implementation of the contents of this document, or any portion thereof.
+
+No right to create modifications or derivatives of W3C documents is granted pursuant to this license. However, if additional requirements (documented in the Copyright FAQ) are satisfied, the right to create modifications or derivatives is sometimes granted by the W3C to individuals complying with those requirements.
+
+If a Test Suite distinguishes the test harness (or, framework for navigation) and the actual tests, permission is given to remove or alter the harness or navigation if the Test Suite in question allows to do so. The tests themselves shall NOT be changed in any way.
+
+The name and trademarks of W3C and other copyright holders may NOT be used in advertising or publicity pertaining to this document or other documents that link to this statement without specific, written prior permission. Title to copyright in this document will at all times remain with copyright holders. Permission is given to use the trademarked string W3C within claims of performance concerning W3C Specifications or features described therein, and there only, if the test suite so authorizes.
+
+THIS WORK IS PROVIDED BY W3C, MIT, ERCIM, KEIO UNIVERSITY, THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL W3C, MIT, ERCIM, KEIO UNIVERSITY, THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
+
+W3C 3-clause BSD License
+========================
+Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
+
+ Redistributions of works must retain the original copyright notice, this list of conditions and the following disclaimer.
+
+ Redistributions in binary form must reproduce the original copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
+
+ Neither the name of the W3C nor the names of its contributors may be used to endorse or promote products derived from this work without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/README Wed Oct 02 10:43:44 2013 -0700
@@ -0,0 +1,31 @@
+This README is for the W3C RDF Working Group's RDF Entailment test suite.
+This test suite contains two kinds of tests:
+
+ Positive Entailment Tests (mf:PositiveEntailmentTest)
+ Negative Entailment Tests (mf:NegativeEntailmentTest)
+
+The manifest.ttl file in this directory lists all of the tests in the
+RDF WG's RDF Entailment test suite. Each test is one of the above kinds of tests.
+All tests have
+- a name (mf:name),
+- an input RDF graph (mf:action),
+- an output RDF graph or the special marker mf:false (mf:result),
+- an entailment regime, which is "simple", "RDF", or "RDFS" (mf:entailmentRegime),
+- a list of recognized datatypes (mf:recognizedDatatypes),
+- a list of unrecognized datatypes (mf:unrecognizedDatatypes).
+
+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 recognized datatypes and
+ none of the datatypes in the list of unrecognized datatypes,
+- for tests that have an output graph, determines that the input RDF graph
+ entails (does not entail) the output RDF graph
+- for tests that have mf:false 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).
+
+The home of the test suite is <http://www.w3.org/2013/????/>.
+Per RFC 3986 section 5.1.3, the base IRI for parsing each file is the
+retrieval IRI for that file.
--- a/rdf-mt/tests/manifest.ttl Wed Oct 02 10:15:46 2013 -0700
+++ b/rdf-mt/tests/manifest.ttl Wed Oct 02 10:43:44 2013 -0700
@@ -72,7 +72,7 @@
mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <datatypes-intensional/test001.nt>;
- mf:result false .
+ mf:result mf:false .
<#datatypes-intensional-xsd-integer-string-incompatible> a mf:PositiveEntailmentTest;
mf:name "datatypes-intensional-xsd-integer-string-incompatible";
@@ -86,7 +86,7 @@
mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <datatypes-intensional/test002.nt>;
- mf:result false .
+ mf:result mf:false .
<#datatypes-non-well-formed-literal-1> a mf:NegativeEntailmentTest;
mf:name "datatypes-non-well-formed-literal-1";
@@ -101,7 +101,7 @@
mf:recognizedDatatypes ( ) ;
mf:unrecognizedDatatypes ( xsd:integer ) ;
mf:action <datatypes/test002.nt>;
- mf:result false .
+ mf:result mf:false .
<#datatypes-non-well-formed-literal-2> a mf:PositiveEntailmentTest;
mf:name "datatypes-non-well-formed-literal-2";
@@ -118,7 +118,7 @@
mf:recognizedDatatypes ( xsd:integer ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <datatypes/test002.nt>;
- mf:result false.
+ mf:result mf:false.
<#datatypes-semantic-equivalence-within-type-1> a mf:PositiveEntailmentTest;
mf:name "datatypes-semantic-equivalence-within-type-1";
@@ -169,7 +169,7 @@
mf:recognizedDatatypes ( xsd:decimal xsd:string ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <datatypes/test006.nt>;
- mf:result false .
+ mf:result mf:false .
<#datatypes-test008> a mf:PositiveEntailmentTest;
mf:name "datatypes-test008";
@@ -208,7 +208,7 @@
mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <datatypes/test010.nt>;
- mf:result false .
+ mf:result mf:false .
<#datatypes-plain-literal-and-xsd-string> a mf:PositiveEntailmentTest;
mf:name "datatypes-plain-literal-and-xsd-string";
@@ -422,7 +422,7 @@
mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <rdfs-entailment/test001.nt>;
- mf:result false .
+ mf:result mf:false .
<#rdfs-entailment-test002> a mf:PositiveEntailmentTest;
mf:name "rdfs-entailment-test002";
@@ -434,7 +434,7 @@
mf:entailmentRegime "RDFS" ;
mf:recognizedDatatypes ( ) ;
mf:unrecognizedDatatypes ( ) ;
- mf:action false;
+ mf:action mf:false;
mf:result <rdfs-entailment/test002.nt> .
<#rdfs-no-cycles-in-subClassOf-test001> a mf:PositiveEntailmentTest;
@@ -479,7 +479,7 @@
mf:recognizedDatatypes ( ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <rdfs-subClassOf-a-Property/test001.nt>;
- mf:result false .
+ mf:result mf:false .
<#rdfs-subPropertyOf-semantics-test001> a mf:PositiveEntailmentTest;
mf:name "rdfs-subPropertyOf-semantics-test001";
@@ -603,7 +603,7 @@
mf:recognizedDatatypes ( xsd:int ) ;
mf:unrecognizedDatatypes ( ) ;
mf:action <xmlsch-02/test002.ttl>;
- mf:result false .
+ mf:result mf:false .
<#xmlsch-02-whitespace-facet-3> a mf:PositiveEntailmentTest;
mf:name "xmlsch-02-whitespace-facet-3";