fix up semantics test rdfs-entailment/test002.nt and README for semantics tests
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Fri, 18 Oct 2013 10:27:43 -0400
changeset 1150 88e23c509ed4
parent 1149 3d5af16fe3f6
child 1151 ad0101e02516
fix up semantics test rdfs-entailment/test002.nt and README for semantics tests
rdf-mt/tests/2004-test-suite/rdfs-entailment/test002p.nt
rdf-mt/tests/README
rdf-mt/tests/manifest.ttl
rdf-mt/tests/rdfs-entailment/test002.nt
--- /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> .