aboutsummaryrefslogtreecommitdiff
path: root/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
diff options
context:
space:
mode:
authorRncLsn <rnc.lsn@gmail.com>2015-06-30 10:28:09 +0100
committerRncLsn <rnc.lsn@gmail.com>2015-06-30 10:28:09 +0100
commitafb949a595bf351d4c9f1a8984ed82edbd13b725 (patch)
tree715086d773c0fc2b610df752d647cb35448be20f /src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
parent1013812b487bc438df49ec93ad9433438d5d6cf6 (diff)
downloadACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.tar.gz
ACQuA-afb949a595bf351d4c9f1a8984ed82edbd13b725.zip
Small changes.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java')
-rw-r--r--src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java6
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);