Fix two datatypes in manifest for Semantics tests
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Tue, 05 Nov 2013 05:43:28 -0800
changeset 1212 9935ca65012b
parent 1211 e2253ada36a1
child 1213 cc3bc281d930
Fix two datatypes in manifest for Semantics tests
rdf-mt/tests/manifest.ttl
--- a/rdf-mt/tests/manifest.ttl	Tue Nov 05 07:15:34 2013 -0500
+++ b/rdf-mt/tests/manifest.ttl	Tue Nov 05 05:43:28 2013 -0800
@@ -167,7 +167,7 @@
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
-  mf:recognizedDatatypes ( xsd:decimal xsd:string ) ;
+  mf:recognizedDatatypes ( xsd:integer xsd:string ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test006.nt>;
   mf:result false .
@@ -206,7 +206,7 @@
   """;
   rdfs:approval rdft:Approved;
   mf:entailmentRegime "RDFS" ;
-  mf:recognizedDatatypes ( rdf:XMLLiteral ) ;
+  mf:recognizedDatatypes ( xsd:integer ) ;
   mf:unrecognizedDatatypes ( ) ;
   mf:action <datatypes/test010.nt>;
   mf:result false .