Automated manifest generation

Author: pfps

rdf/rdf12/rdf-semantics/index.html

@@ -1123,6 +1123,56 @@ <h2>
             </dd>
           </dl>
         </dd>
+        <dt id='triple-terms-propositions'>
+          <a class='testlink' href='#triple-terms-propositions'>
+            triple-terms-propositions:
+          </a>
+          <span about='../rdf-semantics#triple-terms-propositions' property='mf:name'>triple-terms-propositions</span>
+        </dt>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#triple-terms-propositions' typeof='mf:PositiveEntailmentTest'>
+          <div property='rdfs:comment'>
+            <p>Triple terms are instances of rdfs:Proposition.</p>
+          </div>
+          <dl class='test-detail'>
+            <dt>type</dt>
+            <dd>mf:PositiveEntailmentTest</dd>
+            <dt>approval</dt>
+            <dd property='mf:approval' resource=''></dd>
+            <dt>action</dt>
+            <dd>
+              <a href='test001a.ttl' property='mf:action'>test001a.ttl</a>
+            </dd>
+            <dt>result</dt>
+            <dd>
+              <a href='triple-terms-propositions.ttl' property='mf:result'>triple-terms-propositions.ttl</a>
+            </dd>
+          </dl>
+        </dd>
+        <dt id='reifies-range'>
+          <a class='testlink' href='#reifies-range'>
+            reifies-range:
+          </a>
+          <span about='../rdf-semantics#reifies-range' property='mf:name'>reifies-range</span>
+        </dt>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#reifies-range' typeof='mf:PositiveEntailmentTest'>
+          <div property='rdfs:comment'>
+            <p>Range of rdf:reifies is rdfs:Proposition.</p>
+          </div>
+          <dl class='test-detail'>
+            <dt>type</dt>
+            <dd>mf:PositiveEntailmentTest</dd>
+            <dt>approval</dt>
+            <dd property='mf:approval' resource=''></dd>
+            <dt>action</dt>
+            <dd>
+              <a href='reifies-rangea.ttl' property='mf:action'>reifies-rangea.ttl</a>
+            </dd>
+            <dt>result</dt>
+            <dd>
+              <a href='reifies-ranger.ttl' property='mf:result'>reifies-ranger.ttl</a>
+            </dd>
+          </dl>
+        </dd>
       </dl>
     </div>
     <footer>