Many little changes.

1 files changed, 13 insertions, 14 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
index cfae88b..9574845 100644
--- a/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
+++ b/src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
@@ -99,7 +99,6 @@ public class HermitChecker extends Checker {
 
         if(!toCheck) return false;
         ++noOfCalls;
-
         if(tag != 0) return tag == 1;
         if(hermit == null) initialiseReasoner();
 
@@ -107,19 +106,19 @@ public class HermitChecker extends Checker {
         Map<Variable, Term> sub = answerTuple.getAssignment(answerVariable[1]);
         Set<OWLAxiom> toCheckAxioms = qGraph.getAssertions(sub);
 
-        // TODO complete
-        Set<OWLAxiom> toCheckExistentialAxioms = qGraph.getExistentialAxioms();
-
-        // TODO possibly inefficient
-        for(OWLAxiom subclassAxiom : toCheckExistentialAxioms) {
-            Utility.logDebug("Checking consistency of ontology union " + subclassAxiom);
-            ontology.getOWLOntologyManager().addAxiom(ontology, subclassAxiom);
-            if(hermit.isConsistent()) {
-                Utility.logDebug("@TIME to check one tuple: " + t.duration());
-                return false;
-            }
-            ontology.getOWLOntologyManager().removeAxiom(ontology, subclassAxiom);
-        }
+//        // TODO complete
+//        Set<OWLAxiom> toCheckExistentialAxioms = qGraph.getExistentialAxioms(sub);
+//
+//        // TODO possibly inefficient
+//        for(OWLAxiom subclassAxiom : toCheckExistentialAxioms) {
+//            Utility.logInfo("Checking consistency of ontology union " + subclassAxiom);
+//            ontology.getOWLOntologyManager().addAxiom(ontology, subclassAxiom);
+//            if(hermit.isConsistent()) {
+//                Utility.logDebug("@TIME to check one tuple: " + t.duration());
+//                return false;
+//            }
+//            ontology.getOWLOntologyManager().removeAxiom(ontology, subclassAxiom);
+//        }
 
 
 //              for (OWLAxiom axiom: toCheckAxioms)     System.out.println(axiom.toString());