From 2ebd0c8c4fd421dd676004e559b69ed8e5c9bb49 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Sun, 15 May 2022 19:28:02 +0100
Subject: Finalise implementation of ACQuA query reasoner

---
 src/main/java/uk/ac/ox/cs/pagoda/query/QueryRecord.java | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'src/main/java')

diff --git a/src/main/java/uk/ac/ox/cs/pagoda/query/QueryRecord.java b/src/main/java/uk/ac/ox/cs/pagoda/query/QueryRecord.java
index 5fa1b23..1fb4ed7 100644
--- a/src/main/java/uk/ac/ox/cs/pagoda/query/QueryRecord.java
+++ b/src/main/java/uk/ac/ox/cs/pagoda/query/QueryRecord.java
@@ -668,13 +668,13 @@ public class QueryRecord extends Disposable {
     }
 
     public boolean updateUpperBoundAnswers(AnswerTuples answerTuples, boolean toCheckAux) {
-        RDFoxAnswerTuples rdfAnswerTuples;
-        if(answerTuples instanceof RDFoxAnswerTuples)
-            rdfAnswerTuples = (RDFoxAnswerTuples) answerTuples;
-        else {
-            Utility.logError("The upper bound must be computed by RDFox!");
-            return false;
-        }
+        // RDFoxAnswerTuples rdfAnswerTuples;
+        // if(answerTuples instanceof RDFoxAnswerTuples)
+        //     rdfAnswerTuples = (RDFoxAnswerTuples) answerTuples;
+        // else {
+        //     Utility.logError("The upper bound must be computed by RDFox!");
+        //     return false;
+        // }
 
         if(soundAnswerTuples.size() > 0) {
             int number = 0;
@@ -697,7 +697,7 @@ public class QueryRecord extends Disposable {
         Set<AnswerTuple> tupleSet = new HashSet<AnswerTuple>();
         AnswerTuple tuple, extendedTuple;
         for(; answerTuples.isValid(); answerTuples.moveNext()) {
-            extendedTuple = rdfAnswerTuples.getTuple();
+            extendedTuple = answerTuples.getTuple();
             if(isBottom() || !extendedTuple.hasAnonymousIndividual()) {
                 tuple = AnswerTuple.create(extendedTuple, answerVariables[0].length);
                 if((!toCheckAux || !tuple.hasAuxPredicate()) && !soundAnswerTuples.contains(tuple)) {
-- 
cgit v1.2.3