encodes > denotes

Author: william-vw

spec/index.html

@@ -467,7 +467,7 @@ <h3>Working with Multiple RDF Graphs</h3>
   <section id="entailment">
     <h3>Equivalence, Entailment and Inconsistency</h3>
 
-    <p>An <a>RDF triple</a> encodes a <dfn class="export">proposition</dfn> — a
+    <p>An <a>RDF triple</a> denotes a <dfn class="export">proposition</dfn> — a
       simple logical expression, describing a relationship between two entities.
       An [=asserted triple=] is a claim that the corresponding proposition is true.
       An <a>RDF graph</a> is the conjunction (logical <em>AND</em>) of