Maybe fixed bug in internalisation.

1 files changed, 7 insertions, 1 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());