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 | 6 |
1 files changed, 3 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 04b2c65..e5074d5 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | |||
| @@ -68,9 +68,9 @@ class MyQueryReasoner extends QueryReasoner { | |||
| 68 | 68 | ||
| 69 | ontology = o; | 69 | ontology = o; |
| 70 | program = new DatalogProgram(ontology, properties.getToClassify()); | 70 | program = new DatalogProgram(ontology, properties.getToClassify()); |
| 71 | // program.getLower().save(); | 71 | program.getLower().save(); |
| 72 | // program.getUpper().save(); | 72 | program.getUpper().save(); |
| 73 | // program.getGeneral().save(); | 73 | program.getGeneral().save(); |
| 74 | 74 | ||
| 75 | if(!program.getGeneral().isHorn()) | 75 | if(!program.getGeneral().isHorn()) |
| 76 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); | 76 | lazyUpperStore = new MultiStageQueryEngine("lazy-upper-bound", true); |
