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 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/resources/pagoda.properties') 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 -- cgit v1.2.3