fix some semantics tests, mostly because triple terms are now transparent (#200)

* fix some tests, mostly because triple terms are now transparent

* Automated manifest generation

* Manifest changes suggested by @TallTed.

* Manually update indexes.

---------

Co-authored-by: pfps <[email protected]>
Co-authored-by: Gregg Kellogg <[email protected]>

Author: pfps

rdf/rdf12/rdf-semantics/index.html

@@ -89,7 +89,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#all-identical-triple-terms-are-the-same' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Multiple occurences of the same triple terms are undistinguishable in the abstract model.</p>
+            <p>Multiple occurrences of the same triple term are the same domain element.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -110,7 +110,7 @@ <h2>
           <a class='testlink' href='#triple-terms-no-spurious'>
             triple-terms-no-spurious:
           </a>
-          <span about='../rdf-semantics#triple-terms-no-spurious' property='mf:name'>quoted-triples-no-spurious</span>
+          <span about='../rdf-semantics#triple-terms-no-spurious' property='mf:name'>triple-terms-no-spurious</span>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#triple-terms-no-spurious' typeof='mf:NegativeEntailmentTest'>
           <div property='rdfs:comment'>
@@ -408,13 +408,13 @@ <h2>
           </a>
           <span about='../rdf-semantics#malformed-literal' property='mf:name'>malformed-literal</span>
         </dt>
-        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#malformed-literal' typeof='mf:NegativeEntailmentTest'>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#malformed-literal' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Malformed literals are allowed when in triple terms.</p>
+            <p>Malformed literals are allowed in triple terms, but cause inconsistency.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
-            <dd>mf:NegativeEntailmentTest</dd>
+            <dd>mf:PositiveEntailmentTest</dd>
             <dt>approval</dt>
             <dd property='mf:approval' resource=''></dd>
             <dt>action</dt>
@@ -477,11 +477,11 @@ <h2>
           <a class='testlink' href='#malformed-literal-bnode-neg'>
             malformed-literal-bnode-neg:
           </a>
-          <span about='../rdf-semantics#malformed-literal-bnode-neg' property='mf:name'>malformed-literal-bnode</span>
+          <span about='../rdf-semantics#malformed-literal-bnode-neg' property='mf:name'>malformed-literal-bnode-neg</span>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#malformed-literal-bnode-neg' typeof='mf:NegativeEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Malformed literals can not be replaced by blank nodes.</p>
+            <p>Malformed literals cannot be replaced by blank nodes.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -506,7 +506,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-literal-control' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Checks that xsd:integer is indeed recognized, to ensure that opaque-literal does not pass spuriously.</p>
+            <p>Checks that xsd:integer is indeed recognized; was to ensure that opaque-literal did not pass spuriously.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -529,13 +529,13 @@ <h2>
           </a>
           <span about='../rdf-semantics#opaque-literal' property='mf:name'>opaque-literal</span>
         </dt>
-        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-literal' typeof='mf:NegativeEntailmentTest'>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-literal' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Literals within triple terms are opaque, even when their datatype is recognized.</p>
+            <p>Literals within triple terms are transparent.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
-            <dd>mf:NegativeEntailmentTest</dd>
+            <dd>mf:PositiveEntailmentTest</dd>
             <dt>approval</dt>
             <dd property='mf:approval' resource=''></dd>
             <dt>action</dt>
@@ -556,7 +556,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-language-string-control' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Checks that language strings are indeed recognized, to ensure that opaque-language-string does not pass spuriously.</p>
+            <p>Checks that language strings are indeed recognized; was to ensure that opaque-language-string did not pass spuriously.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -579,13 +579,13 @@ <h2>
           </a>
           <span about='../rdf-semantics#opaque-language-string' property='mf:name'>opaque-language-string</span>
         </dt>
-        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-language-string' typeof='mf:NegativeEntailmentTest'>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-language-string' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Literals within reifying terms (including language strings) are opaque, even when their datatype is recognized.</p>
+            <p>Literals within reifying terms (including language strings) are transparent.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
-            <dd>mf:NegativeEntailmentTest</dd>
+            <dd>mf:PositiveEntailmentTest</dd>
             <dt>approval</dt>
             <dd property='mf:approval' resource=''></dd>
             <dt>action</dt>
@@ -606,7 +606,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-iri-control' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Check that owl:sameAs works as expected, to ensure that opaque-iri does not pass spuriously.</p>
+            <p>Check that owl:sameAs works as expected; was to ensure that opaque-iri did not pass spuriously.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -629,13 +629,13 @@ <h2>
           </a>
           <span about='../rdf-semantics#opaque-iri' property='mf:name'>opaque-iri</span>
         </dt>
-        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-iri' typeof='mf:NegativeEntailmentTest'>
+        <dd inlist='true' property='mf:entry' resource='../rdf-semantics#opaque-iri' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Triple term IRIs are opaque.</p>
+            <p>Triple term IRIs are transparent.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
-            <dd>mf:NegativeEntailmentTest</dd>
+            <dd>mf:PositiveEntailmentTest</dd>
             <dt>approval</dt>
             <dd property='mf:approval' resource=''></dd>
             <dt>action</dt>
@@ -681,7 +681,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#annotated-asserted' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Annotated triples are asserted.</p>
+            <p>Annotated triples are asserted. This is about shorthand expansion, and is not really a semantics test.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -706,7 +706,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#annotation' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Annotation are about the reifying triple.</p>
+            <p>Annotations are about the reifying triple. This is about shorthand expansion, and is not really a semantics test.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>
@@ -731,7 +731,7 @@ <h2>
         </dt>
         <dd inlist='true' property='mf:entry' resource='../rdf-semantics#annotation-unfolded' typeof='mf:PositiveEntailmentTest'>
           <div property='rdfs:comment'>
-            <p>Annotation is the same as separate assertions.</p>
+            <p>Annotations are the same as separate assertions. This is about shorthand expansion, and is not really a semantics test.</p>
           </div>
           <dl class='test-detail'>
             <dt>type</dt>

rdf/rdf12/rdf-semantics/manifest.ttl

@@ -84,7 +84,7 @@ trs:manifest a mf:Manifest;
   ) .
 
 trs:all-identical-triple-terms-are-the-same a mf:PositiveEntailmentTest;
