From 9c9434162daf7c25dda9e9ff188ab90eb65f1fb1 Mon Sep 17 00:00:00 2001 From: RncLsn Date: Thu, 4 Jun 2015 12:34:11 +0100 Subject: New queries for LUBM and UOBM, automatically generated by SyGENiA. --- src/resources/pagoda.properties | 2 +- src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/resources/pagoda.properties b/src/resources/pagoda.properties index 0b9d2ee..bd387b9 100644 --- a/src/resources/pagoda.properties +++ b/src/resources/pagoda.properties @@ -1,3 +1,3 @@ debug=true useAlwaysSimpleUpperBound=false -useSkolemUpperBound=false \ No newline at end of file +useSkolemUpperBound=true \ No newline at end of file diff --git a/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java b/src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java index 3027a73..ed6589a 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); - int queryDependentMaxTermDepth = 1; // TODO make it dynamic + int queryDependentMaxTermDepth = 10; // TODO make it dynamic int materialisationTag = relevantStore.materialiseSkolemly(relevantProgram, null, queryDependentMaxTermDepth); queryRecord.addProcessingTime(Step.L_SKOLEM_UPPER_BOUND, t.duration()); -- cgit v1.2.3