fixed a bug in the process of generating gap tuples, see test in

TestGapMappedToLower.java

2 files changed, 4 insertions, 3 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 {
                 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();
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
index 11588ce..79be8aa 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java
@@ -309,8 +309,8 @@ public class BasicQueryEngine extends RDFoxQueryEngine {
         
         private UFS<String> equalityGroups = null; 
         
-        public UFS<String> getEqualityGroups() {
-                if (equalityGroups != null) return equalityGroups; 
+        public UFS<String> getEqualityGroups(boolean reuse) {
+                if (reuse && equalityGroups != null) return equalityGroups; 
 
                 equalityGroups = new UFS<String>();