From 4f98cb7df7f2921808d825cdcd82f95a0899640e Mon Sep 17 00:00:00 2001
From: yujiao <yujiao.zhou@gmail.com>
Date: Mon, 25 May 2015 22:07:14 -0700
Subject: fixed a bug in the process of generating gap tuples, see test in
 TestGapMappedToLower.java

---
 src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 3 ++-
 1 file changed, 2 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 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 {
 		trackingStore.materialise("saturate named individuals", originalMarkProgram);
 		
 //		materialiseFullUpper();
-		GapByStore4ID gap = new GapByStore4ID(trackingStore); 
+//		GapByStore4ID gap = new GapByStore4ID(trackingStore); 
+		GapByStore4ID gap = new GapByStore4ID2(trackingStore, rlLowerStore); 
 		trackingStore.materialiseFoldedly(program, gap);
 		predicatesWithGap = gap.getPredicatesWithGap(); 
 		gap.clear();
-- 
cgit v1.2.3