Internalisation: added condition for existential variables (classes HermitChecker and QueryGraph).

Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.

2 files changed, 30 insertions, 11 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java b/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java
index e7f1c96..8514808 100644
--- a/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java
+++ b/src/uk/ac/ox/cs/pagoda/endomorph/DependencyGraph.java
@@ -114,23 +114,23 @@ public class DependencyGraph {
                 
 //              print(); 
                 
-                topolocialOrder = null;
+                topologicalOrder = null;
                 Utility.logDebug("link: " + link);
         }
         
-        LinkedList<Clique> topolocialOrder = null; 
+        LinkedList<Clique> topologicalOrder = null;
 
         public LinkedList<Clique> getTopologicalOrder() {
-                if (topolocialOrder != null) return topolocialOrder;
+                if (topologicalOrder != null) return topologicalOrder;
                 
-                topolocialOrder = new LinkedList<Clique>(); 
+                topologicalOrder = new LinkedList<Clique>();
                 Queue<Clique> toVisit = new LinkedList<Clique>(entrances); 
                 Map<Clique, Integer> toVisitedInComingDegree = new HashMap<Clique, Integer>();
                 
                 int count; 
                 while (!toVisit.isEmpty()) {
                         Clique cu = toVisit.remove();
-                        topolocialOrder.add(cu); 
+                        topologicalOrder.add(cu);
                         if (outGoingEdges.containsKey(cu))
                                 for (Clique cv: outGoingEdges.get(cu)) {
                                         if (toVisitedInComingDegree.containsKey(cv)) {
@@ -144,7 +144,7 @@ public class DependencyGraph {
                                 }
                 }
                 
-                return topolocialOrder; 
+                return topologicalOrder;
         }
 
         private void addNodeTuple(NodeTuple u) {
diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
index 1c853d7..9ca73a1 100644
--- a/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
+++ b/src/uk/ac/ox/cs/pagoda/endomorph/Endomorph.java
@@ -34,7 +34,11 @@ public class Endomorph extends Checker {
                 graph = new Graph(record.getRelevantOntology());
                 dGraph = new DependencyGraph(graph); 
         }
-        
+
+    /*
+    * FIXME
+    * The result is unsound. The output is not deterministic.
+    * */
         @Override
         public int check(AnswerTuples answerTuples) {
                 if(isDisposed()) throw new DisposedException();
@@ -57,11 +61,26 @@ public class Endomorph extends Checker {
                 Utility.logInfo("The number of individuals to be checked by Homomorphism checker: " + counter);
 //              CheckPlan plan = new PlainPlan(this.checker, dGraph.cliques);
 //              CheckPlan plan = new OpenEndMultiThreadPlan(this.checker, dGraph);              
-                CheckPlan plan = new OpenEndPlan(fullReasoner, dGraph, m_record);               
-                int answerCounter = plan.check(); 
-                
+
+                CheckPlan plan = new OpenEndPlan(fullReasoner, dGraph, m_record);
+                int answerCounter = plan.check();
+
+
+//        // BEGIN: debugging code
+//        Set<AnswerTuple> validatedAnswers = new HashSet<>();
+//        for (answerTuples.reset(); answerTuples.isValid(); answerTuples.moveNext()) {
+//            if(fullReasoner.check(answerTuples.getTuple())) {
+//                validatedAnswers.add(answerTuples.getTuple());
+//            }
+//        }
+//        m_record.addLowerBoundAnswers(validatedAnswers);
+//
+//              Utility.logDebug("The number of correct answers: " + validatedAnswers.size());
+//              return validatedAnswers.size();
+////         END: debugging code
+
                 Utility.logDebug("The number of correct answers: " + answerCounter);
-                return answerCounter; 
+                return answerCounter;
         }
 
         public OWLOntology getOntology() {