1 files changed, 13 insertions, 0 deletions

diff --git a/rdfox_setup.sh b/rdfox_setup.sh
new file mode 100755
index 0000000..2091088
--- /dev/null
+++ b/rdfox_setup.sh
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+VERSION="5.2.1"
+NAME="RDFox-linux-x86_64-$VERSION"
+LINK="https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v$VERSION/$NAME.zip"
+DEST="lib"
+
+mkdir -p "$DEST"
+cd "$DEST"
+wget "$LINK"
+unzip "$NAME.zip"
+ln -s "$NAME/lib/JRDFox.jar"
+cd -