Maybe fixed bug in internalisation.

3 files changed, 9 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 93fbc98..0b02e5a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -189,12 +189,18 @@ class MyQueryReasoner extends QueryReasoner {
             return;
 
         OWLOntology relevantOntologySubset = extractRelevantOntologySubset(queryRecord);
-//        queryRecord.saveRelevantOntology("./fragment_query" + queryRecord.getQueryID() + ".owl");
+        queryRecord.saveRelevantOntology("/home/alessandro/Desktop/test-relevant-ontology.owl");
 
+//        int gapAnswersCount = queryRecord.getGapAnswersCount();
         if(properties.getUseSkolemUpperBound() &&
                 querySkolemisedRelevantSubset(relevantOntologySubset, queryRecord))
             return;
 
+//        // TODO extract from the previous relevant ontology
+//        // TODO implement details or remove it
+//        if(queryRecord.getGapAnswersCount() < gapAnswersCount)
+//            extractRelevantOntologySubset(queryRecord); // takes the relevant ontology from the record
+
         Timer t = new Timer();
         Checker summarisedChecker = new HermitSummaryFilter(queryRecord, properties.getToCallHermiT());
         summarisedChecker.check(queryRecord.getGapAnswers());
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
index 3a057ec..e8daa3b 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/QueryReasoner.java
@@ -206,7 +206,7 @@ public abstract class QueryReasoner extends Disposable {
                    if you call twice, you will end up with a json file with multiple roots */
         if(answerWriter != null) gson.toJson(queryRecords, answerWriter);
 //              queryRecords.stream().forEach(record -> Utility.logDebug(gson.toJson(record)));
-        queryRecords.stream().forEach(record -> record.dispose());
+        queryRecords.stream().forEach(QueryRecord::dispose);
     }
 
     @Override
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
index 35db0f2..9cfc773 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
@@ -101,6 +101,7 @@ public class HermitChecker extends Checker {
 
 //              for (OWLAxiom axiom: toCheckAxioms)     System.out.println(axiom.toString());
 
+//              Utility.logInfo(toCheckAxioms);
                 if(hermit.isEntailed(toCheckAxioms)) {
                         Utility.logDebug("@TIME to check one tuple: " + t.duration());
                         return true;