From 3a276b7c7836e56a171ab753b018913ce022ba8e Mon Sep 17 00:00:00 2001 From: RncLsn Date: Wed, 10 Jun 2015 17:12:36 +0100 Subject: Small changes. --- src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/uk/ac/ox') diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index e689de6..93fbc98 100644 --- a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java +++ b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java @@ -370,7 +370,7 @@ class MyQueryReasoner extends QueryReasoner { relevantStore.importDataFromABoxOf(relevantSubset); String relevantOriginalMarkProgram = OWLHelper.getOriginalMarkProgram(relevantSubset); - int queryDependentMaxTermDepth = 5; // TODO make it dynamic + int queryDependentMaxTermDepth = 10; // TODO make it dynamic relevantStore.materialise("Mark original individuals", relevantOriginalMarkProgram); int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null, queryDependentMaxTermDepth); -- cgit v1.2.3