3 files changed, 6 insertions, 6 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java
index a56a793..15dfa03 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/ELHOUQueryReasoner.java
@@ -117,7 +117,7 @@ class ELHOUQueryReasoner extends QueryReasoner {
         }
 
         OWLOntology ontology = o;
-        program = new DatalogProgram(ontology, properties.getToClassify());
+        program = new DatalogProgram(ontology);
 
         importData(program.getAdditionalDataFile());
 
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
index 15eb9e8..ac62488 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/HermiTReasoner.java
@@ -52,7 +52,7 @@ class HermiTReasoner extends QueryReasoner {
             e.printStackTrace();
         }
 
-        DatalogProgram datalogProgram = new DatalogProgram(tbox, false);
+        DatalogProgram datalogProgram = new DatalogProgram(tbox);
         importData(datalogProgram.getAdditionalDataFile());
         upperStore = new MultiStageQueryEngine("rl-upper", false);
         upperStore.importRDFData("data", getImportedData());
diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
index 8e28142..71d5752 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java
@@ -68,7 +68,7 @@ class MyQueryReasoner extends QueryReasoner {
         }
 
         ontology = o;
-        program = new DatalogProgram(ontology, properties.getToClassify());
+        program = new DatalogProgram(ontology);
 //              program.getLower().save();
 //              program.getUpper().save();
 //              program.getGeneral().save();
@@ -154,7 +154,7 @@ class MyQueryReasoner extends QueryReasoner {
 //                      encoder = new TrackingRuleEncoderDisjVar2(program.getUpper(), trackingStore);
 //                      encoder = new TrackingRuleEncoderDisj2(program.getUpper(), trackingStore);
 
-        // TODO add consistency check by Skolem-upper-bound
+        // TODO? add consistency check by Skolem-upper-bound
 
         if(!isConsistent())
             return false;
@@ -225,7 +225,7 @@ class MyQueryReasoner extends QueryReasoner {
     @Override
     public void evaluateUpper(QueryRecord queryRecord) {
         if(isDisposed()) throw new DisposedException();
-        // TODO add new upper store
+        // TODO? add new upper store
         AnswerTuples rlAnswer = null;
         boolean useFull = queryRecord.isBottom() || lazyUpperStore == null;
         try {
@@ -388,7 +388,7 @@ class MyQueryReasoner extends QueryReasoner {
         Utility.logInfo(">> Semi-Skolemisation <<");
         t.reset();
 
-        DatalogProgram relevantProgram = new DatalogProgram(relevantSubset, false); // toClassify is false
+        DatalogProgram relevantProgram = new DatalogProgram(relevantSubset);
 
         MultiStageQueryEngine relevantStore =
                 new MultiStageQueryEngine("Relevant-store", true); // checkValidity is true