Replaced [I+A] with I for rdf/rdfs namespace IRIs

w3c · Jan 31, 2025 · e35b247 · e35b247
1 parent b9c0e07
commit e35b247
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/spec/index.html b/spec/index.html
@@ -1233,7 +1233,7 @@ <h2>RDFS Interpretations</h2>
     </tr>
     <tr>
     <td class="semantictable" id="rdfssemcond11"><p>If
-      exist x,y,z such that RE(x,z,y)=r, or exists x such that &lt; x,r &gt; is in IEXT([I+A](<code>rdf:reifies</code>)), <br/> then &lt; r,[I+A](<code>rdfs:Proposition</code>)&gt; is in IEXT([I+A](<code>rdf:type</code>))</p></td>
+      exist x,y,z such that RE(x,z,y)=r, or exists x such that &lt; x,r &gt; is in IEXT(I(<code>rdf:reifies</code>)), <br/> then &lt; r,I(<code>rdfs:Proposition</code>)&gt; is in IEXT(I(<code>rdf:type</code>))</p></td>
     </tr>
   </table>