-  rdfs:comment "Multiple occurences of the same triple terms are undistinguishable in the abstract model.";
+  rdfs:comment "Multiple occurrences of the same triple term are the same domain element.";
   mf:action <test001a.ttl>;
   mf:entailmentRegime "simple";
   mf:name "all-identical-triple-terms-are-the-same";
@@ -94,7 +94,7 @@ trs:all-identical-triple-terms-are-the-same a mf:PositiveEntailmentTest;
   test:approval test:NotClassified .
 
 trs:annotated-asserted a mf:PositiveEntailmentTest;
-  rdfs:comment "Annotated triples are asserted.";
+  rdfs:comment "Annotated triples are asserted.  This is about shorthand expansion, and is not really a semantics test.";
   mf:action <test007a.ttl>;
   mf:entailmentRegime "simple";
   mf:name "annotated-asserted";
@@ -104,7 +104,7 @@ trs:annotated-asserted a mf:PositiveEntailmentTest;
   test:approval test:NotClassified .
 
 trs:annotation a mf:PositiveEntailmentTest;
-  rdfs:comment "Annotation are about the reifying triple.";
+  rdfs:comment "Annotations are about the reifying triple.  This is about shorthand expansion, and is not really a semantics test.";
   mf:action <test007a.ttl>;
   mf:entailmentRegime "simple";
   mf:name "annotation";
@@ -114,7 +114,7 @@ trs:annotation a mf:PositiveEntailmentTest;
   test:approval test:NotClassified .
 
 trs:annotation-unfolded a mf:PositiveEntailmentTest;
-  rdfs:comment "Annotation is the same as separate assertions.";
+  rdfs:comment "Annotations are the same as separate assertions.  This is about shorthand expansion, and is not really a semantics test.";
   mf:action <test007a2.ttl>;
   mf:entailmentRegime "simple";
   mf:name "annotation-unfolded";
@@ -227,14 +227,14 @@ trs:triple-terms-no-spurious a mf:NegativeEntailmentTest;
   rdfs:comment "This test ensures that other entailments are not spurious.";
   mf:action <test002a.ttl>;
   mf:entailmentRegime "simple";
-  mf:name "quoted-triples-no-spurious";
+  mf:name "triple-terms-no-spurious";
   mf:recognizedDatatypes ();
   mf:result <test005.ttl>;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:malformed-literal a mf:NegativeEntailmentTest;
-  rdfs:comment "Malformed literals are allowed when in triple terms.";
+trs:malformed-literal a mf:PositiveEntailmentTest;
+  rdfs:comment "Malformed literals are allowed in triple terms, but cause inconsistency.";
   mf:action <malformed-literal.ttl>;
   mf:entailmentRegime "RDF";
   mf:name "malformed-literal";
