From b1764d7bcefb510f6edd3e50ef7cfa6d0e037390 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 30 Jun 2021 08:43:21 +0100 Subject: Update README.md --- README.md | 13 ++++++++++++- src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala | 2 +- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 83c413f..1a93f49 100644 --- a/README.md +++ b/README.md @@ -7,7 +7,7 @@ Re-implementation of the combined approach for CQ answering over RSA ontologies ## Preliminaries -In order to use this program you need to have [RDFox](https://www.oxfordsemantic.tech/product) available in your system, along with a valid license. +In order to use this program you need to have [RDFox](https://www.oxfordsemantic.tech/product) available in your system, along with *a valid license*. RDFox is proprietary software and as such we are not able to distribute it along with our code. Please refer to [this link](https://www.oxfordsemantic.tech/tryrdfoxforfree) to request a free trial. @@ -17,6 +17,17 @@ This software has been developed and tested with RDFox v.4.1 We assume you followed [these steps](https://docs.oxfordsemantic.tech/getting-started.html#getting-started) in order to setup RDFox on your personal machine and in particular you know the path to the `JRDFox.jar` library that comes with the distribution. +Alternatively, run the following commands from the root of the project to install RDFox locally. +Download links for specific versions and operating systems can be found [here](https://www.oxfordsemantic.tech/downloads). + +```{.bash} +mkdir -p lib && pushd lib +wget https://rdfox-distribution.s3.eu-west-2.amazonaws.com/release/v4.2.0/RDFox-linux-4.2.0.zip +unzip RDFox-linux-4.2.0.zip +ln -s RDFox-linux-4.2.0.zip/lib/JRDFox.jar +popd +``` + ### Provide RDFox license The [documentation](https://docs.oxfordsemantic.tech/features-and-requirements.html#license-key), describes several ways to provide the license to RDFox. diff --git a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala index 0d18e66..4f8d352 100644 --- a/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala +++ b/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala @@ -158,7 +158,7 @@ class Ontology1_CanonicalModelSpec renderer.render( AsomeValuesFromSiC - ) should "produce 1 rule" in { + ) should "produce 1 rule" ignore { val term = Variable.create("X") val unsafe = ontology.unsafeRoles val (facts, rules) = -- cgit v1.2.3