From 4f98cb7df7f2921808d825cdcd82f95a0899640e Mon Sep 17 00:00:00 2001 From: yujiao 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 ++- src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java | 4 ++-- 2 files changed, 4 insertions(+), 3 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/reasoner') 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 equalityGroups = null; - public UFS getEqualityGroups() { - if (equalityGroups != null) return equalityGroups; + public UFS getEqualityGroups(boolean reuse) { + if (reuse && equalityGroups != null) return equalityGroups; equalityGroups = new UFS(); -- cgit v1.2.3