From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 May 2022 18:17:06 +0100 Subject: [pagoda] Move project to Scala This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added. --- src/main/java/resources/_default_pagoda.properties | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 src/main/java/resources/_default_pagoda.properties (limited to 'src/main/java/resources/_default_pagoda.properties') diff --git a/src/main/java/resources/_default_pagoda.properties b/src/main/java/resources/_default_pagoda.properties new file mode 100644 index 0000000..7bd5dd3 --- /dev/null +++ b/src/main/java/resources/_default_pagoda.properties @@ -0,0 +1,13 @@ +debug=false +useAlwaysSimpleUpperBound=false +#skolemUpperBound=DISABLED +skolemUpperBound=AFTER_SUMMARISATION +#skolemUpperBound=BEFORE_SUMMARISATION +skolemDepth=10 + +# seems ok for -Xmx6g +maxTriplesInSkolemStore=2500000 + +toCallHermit=true + +statisticsDir=statistics \ No newline at end of file -- cgit v1.2.3