From 8241a535a55508b6c504f4f0b426612fe95d15a5 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 8 Jul 2015 18:53:00 +0100 Subject: Internalisation: added condition for existential variables (classes HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem. --- src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/uk/ac/ox/cs/pagoda/query') 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 axioms = new HashSet<>(); for(Map.Entry> 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)); } -- cgit v1.2.3