Author: buildbot
Date: Sun Mar 26 05:07:17 2017
New Revision: 1009047
Log:
Staging update by buildbot for jena
Modified:
websites/staging/jena/trunk/content/ (props changed)
websites/staging/jena/trunk/content/documentation/inference/index.html
Propchange: websites/staging/jena/trunk/content/
------------------------------------------------------------------------------
--- cms:source-revision (original)
+++ cms:source-revision Sun Mar 26 05:07:17 2017
@@ -1 +1 @@
-1788665
+1788711
Modified: websites/staging/jena/trunk/content/documentation/inference/index.html
==============================================================================
--- websites/staging/jena/trunk/content/documentation/inference/index.html
(original)
+++ websites/staging/jena/trunk/content/documentation/inference/index.html Sun
Mar 26 05:07:17 2017
@@ -1355,7 +1355,7 @@ class B = cardinality(P,1)</pre>
expensive. </p>
<p>Actually, it would be possible to introduce comprehension axioms for simple
cases like this example. We have, so far, chosen not to do so. First, since
- the OWL/full closure is generally infiite, some limitation on comprehension
+ the OWL/full closure is generally infinite, some limitation on comprehension
inferences seems to be useful. Secondly, the typical queries that Jena
applications
expect to be able to issue would suddenly jump in size and cost - causing a
support nightmare. For example, queries such as (a, rdf:type, *) would become