fix up one more test for changes to datatyped literals
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Tue, 01 Oct 2013 16:37:28 -0700
changeset 1118 f544b3b24837
parent 1117 a3a19532aee8
child 1119 c3b079d869b6
fix up one more test for changes to datatyped literals
rdf-mt/tests/manifest.ttl
--- a/rdf-mt/tests/manifest.ttl	Tue Oct 01 16:31:32 2013 -0700
+++ b/rdf-mt/tests/manifest.ttl	Tue Oct 01 16:37:28 2013 -0700
@@ -88,18 +88,20 @@
   mf:action <datatypes-intensional/test002.nt>;
   mf:result false .
     
-<#datatypes-non-well-formed-literal-1> a mf:PositiveEntailmentTest;
+<#datatypes-non-well-formed-literal-1> a mf:NegativeEntailmentTest;
   mf:name "datatypes-non-well-formed-literal-1";
   rdfs:comment """
     Without datatype knowledge, a 'badly-formed' datatyped literal
     cannot be detected.
+  rdfs:comment """
+    Used to be a postitive test to itself.
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
   mf:recognizedDatatypes ( ) ;
   mf:unrecognizedDatatypes ( xsd:integer ) ;
   mf:action <datatypes/test002.nt>;
-  mf:result <datatypes/test002.nt> .
+  mf:result false .
     
 <#datatypes-non-well-formed-literal-2> a mf:PositiveEntailmentTest;
   mf:name "datatypes-non-well-formed-literal-2";