rdf-mt/tests/manifest.ttl
changeset 2035 1fda78347d91
parent 1637 3fb32045d378
--- a/rdf-mt/tests/manifest.ttl	Tue Jun 17 17:30:15 2014 +0100
+++ b/rdf-mt/tests/manifest.ttl	Sat Nov 29 09:59:49 2014 +0100
@@ -67,7 +67,7 @@
     incompatible with using the intensional semantics for
     datatypes.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -81,7 +81,7 @@
     incompatible with using the intensional semantics for
     datatypes.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:integer xsd:string ) ;
 ## This used to be incorrect.
@@ -98,7 +98,7 @@
   rdfs:comment """
     Used to be a postitive test to itself.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( xsd:integer ) ;
@@ -115,7 +115,7 @@
     Ill-formed datatyped literals now are inconsistent.
     Used to be negative entailment to <datatypes/test002b.nt>
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -128,7 +128,7 @@
     Demonstrating the semantic equivalence of two lexical forms of
     the same datatyped value.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -141,7 +141,7 @@
     As semantic-equivalence-within-type-1; the entailment works
     both ways.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -153,7 +153,7 @@
   rdfs:comment """
     Members of different datatypes may be semantically equivalent.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( xsd:decimal xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -166,7 +166,7 @@
     Where sufficient DT knowledge is available, a range clash may
     be detected; the document then contains a contradiction.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:integer xsd:string ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -179,7 +179,7 @@
     From decisions listed in
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "simple" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -192,7 +192,7 @@
     From decisions listed in
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "simple" ;
   mf:recognizedDatatypes (  ) ;
   mf:unrecognizedDatatypes ( xsd:integer ) ;
@@ -205,7 +205,7 @@
     From decisions listed in
     http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Oct/0098.html
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -218,7 +218,7 @@
     A plain literal denotes the same thing as its corresponding
     xsd:string, where one exists.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:string ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -230,7 +230,7 @@
   rdfs:comment """
     rdfs:subClassOf has intensional semantics, not extensional.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -242,7 +242,7 @@
   rdfs:comment """
     rdfs:subPropertyOf has intensional semantics, not extensional.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -257,7 +257,7 @@
   rdfs:comment """
     Duplicate of xmlsch-02-whitespace-facet-3, so this has been removed.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -271,7 +271,7 @@
     different nodes in the graph. No model theoretic relationship
     holds between them.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -285,7 +285,7 @@
     different nodes in the graph. No model theoretic relationship
     holds between them.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -297,7 +297,7 @@
   rdfs:comment """
     Statement of the MT closure rule.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -309,7 +309,7 @@
   rdfs:comment """
     Statement of the MT closure rule.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -321,7 +321,7 @@
   rdfs:comment """
     Statement of the MT closure rule.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -334,7 +334,7 @@
     Plain literals are distinguishable on the basis of language
     tags.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "simple" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -347,7 +347,7 @@
     Plain literals are distinguishable on the basis of language
     tags.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "simple" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -360,7 +360,7 @@
     Plain literals are distinguishable on the basis of language
     tags.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "simple" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -373,7 +373,7 @@
     While it is a superproperty, _:a <rdfs:contains (@@member?)>
     _:b . does NOT entail _:a <rdf:_n> _:b . for any _n.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -389,7 +389,7 @@
     non-entailment for RDFS reasoning, but may hold in semantic
     extensions.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -405,7 +405,7 @@
     a non-entailment for RDFS reasoning, but may hold in semantic
     extensions.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -422,7 +422,7 @@
   rdfs:comment """
     rdf:XMLLiteral support is no longer mandatory.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -438,7 +438,7 @@
     Use to be from an inconsistent graph, any entailment can be drawn. This
     is an example.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:string rdf:langString ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -452,7 +452,7 @@
     Cycles are permitted in subClassOf; therefore, no error occurs
     and the following entailment holds trivially.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -465,7 +465,7 @@
     Cycles are permitted in subPropertyOf; therefore, no error
     occurs and the following entailment holds trivially.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -483,7 +483,7 @@
     This test is encoded as follows: a Property may have a
     subclass (that is, such an RDF graph is satisfiable)
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -497,7 +497,7 @@
     needs to be clarified. => subProperties inherit conjunctively
     the domain and range of their superproperties
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -511,7 +511,7 @@
     not a statement. The following entailment does not, therefore,
     hold.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -525,7 +525,7 @@
     reification. The following entailment does not, therefore,
     hold.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -539,7 +539,7 @@
     not a statement. The following entailment does not, therefore,
     hold. This is the same as test001, but using RDFS-entailment.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -553,7 +553,7 @@
     reification. The following entailment does not, therefore,
     hold. This is the same as test002, but using RDFS-entailment.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -565,7 +565,7 @@
   rdfs:comment """
     The case of the language tag is not significant.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -577,7 +577,7 @@
   rdfs:comment """
     The case of the language tag is not significant.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDF" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -590,7 +590,7 @@
     A well-formed typed literal is not related to an ill-formed
     literal. Even if they only differ by whitespace.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:int ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -607,7 +607,7 @@
     Ill-formed datatyped literals now are inconsistent.
     Used to be negative entailment to <xmlsch-02/test001.ttl> .
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:int ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -619,7 +619,7 @@
   rdfs:comment """
     A simple test for well-formedness of a typed literal.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:int ) ;
   mf:unrecognizedDatatypes ( ) ;
@@ -635,7 +635,7 @@
     Ill-formed datatyped literals now are inconsistent.
     Used to be negative entailment.
   """;
-  rdfs:approval rdft:Approved;
+  rdft:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( xsd:int ) ;
   mf:unrecognizedDatatypes ( ) ;