@@ -254,10 +254,10 @@ trs:malformed-literal-accepted a mf:PositiveEntailmentTest;
   test:approval test:NotClassified .
 
 trs:malformed-literal-bnode-neg a mf:NegativeEntailmentTest;
-  rdfs:comment "Malformed literals can not be replaced by blank nodes.";
+  rdfs:comment "Malformed literals cannot be replaced by blank nodes.";
   mf:action <malformed-literal.ttl>;
   mf:entailmentRegime "RDF";
-  mf:name "malformed-literal-bnode";
+  mf:name "malformed-literal-bnode-neg";
   mf:recognizedDatatypes (xsd:integer);
   mf:result <test002or.ttl>;
   mf:unrecognizedDatatypes ();
@@ -283,8 +283,8 @@ trs:malformed-literal-no-spurious a mf:NegativeEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:opaque-iri a mf:NegativeEntailmentTest;
-  rdfs:comment "Triple term IRIs are opaque.";
+trs:opaque-iri a mf:PositiveEntailmentTest;
+  rdfs:comment "Triple term IRIs are transparent.";
   mf:action <superman.ttl>;
   mf:entailmentRegime "RDFS-Plus";
   mf:name "opaque-iri";
@@ -294,7 +294,7 @@ trs:opaque-iri a mf:NegativeEntailmentTest;
   test:approval test:NotClassified .
 
 trs:opaque-iri-control a mf:PositiveEntailmentTest;
-  rdfs:comment "Check that owl:sameAs works as expected, to ensure that opaque-iri does not pass spuriously.";
+  rdfs:comment "Check that owl:sameAs works as expected; was to ensure that opaque-iri did not pass spuriously.";
   mf:action <control-sameas-a.ttl>;
   mf:entailmentRegime "RDFS-Plus";
   mf:name "opaque-iri-control";
@@ -303,8 +303,8 @@ trs:opaque-iri-control a mf:PositiveEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:opaque-language-string a mf:NegativeEntailmentTest;
-  rdfs:comment "Literals within reifying terms (including language strings) are opaque, even when their datatype is recognized.";
+trs:opaque-language-string a mf:PositiveEntailmentTest;
+  rdfs:comment "Literals within reifying terms (including language strings) are transparent.";
   mf:action <lowercase-language-string.ttl>;
   mf:entailmentRegime "RDF";
   mf:name "opaque-language-string";
@@ -314,7 +314,7 @@ trs:opaque-language-string a mf:NegativeEntailmentTest;
   test:approval test:NotClassified .
 
 trs:opaque-language-string-control a mf:PositiveEntailmentTest;
-  rdfs:comment "Checks that language strings are indeed recognized, to ensure that opaque-language-string does not pass spuriously.";
+  rdfs:comment "Checks that language strings are indeed recognized; was to ensure that opaque-language-string did not pass spuriously.";
   mf:action <lowercase-language-string-control.ttl>;
   mf:entailmentRegime "RDF";
   mf:name "opaque-language-string-control";
@@ -323,8 +323,8 @@ trs:opaque-language-string-control a mf:PositiveEntailmentTest;
   mf:unrecognizedDatatypes ();
   test:approval test:NotClassified .
 
-trs:opaque-literal a mf:NegativeEntailmentTest;
-  rdfs:comment "Literals within triple terms are opaque, even when their datatype is recognized.";
+trs:opaque-literal a mf:PositiveEntailmentTest;
+  rdfs:comment "Literals within triple terms are transparent.";
   mf:action <non-canonical-literal.ttl>;
   mf:entailmentRegime "RDF";
   mf:name "opaque-literal";
@@ -334,7 +334,7 @@ trs:opaque-literal a mf:NegativeEntailmentTest;
   test:approval test:NotClassified .
 
 trs:opaque-literal-control a mf:PositiveEntailmentTest;
-  rdfs:comment "Checks that xsd:integer is indeed recognized, to ensure that opaque-literal does not pass spuriously.";
+  rdfs:comment "Checks that xsd:integer is indeed recognized; was to ensure that opaque-literal did not pass spuriously.";
   mf:action <non-canonical-literal-control.ttl>;
   mf:entailmentRegime "RDF";
   mf:name "opaque-literal-control";

rdf/rdf12/rdf-semantics/test001a.ttl

@@ -1,4 +1,3 @@
 prefix : <http://example.com/ns#>
 
 :a1 :p1 <<( :a :b :c )>> .
-:a1 :p1 <<( :a :b :c )>> .