aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
diff options
context:
space:
mode:
authoryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-28 17:13:55 +0100
committeryzhou <yzhou@krr-linux.cs.ox.ac.uk>2015-04-28 17:13:55 +0100
commit4013a9d33d0f1a06b87d12dd0543912c53bba137 (patch)
tree717d2ef6f8743031af689b2cd6f94ffc55fd5e70 /src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
parent30b5afef93bdb4f0ee0e7647fb0dd3d9c84e452a (diff)
downloadACQuA-4013a9d33d0f1a06b87d12dd0543912c53bba137.tar.gz
ACQuA-4013a9d33d0f1a06b87d12dd0543912c53bba137.zip
pass the wine realisation
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 875dcdd..17838ae 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -296,13 +296,14 @@ public class MyQueryReasoner extends QueryReasoner {
296 296
297 Timer t = new Timer(); 297 Timer t = new Timer();
298 Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT()); 298 Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT());
299 int validNumber = summarisedChecker.check(queryRecord.getGapAnswers()); 299// int validNumber =
300 summarisedChecker.check(queryRecord.getGapAnswers());
300 summarisedChecker.dispose(); 301 summarisedChecker.dispose();
301 Utility.logDebug("Total time for full reasoner: " + t.duration()); 302 Utility.logDebug("Total time for full reasoner: " + t.duration());
302 if (validNumber == 0) { 303// if (validNumber == 0) {
303 queryRecord.markAsProcessed(); 304 queryRecord.markAsProcessed();
304 Utility.logDebug("Difficulty of this query: " + queryRecord.getDifficulty()); 305 Utility.logDebug("Difficulty of this query: " + queryRecord.getDifficulty());
305 } 306// }
306 } 307 }
307 308
308 @Override 309 @Override