Add test for entailment of literal type

Author: niklasl

rdf/rdf12/rdf-semantics/literal-type.ttl

@@ -0,0 +1,7 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
+PREFIX : <http://example.com/ns#>
+
+:a :b _:x .
+_:x rdf:type xsd:integer .

rdf/rdf12/rdf-semantics/manifest.ttl

@@ -49,6 +49,7 @@ trs:manifest a mf:Manifest;
     trs:constrained-bnodes-in-triple-term-object
     trs:constrained-bnodes-in-triple-term-fail
     trs:constrained-bnodes-on-literal
+    trs:literal-type
     trs:malformed-literal-control
     trs:malformed-literal
     trs:malformed-literal-accepted
@@ -235,6 +236,16 @@ trs:triple-terms-no-spurious a mf:NegativeEntailmentTest;
   mf:unrecognizedDatatypes ();
   rdft:approval rdft:NotClassified .
 
+trs:literal-type a mf:PositiveEntailmentTest;
+  rdfs:comment "Literals denote instances of their datatype.";
+  mf:action <canonical-literal-control.ttl>;
+  mf:entailmentRegime "RDF";
+  mf:name "literal-type";
+  mf:recognizedDatatypes (xsd:integer);
+  mf:result <literal-type.ttl>;
+  mf:unrecognizedDatatypes ();
+  test:approval test:NotClassified .
+
 trs:malformed-literal a mf:PositiveEntailmentTest;
   rdfs:comment "Malformed literals are allowed in triple terms, but cause inconsistency.";
   mf:action <malformed-literal.ttl>;