Change one OWL ref back to SYNTAX
authorPeter F. Patel-Schneider <pfpschneider@gmail.com>
Mon, 17 Jun 2013 10:38:13 -0700
changeset 856 5784e3c47db2
parent 855 3a3d50dd41d5
child 857 dda648397207
Change one OWL ref back to SYNTAX
rdf-mt/index.html
--- a/rdf-mt/index.html	Mon Jun 17 03:27:54 2013 -0500
+++ b/rdf-mt/index.html	Mon Jun 17 10:38:13 2013 -0700
@@ -176,9 +176,7 @@
 
 <p>A particular such set of semantic assumptions is called a <dfn>semantic extension</dfn>. Each <a>semantic extension</a> defines an <dfn>entailment regime</dfn> of entailments which are valid under that extension. RDFS, described later in this document, is one such <a>semantic extension</a>. We will refer to an entailment regime by names such as <em> RDFS entailment</em>, <em>D-entailment</em>, etc. </p>
 
-<p><a>Semantic extension</a>s MAY impose special syntactic conditions or restrictions upon RDF graphs, such as requiring certain triples to be present, or prohibiting particular combinations of IRIs in triples, and MAY consider RDF graphs which do not conform to these conditions to be errors. For example, RDF statements of the form <br/><br/>
-<code>ex:a rdfs:subClassOf "Thing"^^xsd:string .</code><br/><br/>
-are prohibited in the OWL-DL [[[OWL2-PROFILES]] <a>semantic extension</a>. In such cases, basic RDF operations such as taking a subset of triples, or merging RDF graphs, may cause syntax errors in parsers which recognize the extension conditions. None of the <a>semantic extension</a>s normatively defined in this document impose such syntactic restrictions on RDF graphs.</p>
+<p><a>Semantic extension</a>s MAY impose special syntactic conditions or restrictions upon RDF graphs, such as requiring certain triples to be present, or prohibiting particular combinations of IRIs in triples, and MAY consider RDF graphs which do not conform to these conditions to be errors. For example, RDF statements of the form <br/><br/> <code>ex:a rdfs:subClassOf "Thing"^^xsd:string .</code><br/><br/> are prohibited in the OWL <a>semantic extension</a> based on description logics [[[OWL2-SYNTAX]]. In such cases, basic RDF operations such as taking a subset of triples, or merging RDF graphs, may cause syntax errors in parsers which recognize the extension conditions. None of the <a>semantic extension</a>s normatively defined in this document impose such syntactic restrictions on RDF graphs.</p>
 
 <p>All entailment regimes MUST be <a>monotonic</a> extensions of the simple entailment regime described in the document, in the sense that if A <a>simply entails</a> B then A also entails B under any extended notion of entailment, provided that any syntactic conditions of the extension are also satisfied. Put another way, a <a>semantic extension</a> cannot "cancel" an entailment made by a weaker entailment regime, although it can treat the result as a syntax error.</p>
     </section>