diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-10-12 11:10:01 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-10-12 11:10:01 +0100 |
| commit | 8651164cd632a5db310b457ce32d4fbc97bdc41c (patch) | |
| tree | f898102e0090a664d850b45eee994c57447bd4b9 /src | |
| parent | 45616f650111c1d0236d22fcb5f3b4e5e8b68550 (diff) | |
| download | ACQuA-8651164cd632a5db310b457ce32d4fbc97bdc41c.tar.gz ACQuA-8651164cd632a5db310b457ce32d4fbc97bdc41c.zip | |
RDFox dependency from project repo; improved the readme.
Diffstat (limited to 'src')
| -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); |