diff options
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/query/rollup')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java | 3 |
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 { | |||
| 109 | Set<OWLAxiom> axioms = new HashSet<>(); | 109 | Set<OWLAxiom> axioms = new HashSet<>(); |
| 110 | for(Map.Entry<Term, Set<OWLClassExpression>> entry : concepts.map.entrySet()) { | 110 | for(Map.Entry<Term, Set<OWLClassExpression>> entry : concepts.map.entrySet()) { |
| 111 | if(existVars.contains(entry.getKey())) { | 111 | if(existVars.contains(entry.getKey())) { |
| 112 | OWLClassExpression conjunction = | 112 | OWLClassExpression conjunction = factory.getOWLThing(); |
| 113 | factory.getOWLObjectIntersectionOf(factory.getOWLThing()); | ||
| 114 | for(OWLClassExpression owlClassExpression : entry.getValue()) { | 113 | for(OWLClassExpression owlClassExpression : entry.getValue()) { |
| 115 | conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression.accept(visitor)); | 114 | conjunction = factory.getOWLObjectIntersectionOf(conjunction, owlClassExpression.accept(visitor)); |
| 116 | } | 115 | } |
