fixed some bugs in windows server

1 files changed, 4 insertions, 5 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 2c2feae..875dcdd 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -85,7 +85,7 @@ public class MyQueryReasoner extends QueryReasoner {
                 }                       
 
                 ontology = o; 
-                program = new DatalogProgram(ontology, !forSemFacet);
+                program = new DatalogProgram(ontology, properties.getToClassify());
 //              program.getLower().save();
 //              program.getUpper().save();
 //              program.getGeneral().save();
@@ -275,11 +275,10 @@ public class MyQueryReasoner extends QueryReasoner {
                         rlAnswer = upperStore.evaluate(queryText, answerVariables);
                         Utility.logDebug(t.duration());
                         queryRecord.updateUpperBoundAnswers(rlAnswer); 
-                        rlAnswer.dispose();
                 } finally {
                         if (rlAnswer != null) rlAnswer.dispose();
+                        rlAnswer = null;
                 }
-                rlAnswer = null;
         }
 
         @Override
@@ -296,11 +295,11 @@ public class MyQueryReasoner extends QueryReasoner {
 //              queryRecord.saveRelevantOntology("fragment_query" + queryRecord.getQueryID() + ".owl"); 
                 
                 Timer t = new Timer(); 
-                Checker summarisedChecker = new HermitSummaryFilter(queryRecord); 
+                Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT()); 
                 int validNumber = summarisedChecker.check(queryRecord.getGapAnswers()); 
                 summarisedChecker.dispose();
                 Utility.logDebug("Total time for full reasoner: " + t.duration());
-                if (!forSemFacet || validNumber == 0) { 
+                if (validNumber == 0) { 
                         queryRecord.markAsProcessed(); 
                         Utility.logDebug("Difficulty of this query: " + queryRecord.getDifficulty());
                 }