diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 3 |
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(); |
