From af9654ee25f5b2dfdb055a197674c1aeceea1171 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 3 Sep 2015 15:52:47 +0100 Subject: Integrated fix (manually) from upper stream. --- src/resources/pagoda.properties | 4 ++-- src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java | 4 +++- 2 files changed, 5 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index aa08593..8bcbca6 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -1,8 +1,8 @@ debug=true useAlwaysSimpleUpperBound=false -#skolemUpperBound=DISABLED +skolemUpperBound=DISABLED +#skolemUpperBound=BEFORE_SUMMARISATION #skolemUpperBound=BEFORE_SUMMARISATION -skolemUpperBound=BEFORE_SUMMARISATION skolemDepth=10 # seems ok for -Xmx6g 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 02697b8..9b4ce01 100644 --- a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java +++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java @@ -184,7 +184,9 @@ public class QueryGraph { private void rollupEdge(Term u, OWLObjectPropertyExpression op, Term v, boolean inverse) { if (existVars.contains(v)) { - concepts.add(u, factory.getOWLObjectSomeValuesFrom(op, factory.getOWLObjectIntersectionOf(concepts.get(v)))); + Set exps = concepts.get(v); + if (exps == null) exps = new HashSet(); + concepts.add(u, factory.getOWLObjectSomeValuesFrom(op, factory.getOWLObjectIntersectionOf(exps))); } else { OWLIndividual obj = getOWLIndividual(v); -- cgit v1.2.3