Add rdf-mt test manifest converstions script and results. Also converts RDF/XML documents to Turtle.
authorGregg Kellogg <gregg@kellogg-assoc.com>
Sat, 28 Sep 2013 17:40:58 -0700
changeset 1113 dcd08e341441
parent 1112 eacfa556ce51
child 1114 bd5749f3a40a
Add rdf-mt test manifest converstions script and results. Also converts RDF/XML documents to Turtle.
rdf-mt/.DS_Store
rdf-mt/tests/convert-manifest.rb
rdf-mt/tests/datatypes-intensional/test001.nt
rdf-mt/tests/datatypes-intensional/test002.nt
rdf-mt/tests/datatypes/test002.nt
rdf-mt/tests/datatypes/test002b.nt
rdf-mt/tests/datatypes/test003a.nt
rdf-mt/tests/datatypes/test003b.nt
rdf-mt/tests/datatypes/test005a.nt
rdf-mt/tests/datatypes/test005b.nt
rdf-mt/tests/datatypes/test006.nt
rdf-mt/tests/datatypes/test008a.nt
rdf-mt/tests/datatypes/test008b.nt
rdf-mt/tests/datatypes/test009a.nt
rdf-mt/tests/datatypes/test009b.nt
rdf-mt/tests/datatypes/test010.nt
rdf-mt/tests/datatypes/test011a.nt
rdf-mt/tests/datatypes/test011b.nt
rdf-mt/tests/horst-01/test001.ttl
rdf-mt/tests/horst-01/test002.ttl
rdf-mt/tests/horst-01/test003.ttl
rdf-mt/tests/horst-01/test004.ttl
rdf-mt/tests/manifest.ttl
rdf-mt/tests/pfps-10/test001a.nt
rdf-mt/tests/pfps-10/test001b.nt
rdf-mt/tests/rdf-charmod-uris/test001.ttl
rdf-mt/tests/rdf-charmod-uris/test002.ttl
rdf-mt/tests/rdfms-seq-representation/empty.nt
rdf-mt/tests/rdfms-seq-representation/test002.nt
rdf-mt/tests/rdfms-seq-representation/test003a.nt
rdf-mt/tests/rdfms-seq-representation/test003b.nt
rdf-mt/tests/rdfms-seq-representation/test004.nt
rdf-mt/tests/rdfms-xmllang/test007a.nt
rdf-mt/tests/rdfms-xmllang/test007b.nt
rdf-mt/tests/rdfms-xmllang/test007c.nt
rdf-mt/tests/rdfs-container-membership-superProperty/not1C.ttl
rdf-mt/tests/rdfs-container-membership-superProperty/not1P.ttl
rdf-mt/tests/rdfs-domain-and-range/nonconclusions005.ttl
rdf-mt/tests/rdfs-domain-and-range/nonconclusions006.ttl
rdf-mt/tests/rdfs-domain-and-range/premises005.ttl
rdf-mt/tests/rdfs-domain-and-range/premises006.ttl
rdf-mt/tests/rdfs-entailment/test001.nt
rdf-mt/tests/rdfs-entailment/test002.nt
rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.nt
rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.ttl
rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.nt
rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.ttl
rdf-mt/tests/rdfs-subClassOf-a-Property/test001.nt
rdf-mt/tests/rdfs-subPropertyOf-semantics/test001.nt
rdf-mt/tests/rdfs-subPropertyOf-semantics/test002.nt
rdf-mt/tests/statement-entailment/test001a.nt
rdf-mt/tests/statement-entailment/test001b.nt
rdf-mt/tests/statement-entailment/test002a.nt
rdf-mt/tests/statement-entailment/test002b.nt
rdf-mt/tests/tex-01/test001.ttl
rdf-mt/tests/tex-01/test002.ttl
rdf-mt/tests/xmlsch-02/test001.ttl
rdf-mt/tests/xmlsch-02/test002.ttl
rdf-mt/tests/xmlsch-02/test003.ttl
Binary file rdf-mt/.DS_Store has changed
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/convert-manifest.rb	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,123 @@
+#!/usr/bin/env ruby
+# Convert 2004 manifest to 2013 format and vocabulary
+require 'linkeddata'
+require 'fileutils'
+
+TEST = RDF::Vocabulary.new("http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#")
+QUERY = SPARQL.parse(%(
+  PREFIX test: <http://www.w3.org/2000/10/rdf-tests/rdfcore/testSchema#>
+  SELECT ?subject ?type ?description ?premise ?conclusion
+  WHERE {
+    ?subject a ?type;
+      test:status "APPROVED";
+      test:premiseDocument ?premise;
+      test:conclusionDocument ?conclusion;
+      OPTIONAL {
+        ?subject test:description ?description
+      }
+    FILTER(?type = test:PositiveEntailmentTest || ?type = test:NegativeEntailmentTest)
+  }
+))
+
+g = RDF::Repository.load("2004-test-suite/Manifest.rdf")
+
+tests = {}
+
+File.open("manifest.ttl", "w") do |f|
+  f.write(%(
+    # RDF Schema and Semantics tests
+    ## 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
+    
+    @prefix rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+    @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
+    @prefix mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
+    @prefix rdft:   <http://www.w3.org/ns/rdftest#> .
+
+    <> rdf:type mf:Manifest ;
+      rdfs:comment "RDF Schema and Semantics tests"
+      mf:entries \(
+  )[1..-1].gsub(/^\s+/, ''))
+
+  QUERY.execute(g).each do |soln|
+    #puts soln.inspect
+    dir = soln.subject.path.split('/')[-2]
+    frag = "##{dir}-#{soln.subject.fragment}"
+    puts "test #{dir}/'#{frag}' already defined" if tests.has_key?(frag)
+    f.puts("  <#{frag}>")
+    tests[frag] = soln
+  end
+  f.puts(")\n")
+
+  tests.each_pair do |frag, test|
+    # Wrap description to 40 characters and indent
+    desc = test.description.
+      to_s.
+      strip.
+      gsub(/\s+/m, ' ').
+      scan(/\S.{0,60}\S(?=\s|$)|\S+/).
+      join("\n    ")
+
+    [:premise, :conclusion].each do |t|
+      test[t] = if test[t].node?
+        'false'
+      else
+        path = test[t].path.split('/')[-2..-1].join('/')
+
+        # Copy the test into place, if it does not exist.
+        # If it is an RDF/XML file, transform it to Turtle
+        parts = path.split('/')
+
+        FileUtils.mkdir(parts.first) unless Dir.exist?(parts.first)
+        unless File.exist?(path)
+          if parts.last =~ /\.rdf/
+            puts "Transform 2004-test-suite/#{path} to #{path.sub('.rdf', '.ttl')}"
+            RDF::RDFXML::Reader.open("2004-test-suite/#{path}") do |reader|
+              doc = reader.instance_variable_get(:@doc)
+
+              # Retain comment
+              comment = doc.children.detect {|c| c.is_a?(Nokogiri::XML::Comment)}
+              comment = comment ? comment.content : ""
+              test_graph = RDF::Graph.new << reader
+              ttl = test_graph.dump(:ttl, :standard_prefixes => true, :prefixes => {
+                :test => TEST.to_uri
+              })
+              parts[1] = parts.last.sub('.rdf', '.ttl')
+              path = parts.join("/")
+              File.open(path, "w") do |ttl_file|
+                # Output existing comment
+                comment.lines.each do |line|
+                  ttl_file.write("# #{line}")
+                end
+                ttl_file.write(ttl)
+              end
+            end
+          else
+            puts "Copy 2004-test-suite/#{path} to #{path}"
+            FileUtils.cp "2004-test-suite/#{path}", path
+          end
+        end
+
+        # Use this relative path in manifest
+        "<#{path}>"
+      end
+    end
+
+    f.puts(%(
+      <#{frag}> a mf:#{test.type.fragment};
+        mf:name "#{frag[1..-1]}";
+        rdfs:comment """
+          #{desc}
+        """;
+        rdfs:approval rdft:Approved;
+        mf:action #{test.premise};
+        mf:result #{test.conclusion} .
+    )[1..-1].gsub(/^      /, ''))
+  end
+end
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes-intensional/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+#
+# 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>
+#
+# xsd:integer and xsd:decimal are compatible using intensional
+# datatype semantics. The following is consistent with a
+# rdfs+d(xsd:integer, xsd:decimal) interpretation:
+#
+# $Id: test001.nt,v 1.1 2003/09/03 12:05:35 jgrant Exp $
+#
+#####################################################################
+<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2001/XMLSchema#decimal> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes-intensional/test002.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+#
+# 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>
+#
+# xsd:string and xsd:integer are incompatible using intensional
+# datatype semantics. The following is inconsistent with a
+# rdfs+d(xsd:integer, xsd:string) interpretation:
+#
+# $Id: test002.nt,v 1.1 2003/09/03 12:05:35 jgrant Exp $
+#
+#####################################################################
+<http://www.w3.org/2001/XMLSchema#integer> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2001/XMLSchema#string> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test002.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test002.nt,v 1.1 2002/11/19 14:04:16 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "flargh"^^<http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test002b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,17 @@
+#
+# 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>
+#
+# $Id: test002b.nt,v 1.1 2002/12/11 17:03:07 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> _:v .
+_:v <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> _:c .
+_:c <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Datatype> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test003a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,16 @@
+#
+# 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>
+#
+# Semantic equivalence of lexical forms, given datatype knowledge.
+#
+# $Id: test003a.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "010"^^<http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test003b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,16 @@
+#
+# 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>
+#
+# Semantic equivalence of lexical forms, given datatype knowledge.
+#
+# $Id: test003b.nt,v 1.1 2002/11/19 16:50:04 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test005a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,16 @@
+#
+# 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>
+#
+# Semantic equivalence between members of different datatypes.
+#
+# $Id: test005a.nt,v 1.1 2002/11/19 17:02:56 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test005b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,16 @@
+#
+# 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>
+#
+# Semantic equivalence between members of different datatypes.
+#
+# $Id: test005b.nt,v 1.2 2002/12/11 16:49:41 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "10.0"^^<http://www.w3.org/2001/XMLSchema#decimal> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test006.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,17 @@
+#
+# 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>
+#
+# Semantic equivalence between members of different datatypes.
+#
+# $Id: test006.nt,v 1.1 2002/12/13 11:22:19 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "25"^^<http://www.w3.org/2001/XMLSchema#decimal> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#string> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test008a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test008a.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://example.org/b> "10" .
+<http://example.org/c> <http://example.org/d> "10" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test008b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test008b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://example.org/b> _:x .
+<http://example.org/c> <http://example.org/d> _:x .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test009a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test009a.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://example.org/b> "10" .
+<http://example.org/c> <http://example.org/d> "10"^^<http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test009b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test009b.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://example.org/b> _:x .
+<http://example.org/c> <http://example.org/d> _:x .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test010.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,17 @@
+#
+# 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>
+#
+# Semantic equivalence between members of different datatypes.
+#
+# $Id: test010.nt,v 1.1 2002/12/13 11:53:00 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "25" .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2001/XMLSchema#integer> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test011a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,17 @@
+#
+# 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>
+#
+# Plain literals without language denote the same thing as
+# the corresponding xsd:strings (where their value spaces intersect).
+#
+# $Id: test011a.nt,v 1.1 2003/09/03 12:22:06 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "a string" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/datatypes/test011b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,17 @@
+#
+# 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>
+#
+# Plain literals without language denote the same thing as
+# the corresponding xsd:strings (where their value spaces intersect).
+#
+# $Id: test011b.nt,v 1.1 2003/09/03 12:22:06 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "a string"^^<http://www.w3.org/2001/XMLSchema#string> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/horst-01/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,28 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: any interpretation of this file
+#         must have the extension of class x
+#         being a subset of the extension of class y.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
+# 
+#   Author: Herman ter Horst
+# 
+#   $Id: test001.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
+# 
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://example.org/x> a rdfs:Class .
+
+rdf:type rdfs:domain <http://example.org/y> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/horst-01/test002.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,28 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: 
+#     If the class extension of x is known to be a subset
+#     of the class extension of y then x is not known to
+#     be an rdfs:subClassOf y (unless operating in
+#     a semantic extension to RDFS with extensional 
+#     semantics).
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
+# 
+#   Author: Herman ter Horst
+# 
+#   $Id: test002.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
+# 
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://example.org/x> rdfs:subClassOf <http://example.org/y> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/horst-01/test003.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,32 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: any interpretation of this file
+#         respecting xsd:string and xsd:integer
+#         must have the extension of property p 
+#         being empty.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
+# 
+#   Author: Jeremy Carroll 
+# 
+#   $Id: test003.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
+# 
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<http://example.org/p> a rdf:Property;
+   rdfs:range xsd:integer,
+     xsd:string .
+
+<http://example.org/q> a rdf:Property .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/horst-01/test004.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,32 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description:
+#     If the property extension of x is known to be a subset
+#     of the property extension of y then x is not known to
+#     be an rdfs:subPropertyOf y (unless operating in
+#     a semantic extension to RDFS with extensional
+#     semantics).
+# 
+# 
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#horst-01
+# 
+#   Author: Jeremy Carroll 
+# 
+#   $Id: test004.rdf,v 1.1 2003/07/18 05:21:30 jcarroll Exp $
+# 
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://example.org/p> a rdf:Property;
+   rdfs:subPropertyOf <http://example.org/q> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/manifest.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,488 @@
+# RDF Schema and Semantics tests
+## 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
[email protected] rdf:    <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
[email protected] mf: <http://www.w3.org/2001/sw/DataAccess/tests/test-manifest#> .
[email protected] rdft:   <http://www.w3.org/ns/rdftest#> .
+<> rdf:type mf:Manifest ;
+rdfs:comment "RDF Schema and Semantics tests"
+mf:entries (
+  <#datatypes-intensional-xsd-integer-decimal-compatible>
+  <#datatypes-intensional-xsd-integer-string-incompatible>
+  <#datatypes-non-well-formed-literal-1>
+  <#datatypes-non-well-formed-literal-2>
+  <#datatypes-semantic-equivalence-within-type-1>
+  <#datatypes-semantic-equivalence-within-type-2>
+  <#datatypes-semantic-equivalence-between-datatypes>
+  <#datatypes-range-clash>
+  <#datatypes-test008>
+  <#datatypes-test009>
+  <#datatypes-test010>
+  <#datatypes-plain-literal-and-xsd-string>
+  <#horst-01-subClassOf-intensional>
+  <#horst-01-subPropertyOf-intensional>
+  <#pfps-10-non-well-formed-literal-1>
+  <#rdf-charmod-uris-test003>
+  <#rdf-charmod-uris-test004>
+  <#rdfms-seq-representation-test002>
+  <#rdfms-seq-representation-test003>
+  <#rdfms-seq-representation-test004>
+  <#rdfms-xmllang-test007a>
+  <#rdfms-xmllang-test007b>
+  <#rdfms-xmllang-test007c>
+  <#rdfs-container-membership-superProperty-test001>
+  <#rdfs-domain-and-range-intensionality-range>
+  <#rdfs-domain-and-range-intensionality-domain>
+  <#rdfs-entailment-test001>
+  <#rdfs-entailment-test002>
+  <#rdfs-no-cycles-in-subClassOf-test001>
+  <#rdfs-no-cycles-in-subPropertyOf-test001>
+  <#rdfs-subClassOf-a-Property-test001>
+  <#rdfs-subPropertyOf-semantics-test001>
+  <#statement-entailment-test001>
+  <#statement-entailment-test002>
+  <#statement-entailment-test003>
+  <#statement-entailment-test004>
+  <#tex-01-language-tag-case-1>
+  <#tex-01-language-tag-case-2>
+  <#xmlsch-02-whitespace-facet-1>
+  <#xmlsch-02-whitespace-facet-2>
+  <#xmlsch-02-whitespace-facet-3>
+  <#xmlsch-02-whitespace-facet-4>
+)
+<#datatypes-intensional-xsd-integer-decimal-compatible> a mf:NegativeEntailmentTest;
+  mf:name "datatypes-intensional-xsd-integer-decimal-compatible";
+  rdfs:comment """
+    The claim that xsd:integer is a subClassOF xsd:decimal is not
+    incompatible with using the intensional semantics for
+    datatypes.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes-intensional/test001.nt>;
+  mf:result false .
+    
+<#datatypes-intensional-xsd-integer-string-incompatible> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-intensional-xsd-integer-string-incompatible";
+  rdfs:comment """
+    The claim that xsd:integer is a subClassOF xsd:string is
+    incompatible with using the intensional semantics for
+    datatypes.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes-intensional/test002.nt>;
+  mf:result false .
+    
+<#datatypes-non-well-formed-literal-1> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-non-well-formed-literal-1";
+  rdfs:comment """
+    Without datatype knowledge, a 'badly-formed' datatyped literal
+    cannot be detected.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test002.nt>;
+  mf:result <datatypes/test002.nt> .
+    
+<#datatypes-non-well-formed-literal-2> a mf:NegativeEntailmentTest;
+  mf:name "datatypes-non-well-formed-literal-2";
+  rdfs:comment """
+    With appropriate datatype knowledge, a 'badly-formed'
+    datatyped literal can be detected.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test002.nt>;
+  mf:result <datatypes/test002b.nt> .
+    
+<#datatypes-semantic-equivalence-within-type-1> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-semantic-equivalence-within-type-1";
+  rdfs:comment """
+    Demonstrating the semantic equivalence of two lexical forms of
+    the same datatyped value.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test003a.nt>;
+  mf:result <datatypes/test003b.nt> .
+    
+<#datatypes-semantic-equivalence-within-type-2> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-semantic-equivalence-within-type-2";
+  rdfs:comment """
+    As semantic-equivalence-within-type-1; the entailment works
+    both ways.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test003b.nt>;
+  mf:result <datatypes/test003a.nt> .
+    
+<#datatypes-semantic-equivalence-between-datatypes> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-semantic-equivalence-between-datatypes";
+  rdfs:comment """
+    Members of different datatypes may be semantically equivalent.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test005a.nt>;
+  mf:result <datatypes/test005b.nt> .
+    
+<#datatypes-range-clash> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-range-clash";
+  rdfs:comment """
+    Where sufficient DT knowledge is available, a range clash may
+    be detected; the document then contains a contradiction.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test006.nt>;
+  mf:result false .
+    
+<#datatypes-test008> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-test008";
+  rdfs:comment """
+    From decisions listed in
+    http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test008a.nt>;
+  mf:result <datatypes/test008b.nt> .
+    
+<#datatypes-test009> a mf:NegativeEntailmentTest;
+  mf:name "datatypes-test009";
+  rdfs:comment """
+    From decisions listed in
+    http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test009a.nt>;
+  mf:result <datatypes/test009b.nt> .
+    
+<#datatypes-test010> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-test010";
+  rdfs:comment """
+    From decisions listed in
+    http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test010.nt>;
+  mf:result false .
+    
+<#datatypes-plain-literal-and-xsd-string> a mf:PositiveEntailmentTest;
+  mf:name "datatypes-plain-literal-and-xsd-string";
+  rdfs:comment """
+    A plain literal denotes the same thing as its corresponding
+    xsd:string, where one exists.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <datatypes/test011a.nt>;
+  mf:result <datatypes/test011b.nt> .
+    
+<#horst-01-subClassOf-intensional> a mf:NegativeEntailmentTest;
+  mf:name "horst-01-subClassOf-intensional";
+  rdfs:comment """
+    rdfs:subClassOf has intensional semantics, not extensional.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <horst-01/test001.ttl>;
+  mf:result <horst-01/test002.ttl> .
+    
+<#horst-01-subPropertyOf-intensional> a mf:NegativeEntailmentTest;
+  mf:name "horst-01-subPropertyOf-intensional";
+  rdfs:comment """
+    rdfs:subPropertyOf has intensional semantics, not extensional.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <horst-01/test003.ttl>;
+  mf:result <horst-01/test004.ttl> .
+    
+<#pfps-10-non-well-formed-literal-1> a mf:PositiveEntailmentTest;
+  mf:name "pfps-10-non-well-formed-literal-1";
+  rdfs:comment """
+    Test that ICEXT(I(rdfs:Literal)) is a subset of LV.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <pfps-10/test001a.nt>;
+  mf:result <pfps-10/test001b.nt> .
+    
+<#rdf-charmod-uris-test003> a mf:NegativeEntailmentTest;
+  mf:name "rdf-charmod-uris-test003";
+  rdfs:comment """
+    An international URI ref and its %-escaped form label
+    different nodes in the graph. No model theoretic relationship
+    holds between them.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdf-charmod-uris/test001.ttl>;
+  mf:result <rdf-charmod-uris/test002.ttl> .
+    
+<#rdf-charmod-uris-test004> a mf:NegativeEntailmentTest;
+  mf:name "rdf-charmod-uris-test004";
+  rdfs:comment """
+    An international URI ref and its %-escaped form label
+    different nodes in the graph. No model theoretic relationship
+    holds between them.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdf-charmod-uris/test002.ttl>;
+  mf:result <rdf-charmod-uris/test001.ttl> .
+    
+<#rdfms-seq-representation-test002> a mf:PositiveEntailmentTest;
+  mf:name "rdfms-seq-representation-test002";
+  rdfs:comment """
+    Statement of the MT closure rule.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-seq-representation/empty.nt>;
+  mf:result <rdfms-seq-representation/test002.nt> .
+    
+<#rdfms-seq-representation-test003> a mf:PositiveEntailmentTest;
+  mf:name "rdfms-seq-representation-test003";
+  rdfs:comment """
+    Statement of the MT closure rule.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-seq-representation/test003a.nt>;
+  mf:result <rdfms-seq-representation/test003b.nt> .
+    
+<#rdfms-seq-representation-test004> a mf:PositiveEntailmentTest;
+  mf:name "rdfms-seq-representation-test004";
+  rdfs:comment """
+    Statement of the MT closure rule.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-seq-representation/empty.nt>;
+  mf:result <rdfms-seq-representation/test004.nt> .
+    
+<#rdfms-xmllang-test007a> a mf:NegativeEntailmentTest;
+  mf:name "rdfms-xmllang-test007a";
+  rdfs:comment """
+    Plain literals are distinguishable on the basis of language
+    tags.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-xmllang/test007a.nt>;
+  mf:result <rdfms-xmllang/test007b.nt> .
+    
+<#rdfms-xmllang-test007b> a mf:NegativeEntailmentTest;
+  mf:name "rdfms-xmllang-test007b";
+  rdfs:comment """
+    Plain literals are distinguishable on the basis of language
+    tags.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-xmllang/test007b.nt>;
+  mf:result <rdfms-xmllang/test007c.nt> .
+    
+<#rdfms-xmllang-test007c> a mf:NegativeEntailmentTest;
+  mf:name "rdfms-xmllang-test007c";
+  rdfs:comment """
+    Plain literals are distinguishable on the basis of language
+    tags.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfms-xmllang/test007c.nt>;
+  mf:result <rdfms-xmllang/test007a.nt> .
+    
+<#rdfs-container-membership-superProperty-test001> a mf:NegativeEntailmentTest;
+  mf:name "rdfs-container-membership-superProperty-test001";
+  rdfs:comment """
+    While it is a superproperty, _:a <rdfs:contains (@@member?)>
+    _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-container-membership-superProperty/not1P.ttl>;
+  mf:result <rdfs-container-membership-superProperty/not1C.ttl> .
+    
+<#rdfs-domain-and-range-intensionality-range> a mf:NegativeEntailmentTest;
+  mf:name "rdfs-domain-and-range-intensionality-range";
+  rdfs:comment """
+    RDF Semantics defines rdfs:range to have an intensional
+    reading. However, semantic extensions may give an extensional
+    reading to range. The premise/conclusion pair is a
+    non-entailment for RDFS reasoning, but may hold in semantic
+    extensions.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-domain-and-range/premises005.ttl>;
+  mf:result <rdfs-domain-and-range/nonconclusions005.ttl> .
+    
+<#rdfs-domain-and-range-intensionality-domain> a mf:NegativeEntailmentTest;
+  mf:name "rdfs-domain-and-range-intensionality-domain";
+  rdfs:comment """
+    RDF Semantics defines rdfs:range to have an intensional
+    reading of domain. However, semantic extensions may give an
+    extensional reading to domain. The premise/conclusion pair is
+    a non-entailment for RDFS reasoning, but may hold in semantic
+    extensions.
+  """;
+  rdfs:approval rdft:Approved;
+  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 """
+    Indicating a simple inconsistency drawn from RDFS. RDFS can
+    only produce inconsistencies through badly-formed XMLLiteral
+    datatypes.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-entailment/test001.nt>;
+  mf:result false .
+    
+<#rdfs-entailment-test002> a mf:PositiveEntailmentTest;
+  mf:name "rdfs-entailment-test002";
+  rdfs:comment """
+    From an inconsistent graph, any entailment can be drawn. This
+    is an example.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action false;
+  mf:result <rdfs-entailment/test002.nt> .
+    
+<#rdfs-no-cycles-in-subClassOf-test001> a mf:PositiveEntailmentTest;
+  mf:name "rdfs-no-cycles-in-subClassOf-test001";
+  rdfs:comment """
+    Cycles are permitted in subClassOf; therefore, no error occurs
+    and the following entailment holds trivially.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-no-cycles-in-subClassOf/test001.ttl>;
+  mf:result <rdfs-no-cycles-in-subClassOf/test001.nt> .
+    
+<#rdfs-no-cycles-in-subPropertyOf-test001> a mf:PositiveEntailmentTest;
+  mf:name "rdfs-no-cycles-in-subPropertyOf-test001";
+  rdfs:comment """
+    Cycles are permitted in subPropertyOf; therefore, no error
+    occurs and the following entailment holds trivially.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-no-cycles-in-subPropertyOf/test001.ttl>;
+  mf:result <rdfs-no-cycles-in-subPropertyOf/test001.nt> .
+    
+<#rdfs-subClassOf-a-Property-test001> a mf:NegativeEntailmentTest;
+  mf:name "rdfs-subClassOf-a-Property-test001";
+  rdfs:comment """
+    an instance of the Property class may have an rdfs:subClassOf
+    property. the meaning of such a property is defined by the
+    model theory. The wording of the formal resolution is a bit
+    bare, so let me add a few words of explanation. What this
+    means is that a resource can be both a class and a property.
+    This test is encoded as follows: a Property may have a
+    subclass (that is, such an RDF graph is satisfiable)
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-subClassOf-a-Property/test001.nt>;
+  mf:result false .
+    
+<#rdfs-subPropertyOf-semantics-test001> a mf:PositiveEntailmentTest;
+  mf:name "rdfs-subPropertyOf-semantics-test001";
+  rdfs:comment """
+    The inheritance semantics of the subPropertyOf relationship
+    needs to be clarified. => subProperties inherit conjunctively
+    the domain and range of their superproperties
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <rdfs-subPropertyOf-semantics/test001.nt>;
+  mf:result <rdfs-subPropertyOf-semantics/test002.nt> .
+    
+<#statement-entailment-test001> a mf:NegativeEntailmentTest;
+  mf:name "statement-entailment-test001";
+  rdfs:comment """
+    RDFCore WG RESOLVED that a reified statement was a stating,
+    not a statement. The following entailment does not, therefore,
+    hold.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <statement-entailment/test001a.nt>;
+  mf:result <statement-entailment/test001b.nt> .
+    
+<#statement-entailment-test002> a mf:NegativeEntailmentTest;
+  mf:name "statement-entailment-test002";
+  rdfs:comment """
+    RDFCore WG RESOLVED that a statement does NOT entail its
+    reification. The following entailment does not, therefore,
+    hold.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <statement-entailment/test002a.nt>;
+  mf:result <statement-entailment/test002b.nt> .
+    
+<#statement-entailment-test003> a mf:NegativeEntailmentTest;
+  mf:name "statement-entailment-test003";
+  rdfs:comment """
+    RDFCore WG RESOLVED that a reified statement was a stating,
+    not a statement. The following entailment does not, therefore,
+    hold. This is the same as test001, but using RDFS-entailment.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <statement-entailment/test001a.nt>;
+  mf:result <statement-entailment/test001b.nt> .
+    
+<#statement-entailment-test004> a mf:NegativeEntailmentTest;
+  mf:name "statement-entailment-test004";
+  rdfs:comment """
+    RDFCore WG RESOLVED that a statement does NOT entail its
+    reification. The following entailment does not, therefore,
+    hold. This is the same as test002, but using RDFS-entailment.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <statement-entailment/test002a.nt>;
+  mf:result <statement-entailment/test002b.nt> .
+    
+<#tex-01-language-tag-case-1> a mf:PositiveEntailmentTest;
+  mf:name "tex-01-language-tag-case-1";
+  rdfs:comment """
+    The case of the language tag is not significant.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <tex-01/test001.ttl>;
+  mf:result <tex-01/test002.ttl> .
+    
+<#tex-01-language-tag-case-2> a mf:PositiveEntailmentTest;
+  mf:name "tex-01-language-tag-case-2";
+  rdfs:comment """
+    The case of the language tag is not significant.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <tex-01/test002.ttl>;
+  mf:result <tex-01/test001.ttl> .
+    
+<#xmlsch-02-whitespace-facet-1> a mf:NegativeEntailmentTest;
+  mf:name "xmlsch-02-whitespace-facet-1";
+  rdfs:comment """
+    A well-formed typed literal is not related to an ill-formed
+    literal. Even if they only differ by whitespace.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <xmlsch-02/test001.ttl>;
+  mf:result <xmlsch-02/test002.ttl> .
+    
+<#xmlsch-02-whitespace-facet-2> a mf:NegativeEntailmentTest;
+  mf:name "xmlsch-02-whitespace-facet-2";
+  rdfs:comment """
+    A well-formed typed literal is not related to an ill-formed
+    literal. Even if they only differ by whitespace.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <xmlsch-02/test002.ttl>;
+  mf:result <xmlsch-02/test001.ttl> .
+    
+<#xmlsch-02-whitespace-facet-3> a mf:PositiveEntailmentTest;
+  mf:name "xmlsch-02-whitespace-facet-3";
+  rdfs:comment """
+    A simple test for well-formedness of a typed literal.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <xmlsch-02/test001.ttl>;
+  mf:result <xmlsch-02/test003.ttl> .
+    
+<#xmlsch-02-whitespace-facet-4> a mf:NegativeEntailmentTest;
+  mf:name "xmlsch-02-whitespace-facet-4";
+  rdfs:comment """
+    An integer with whitespace is ill-formed.
+  """;
+  rdfs:approval rdft:Approved;
+  mf:action <xmlsch-02/test002.ttl>;
+  mf:result <xmlsch-02/test003.ttl> .
+    
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/pfps-10/test001a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test001a.nt,v 1.1 2003/08/18 09:40:01 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> "a" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/pfps-10/test001b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test001b.nt,v 1.1 2003/08/18 09:40:01 jgrant Exp $
+#
+#####################################################################
+<http://example.org/foo> <http://example.org/bar> _:x .
+_:x <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#Literal> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdf-charmod-uris/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,22 @@
+# 
+#   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>
+# 
+#   Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
+#   Test:  1
+#   Author: Jeremy Carroll, HP
+# 
+#   Description:
+#         Non US-ASCII characters are permitted in the uriref labels
+#         on the RDF graph. The % escaping algorithm is not applied
+#         during graph construction.
+# 
+#   $Id: test001.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $
+
+<http://example.org/#André> <http://example.org/#owes> "2000" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdf-charmod-uris/test002.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,23 @@
+# 
+#   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>
+# 
+#   Issue: http://www.w3.org/2000/03/rdf-tracking/#rdf-charmod-uris
+#   Test:  2
+#   Author: Jeremy Carroll, HP
+# 
+#   Description:
+#         An explicit % escaped URI is treated like any other US ASCII URI. 
+#         Non US-ASCII characters are permitted in the uriref labels
+#         on the RDF graph. The % escaping algorithm is not applied
+#         during graph construction.
+# 
+#   $Id: test002.rdf,v 1.1 2002/04/29 09:46:57 dbeckett2 Exp $
+
+<http://example.org/#Andr%C3%A9> <http://example.org/#owes> "2000" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-seq-representation/empty.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,13 @@
+#
+# 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>
+#
+# $Id: empty.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $
+#
+#####################################################################
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-seq-representation/test002.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test002.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $
+#
+#####################################################################
+<http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2000/01/rdf-schema#ContainerMembershipProperty> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-seq-representation/test003a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test003a.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://example.org/b> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-seq-representation/test003b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test003b.nt,v 1.1 2002/12/13 16:48:03 jgrant Exp $
+#
+#####################################################################
+<http://example.org/a> <http://www.w3.org/2000/01/rdf-schema#member> <http://example.org/b> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-seq-representation/test004.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test004.nt,v 1.1 2002/12/13 16:48:04 jgrant Exp $
+#
+#####################################################################
+<http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/01/rdf-schema#member> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-xmllang/test007a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test007a.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
+# 
+#####################################################################
+<http://example.org/node> <http://example.org/property> "chat"@fr .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-xmllang/test007b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test007b.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
+# 
+#####################################################################
+<http://example.org/node> <http://example.org/property> "chat"@en .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfms-xmllang/test007c.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,14 @@
+#
+# 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>
+#
+# $Id: test007c.nt,v 1.1 2002/12/18 15:49:29 jgrant Exp $
+# 
+#####################################################################
+<http://example.org/node> <http://example.org/property> "chat" .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-container-membership-superProperty/not1C.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,3 @@
+#  Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+
+<http://example/stuff#something> rdf:_1 <http://example/stuff#somethingElse> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-container-membership-superProperty/not1P.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,3 @@
+#  Processed by Id: cwm.py,v 1.92 2002/03/22 21:36:00 timbl Exp @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://example/stuff#something> rdfs:member <http://example/stuff#somethingElse> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-domain-and-range/nonconclusions005.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+# 
+#   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>
+# 
+#   $Id: nonconclusions005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll Exp $
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;
+   rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-domain-and-range/nonconclusions006.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+# 
+#   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>
+# 
+#   $Id: nonconclusions006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll Exp $
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;
+   rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-domain-and-range/premises005.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,21 @@
+# 
+#   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>
+# 
+#   $Id: premises005.rdf,v 1.2 2002/11/22 13:21:49 jcarroll Exp $
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> a rdfs:Class;
+   rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#B> a rdfs:Class .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#prop> a rdfs:Property;
+   rdfs:range <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises005.rdf#A> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-domain-and-range/premises006.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,21 @@
+# 
+#   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>
+# 
+#   $Id: premises006.rdf,v 1.1 2002/11/22 13:21:49 jcarroll Exp $
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> a rdfs:Class;
+   rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#B> a rdfs:Class .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#prop> a rdfs:Property;
+   rdfs:domain <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/premises006.rdf#A> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-entailment/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,16 @@
+#
+# 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>
+#
+# $Id: test001.nt,v 1.1 2003/11/13 10:21:45 jgrant Exp $
+# 
+#####################################################################
+<http://example.org/prop> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .
+<http://example.org/foo> <http://example.org/prop> "<"^^<http://www.w3.org/1999/02/22-rdf-syntax-ns#XMLLiteral> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-entailment/test002.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+# $Id: test002.nt,v 1.1 2003/11/13 10:21:45 jgrant Exp $
+# 
+#####################################################################
+<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> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+# 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>
+#
+# Author: Dan Connolly
+#
+# $Id: test001.nt,v 1.3 2001/10/01 13:45:20 barstow Exp $
+#
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> .
+    
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-no-cycles-in-subClassOf/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,25 @@
+# 
+#   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>
+# 
+#   Author: Dan Connolly
+# 
+#   Description: see:
+# 
+#    http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subClassOf
+# 
+#   $Id:$
+# 
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#B> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#A> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> rdfs:subClassOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/test001#X> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,18 @@
+# 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>
+#
+# Author: Frank Manola
+#
+# $Id: test001.nt,v 1.3 2001/10/01 13:43:50 barstow Exp $
+#
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> .
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-no-cycles-in-subPropertyOf/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,27 @@
+# 
+#   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>
+# 
+#   Author: Frank Manola
+# 
+#   Description:
+# 
+#   Related issue:
+# 
+#     http://www.w3.org/2000/03/rdf-tracking/#rdfs-no-cycles-in-subPropertyOf
+# 
+#   $Id$
+# 
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#B> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#A> .
+
+<http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> rdfs:subPropertyOf <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/test001#X> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-subClassOf-a-Property/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -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>
+#
+#   The following graph is legal (satisfiable)
+#
+# $Id: test001.nt,v 1.1 2002/12/18 15:44:22 jgrant Exp $
+##################################################################
+<http://example.org/foo> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://example.org/foo> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-subPropertyOf-semantics/test001.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,24 @@
+# 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>
+#
+# Issue rdfs-subPropertyOf-semantics:
+#   The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+#
+#   => subProperties inherit conjunctively the domain and range of their superproperties
+#
+# $Id: test001.nt,v 1.4 2002/04/05 13:25:37 josderoo Exp $
+##################################################################
+
+<http://example.org/bar> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Property> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://example.org/bar> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain1> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#domain> <http://example.org/Domain2> .
+<http://example.org/bar> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range1> .
+<http://example.org/bas> <http://www.w3.org/2000/01/rdf-schema#range> <http://example.org/Range2> .
+<http://example.org/baz1> <http://example.org/bas> <http://example.org/baz2> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/rdfs-subPropertyOf-semantics/test002.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,21 @@
+# 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>
+#
+# Issue rdfs-subPropertyOf-semantics:
+#   The inheritance semantics of the subPropertyOf relationship needs to be clarified.
+#
+#   => subProperties inherit conjunctively the domain and range of their superproperties
+#
+# $Id: test002.nt,v 1.2 2002/04/05 13:25:45 josderoo Exp $
+##################################################################
+
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain1> .
+<http://example.org/baz1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Domain2> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range1> .
+<http://example.org/baz2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://example.org/Range2> .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/statement-entailment/test001a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,12 @@
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
+<http://example.org/stmt1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .
+
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subject> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/predicate> .
+<http://example.org/stmt2> <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/object> .
+
+<http://example.org/stmt1> <http://example.org/property> <http://example.org/foo> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/statement-entailment/test001b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,2 @@
+<http://example.org/stmt2> <http://example.org/property> <http://example.org/foo> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/statement-entailment/test002a.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,2 @@
+<http://example.org/subj> <http://example.org/prop> <http://example.org/obj> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/statement-entailment/test002b.nt	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,5 @@
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#subject> <http://example.org/subj> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate> <http://example.org/prop> .
+_:r <http://www.w3.org/1999/02/22-rdf-syntax-ns#object> <http://example.org/obj> .
+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/tex-01/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,22 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: language tag is lower case in this file.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
+# 
+#   Author: Jeremy Carroll
+# 
+#   $Id: test001.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $
+# 
+
+ [ <http://example.org/prop> "a"@en-us] .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/tex-01/test002.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,22 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+# 
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: language tag is mixed case in this file.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#tex-01
+# 
+#   Author: Jeremy Carroll
+# 
+#   $Id: test002.rdf,v 1.2 2003/05/09 10:39:49 jcarroll Exp $
+# 
+
+ [ <http://example.org/prop> "a"@en-US] .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/xmlsch-02/test001.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,23 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: the typed literal in this file is well-formed.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+# 
+#   Author: Jeremy Carroll
+# 
+#   $Id: test001.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $
+# 
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<http://www.example.org/a> <http://example.org/prop> "3"^^xsd:int .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/xmlsch-02/test002.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,23 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: the typed literal in this file is not well-formed.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+# 
+#   Author: Jeremy Carroll
+# 
+#   $Id: test002.rdf,v 1.3 2003/05/12 20:12:03 jcarroll Exp $
+# 
[email protected] xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+<http://www.example.org/a> <http://example.org/prop> " 3 "^^xsd:int .
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rdf-mt/tests/xmlsch-02/test003.ttl	Sat Sep 28 17:40:58 2013 -0700
@@ -0,0 +1,24 @@
+# 
+#   Copyright World Wide Web Consortium, (Massachusetts Institute of
+#   Technology, European Research Consortium for Informatics and
+#   Mathematics, Keio University).
+#  
+#   All Rights Reserved.
+#  
+#   Please see the full Copyright clause at
+#   <http://www.w3.org/Consortium/Legal/copyright-software.html>
+# 
+#   Description: eg:prop has a literal value.
+# 
+#   Related issue:  
+# 
+#    http://www.w3.org/2001/sw/RDFCore/20030123-issues/#xmlsch-02
+# 
+#   Author: Jeremy Carroll
+# 
+#   $Id: test003.rdf,v 1.1 2003/05/12 20:07:01 jcarroll Exp $
+# 
[email protected] rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
[email protected] rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+
+<http://www.example.org/a> <http://example.org/prop> [ a rdfs:Literal] .