diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-09-03 15:09:35 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-09-03 15:09:35 +0100 |
| commit | 1c02a4bde9eddb66550341377b2bd980ff48c474 (patch) | |
| tree | 6e86500be926c98fd5f285b8410fe88e8805423c /src | |
| parent | 90cb6032058ad3fc16b895922823b5a700121b1b (diff) | |
| download | ACQuA-1c02a4bde9eddb66550341377b2bd980ff48c474.tar.gz ACQuA-1c02a4bde9eddb66550341377b2bd980ff48c474.zip | |
New test cases.
Diffstat (limited to 'src')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 8a90a26..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); |
| @@ -459,7 +459,7 @@ class MyQueryReasoner extends QueryReasoner { | |||
| 459 | if(lastTwoTriplesCounts.size() > 2) | 459 | if(lastTwoTriplesCounts.size() > 2) |
| 460 | lastTwoTriplesCounts.remove(); | 460 | lastTwoTriplesCounts.remove(); |
| 461 | 461 | ||
| 462 | Utility.logInfo("Last two triples counts:" + lastTwoTriplesCounts); | 462 | Utility.logDebug("Last two triples counts:" + lastTwoTriplesCounts); |
| 463 | } | 463 | } |
| 464 | 464 | ||
| 465 | relevantStore.dispose(); | 465 | relevantStore.dispose(); |