aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java3
1 files changed, 2 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 17838ae..55ecb81 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -145,7 +145,8 @@ public class MyQueryReasoner extends QueryReasoner {
145 trackingStore.materialise("saturate named individuals", originalMarkProgram); 145 trackingStore.materialise("saturate named individuals", originalMarkProgram);
146 146
147// materialiseFullUpper(); 147// materialiseFullUpper();
148 GapByStore4ID gap = new GapByStore4ID(trackingStore); 148// GapByStore4ID gap = new GapByStore4ID(trackingStore);
149 GapByStore4ID gap = new GapByStore4ID2(trackingStore, rlLowerStore);
149 trackingStore.materialiseFoldedly(program, gap); 150 trackingStore.materialiseFoldedly(program, gap);
150 predicatesWithGap = gap.getPredicatesWithGap(); 151 predicatesWithGap = gap.getPredicatesWithGap();
151 gap.clear(); 152 gap.clear();