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

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

1 files changed, 1 insertions, 2 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
index 116e724..02697b8 100644
--- a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
+++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java
@@ -109,8 +109,7 @@ public class QueryGraph {
                 Set<OWLAxiom> axioms = new HashSet<>();
                 for(Map.Entry<Term, Set<OWLClassExpression>> entry : concepts.map.entrySet()) {
                         if(existVars.contains(entry.getKey())) {
-                                OWLClassExpression conjunction =
-                                                factory.getOWLObjectIntersectionOf(factory.getOWLThing());
+                                OWLClassExpression conjunction = factory.getOWLThing();
                                 for(OWLClassExpression owlClassExpression : entry.getValue()) {
                                         conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression.accept(visitor));
                                 }