fix up semantics test rdfs-entailment/test002.nt and README for semantics tests
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/2004-test-suite/rdfs-entailment/test002p.nt Fri Oct 18 10:27:43 2013 -0400
@@ -0,0 +1,15 @@
+#
+# Copyright World Wide Web Consortium, (Massachusetts Institute of
+# Technology, Institut National de Recherche en Informatique et en
+# Automatique, Keio University).
+#
+# All Rights Reserved.
+#
+# Please see the full Copyright clause at
+# <http://www.w3.org/Consortium/Legal/copyright-software.html>
+#
+# MODIFIED
+#
+#####################################################################
+<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#langString> .
+<http://example.org/foo> <http://example.org/prop> "flargh"^^<http://www.w3.org/2001/XMLSchema#string> .
--- a/rdf-mt/tests/README Thu Oct 17 11:49:20 2013 +0100
+++ b/rdf-mt/tests/README Fri Oct 18 10:27:43 2013 -0400
@@ -26,6 +26,12 @@
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/????/>.
+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.
+
+
+The home of the test suite is <http://www.w3.org/2013/rdf-mt-tests/>.
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 Thu Oct 17 11:49:20 2013 +0100
+++ b/rdf-mt/tests/manifest.ttl Fri Oct 18 10:27:43 2013 -0400
@@ -406,7 +406,7 @@
mf:unrecognizedDatatypes ( ) ;
mf:action <rdfs-domain-and-range/premises006.ttl>;
mf:result <rdfs-domain-and-range/nonconclusions006.ttl> .
-
+
<#rdfs-entailment-test001> a mf:PositiveEntailmentTest;
mf:name "rdfs-entailment-test001";
rdfs:comment """
@@ -432,9 +432,9 @@
""";
rdfs:approval rdft:Approved;
mf:entailmentRegime "RDFS" ;
- mf:recognizedDatatypes ( ) ;
+ mf:recognizedDatatypes ( xsd:string rdf:langString ) ;
mf:unrecognizedDatatypes ( ) ;
- mf:action false;
+ mf:action <rdfs-entailment/test002p.nt> ;
mf:result <rdfs-entailment/test002.nt> .
<#rdfs-no-cycles-in-subClassOf-test001> a mf:PositiveEntailmentTest;
--- a/rdf-mt/tests/rdfs-entailment/test002.nt Thu Oct 17 11:49:20 2013 +0100
+++ b/rdf-mt/tests/rdfs-entailment/test002.nt Fri Oct 18 10:27:43 2013 -0400
@@ -8,8 +8,8 @@
# Please see the full Copyright clause at
# <http://www.w3.org/Consortium/Legal/copyright-software.html>
#
-# $Id: test002.nt,v 1.1 2003/11/13 10:21:45 jgrant Exp $
+# MODIFIED
#
#####################################################################
-<http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> .
+<http://example.org/subject> <http://example.org/predicate> <http://example.org/object> .