From 6bfca605a1c76dfe73b123ec96bd49d084860866 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 18 May 2022 15:33:05 +0100
Subject: feat(lower-bound): always compute the lower bound from RSAComb

---
 src/main/scala/uk/ac/ox/cs/acqua/reasoner/AcquaQueryReasoner.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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)
     * @param query the query record to evaluate.
     */
   def evaluate(query: QueryRecord): Unit = {
+    queryLowerAndUpperBounds(query)
     val processed =
-      queryLowerAndUpperBounds(query) ||
       queryRSALowerBound(query) ||
       queryRSAUpperBound(query)
     if (!processed) {
-- 
cgit v1.2.3