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 | 2 |
1 files changed, 1 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 ae57670..8cc9209 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | |||
| @@ -74,7 +74,7 @@ class MyQueryReasoner extends QueryReasoner { | |||
| 74 | program = new DatalogProgram(ontology); | 74 | program = new DatalogProgram(ontology); |
| 75 | // program.getLower().save(); | 75 | // program.getLower().save(); |
| 76 | // program.getUpper().save(); | 76 | // program.getUpper().save(); |
| 77 | // program.getGeneral().save(); | 77 | program.getGeneral().save(); |
| 78 | 78 | ||
| 79 | if(!program.getGeneral().isHorn()) | 79 | if(!program.getGeneral().isHorn()) |
| 80 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); | 80 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); |
