add tests for rdfs:Proposition

Author: pfps

rdf/rdf12/rdf-semantics/manifest.ttl

@@ -79,6 +79,8 @@ trs:manifest a mf:Manifest;
     trs:double-round-different
     trs:double-round-same
     trs:double-infinity
+    trs:triple-terms-propositions
+    trs:reifies-range
   ) .
 
 trs:all-identical-triple-terms-are-the-same a mf:PositiveEntailmentTest;
@@ -501,3 +503,23 @@ trs:double-infinity a mf:PositiveEntailmentTest;
   mf:result <double-e401.ttl>;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
+
+trs:triple-terms-propositions a mf:PositiveEntailmentTest;
+  rdfs:comment "Triple terms are instances of rdfs:Proposition.";
+  mf:action <test001a.ttl>;
+  mf:entailmentRegime "RDFS";
+  mf:name "triple-terms-propositions";
+  mf:recognizedDatatypes ();
+  mf:result <triple-terms-propositions.ttl>;
+  mf:unrecognizedDatatypes ();
+  test:approval test:NotClassified .
+
+trs:reifies-range a mf:PositiveEntailmentTest;
+  rdfs:comment "Range of rdf:reifies is rdfs:Proposition.";
+  mf:action <reifies-rangea.ttl>;
+  mf:entailmentRegime "RDFS";
+  mf:name "reifies-range";
+  mf:recognizedDatatypes ();
+  mf:result <reifies-ranger.ttl>;
+  mf:unrecognizedDatatypes ();
+  test:approval test:NotClassified .

rdf/rdf12/rdf-semantics/reifies-rangea.ttl

@@ -0,0 +1,4 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX : <http://example.com/ns#>
+
+:a rdf:reifies :b .

rdf/rdf12/rdf-semantics/reifies-ranger.ttl

@@ -0,0 +1,5 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX : <http://example.com/ns#>
+
+:b rdf:type rdfs:Proposition .

rdf/rdf12/rdf-semantics/triple-terms-propositions.ttl

@@ -0,0 +1,5 @@
+PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+PREFIX rdfs:   <http://www.w3.org/2000/01/rdf-schema#>
+PREFIX : <http://example.com/ns#>
+
+<<( :a :b :c )>> rdf:type rdfs:Proposition .