corrected ref
authorGuus Schreiber <guus.schreiber@vu.nl>
Mon, 16 Dec 2013 00:41:34 +0100
changeset 1592 dc51f55c9dcd
parent 1591 644137f9b070
child 1593 60e47ae395f6
corrected ref
rdf-dataset/index.html
--- a/rdf-dataset/index.html	Mon Dec 16 00:38:53 2013 +0100
+++ b/rdf-dataset/index.html	Mon Dec 16 00:41:34 2013 +0100
@@ -436,8 +436,8 @@
 	</section>
 
 	<section>
-		<h3 id="relation-with-sparql-er">Relationship with SPARQL entailment regime</h3>
-		<p>There is a strong relationship between SPARQL ASK queries with an entailment regime [[SPARQL11-ENTAILMENT-REGIMES]] and inferences in the regime. If an ASK query does not contain variables and its WHERE clause only contains a basic graph pattern, then the query can be seen as an RDF graph. If such a graph query <var>Q</var> returns <code>true</code> when issued against an RDF graph <var>G</var> with entailment regime <var>E</var>, then <var>G</var> <var>E</var>-entails <var>Q</var>. If it returns <code>false</code>, then <var>G</var> does not <var>E</var>-entail <var>Q</var>.</p>
+		<h3 id="relation-with-sparql-e">Relationship with SPARQL entailment regime</h3>
+		<p>There is a strong relationship between SPARQL ASK queries with an entailment regime [[SPARQL11-ENTAILMENT]] and inferences in the regime. If an ASK query does not contain variables and its WHERE clause only contains a basic graph pattern, then the query can be seen as an RDF graph. If such a graph query <var>Q</var> returns <code>true</code> when issued against an RDF graph <var>G</var> with entailment regime <var>E</var>, then <var>G</var> <var>E</var>-entails <var>Q</var>. If it returns <code>false</code>, then <var>G</var> does not <var>E</var>-entail <var>Q</var>.</p>
 		<p>A dataset semantics can also be compared to what ASK queries return when they do not contain variables but may contain basic graph patterns or graph graph patterns. For instance, consider the dataset:</p>
 		<pre class="example">{ }
 :g1 { :x  rdf:type  :c .