diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-10 18:17:06 +0100 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2022-05-11 12:34:47 +0100 |
| commit | 17bd9beaf7f358a44e5bf36a5855fe6727d506dc (patch) | |
| tree | 47e9310a0cff869d9ec017dcb2c81876407782c8 /src/main/java/resources/pagoda.properties | |
| parent | 8651164cd632a5db310b457ce32d4fbc97bdc41c (diff) | |
| download | ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.tar.gz ACQuA-17bd9beaf7f358a44e5bf36a5855fe6727d506dc.zip | |
[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.
Diffstat (limited to 'src/main/java/resources/pagoda.properties')
| -rw-r--r-- | src/main/java/resources/pagoda.properties | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/main/java/resources/pagoda.properties b/src/main/java/resources/pagoda.properties new file mode 100644 index 0000000..646744c --- /dev/null +++ b/src/main/java/resources/pagoda.properties | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | debug=true | ||
| 2 | useAlwaysSimpleUpperBound=false | ||
| 3 | #skolemUpperBound=DISABLED | ||
| 4 | skolemUpperBound=AFTER_SUMMARISATION | ||
| 5 | #skolemUpperBound=BEFORE_SUMMARISATION | ||
| 6 | skolemDepth=10 | ||
| 7 | |||
| 8 | # seems ok for -Xmx6g | ||
| 9 | maxTriplesInSkolemStore=2500000 | ||
| 10 | |||
| 11 | toCallHermit=true | ||
| 12 | |||
| 13 | statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics \ No newline at end of file | ||