Remove semantics tests and test files which had been withdrawn and were not referenced in entries.

Author: gkellogg

rdf/rdf12/rdf-semantics/manifest.ttl

@@ -251,16 +251,6 @@ trs:malformed-literal-accepted a mf:PositiveEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:malformed-literal-bnode a mf:PositiveEntailmentTest;
-  rdfs:comment "Malformed literals can be replaced by blank nodes (withdrawn as the current semantics does not enforce this).";
-  mf:action <malformed-literal.ttl>;
-  mf:entailmentRegime "RDF";
-  mf:name "malformed-literal-bnode";
-  mf:recognizedDatatypes (xsd:integer);
-  mf:result <test002or.ttl>;
-  mf:unrecognizedDatatypes ();
-  test:approval test:Withdrawn .
-
 trs:malformed-literal-bnode-neg a mf:NegativeEntailmentTest;
   rdfs:comment "Malformed literals can not be replaced by blank nodes.";
   mf:action <malformed-literal.ttl>;
@@ -271,26 +261,6 @@ trs:malformed-literal-bnode-neg a mf:NegativeEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:malformed-literal-bnode-2 a mf:PositiveEntailmentTest;
-  rdfs:comment "Identical malformed literals can be replaced with the same blank node  (withdrawn as the current semantics does not enforce this).";
-  mf:action <malformed-literal-2a.ttl>;
-  mf:entailmentRegime "RDF";
-  mf:name "malformed-literal-bnode-2";
-  mf:recognizedDatatypes (xsd:integer);
-  mf:result <malformed-literal-2r.ttl>;
-  mf:unrecognizedDatatypes ();
-  test:approval test:Withdrawn .
-
-trs:malformed-literal-bnode-3 a mf:NegativeEntailmentTest;
-  rdfs:comment "Identical malformed literals can not be replaced with the same blank node (withdrawn as the current semantics does not enforce this).";
-  mf:action <malformed-literal-3a.ttl>;
-  mf:entailmentRegime "RDF";
-  mf:name "malformed-literal-bnode-3";
-  mf:recognizedDatatypes (xsd:integer);
-  mf:result <malformed-literal-3r.ttl>;
-  mf:unrecognizedDatatypes ();
-  test:approval test:Withdrawn .
-
 trs:malformed-literal-control a mf:PositiveEntailmentTest;
   rdfs:comment "Checks that xsd:integer is indeed recognized, to ensure that malformed-literal-* tests do not pass spuriously.";
   mf:action <malformed-literal-control.ttl>;
@@ -381,26 +351,6 @@ trs:same-bnode-same-triple-term a mf:PositiveEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:triple-in-object a mf:PositiveEntailmentTest;
-  rdfs:comment "Triple terms can appear in object position (withdrawn, as it belongs to concrete syntax test-suites).";
-  mf:action <test000o.ttl>;
-  mf:entailmentRegime "simple";
-  mf:name "triple-in-object";
-  mf:recognizedDatatypes ();
-  mf:result <test000o.ttl>;
-  mf:unrecognizedDatatypes ();
-  test:approval test:Withdrawn .
-
-trs:triple-in-subject a mf:PositiveEntailmentTest;
-  rdfs:comment "Quoted triples can appear in subject position (withdrawn, as it belongs to concrete syntax test-suites).";
-  mf:action <test000s.ttl>;
-  mf:entailmentRegime "simple";
-  mf:name "triple-in-subject";
-  mf:recognizedDatatypes ();
-  mf:result <test000s.ttl>;
-  mf:unrecognizedDatatypes ();
-  test:approval test:Withdrawn .
-
 trs:json-array-ordered a mf:NegativeEntailmentTest;
   rdfs:comment "Arrays are ordered in rdf:JSON.";
   mf:action <json-array-1.ttl>;