aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala b/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala
index 2ee0f64..8358359 100644
--- a/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala
+++ b/src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala
@@ -204,8 +204,8 @@ class AcquaQueryReasoner(val ontology: Ontology)
204 * @param query the query record to evaluate. 204 * @param query the query record to evaluate.
205 */ 205 */
206 def evaluate(query: QueryRecord): Unit = { 206 def evaluate(query: QueryRecord): Unit = {
207 queryLowerAndUpperBounds(query)
207 val processed = 208 val processed =
208 queryLowerAndUpperBounds(query) ||
209 queryRSALowerBound(query) || 209 queryRSALowerBound(query) ||
210 queryRSAUpperBound(query) 210 queryRSAUpperBound(query)
211 if (!processed) { 211 if (!processed) {