From 8c04e4d8003f33848ee84011f8427fe92d55001f Mon Sep 17 00:00:00 2001
From: RncLsn <rnc.lsn@gmail.com>
Date: Fri, 5 Jun 2015 12:22:31 +0100
Subject: Violation statistics.

---
 src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 727f80d..e6e508a 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -370,7 +370,7 @@ class MyQueryReasoner extends QueryReasoner {
 
         relevantStore.importDataFromABoxOf(relevantSubset);
 
-        int queryDependentMaxTermDepth = 1; // TODO make it dynamic
+        int queryDependentMaxTermDepth = 5; // TODO make it dynamic
         int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null,
                                                                    queryDependentMaxTermDepth);
         queryRecord.addProcessingTime(Step.SKOLEM_UPPER_BOUND, t.duration());
@@ -386,6 +386,8 @@ class MyQueryReasoner extends QueryReasoner {
         boolean isFullyProcessed = queryUpperStore(relevantStore, queryRecord,
                                                    queryRecord.getExtendedQueryText(),
                                                    Step.SKOLEM_UPPER_BOUND);
+
+        relevantStore.dispose();
         Utility.logInfo("Semi-Skolemised relevant upper store has been evaluated");
         return isFullyProcessed;
     }
-- 
cgit v1.2.3