1 files changed, 2 insertions, 2 deletions
diff --git a/README.md b/README.md
index 3903c66..a177557 100644
--- a/README.md
+++ b/README.md
@@ -50,7 +50,7 @@ In order to use this program you need to have [RDFox](https://www.oxfordsemantic
 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.
-This software has been developed and tested with RDFox v5.2.1
+This software has been developed and tested with RDFox v5.5
 ## Changes introduced
@@ -184,7 +184,7 @@ We also provide a convenient `simulate.rdfox` RDFox script that can be used to l
 Let's suppose you run the following command from the root of the project
 ```{.sh}
-java -cp lib/JRDFox.jar:target/scala-2.13/RSAComb-assembly-1.0.0.jar uk.ac.ox.cs.rsacomb.RSAComb -l verbose -o tests/lubm/univ-bench.owl -d tests/lubm/data/lubm1.ttl -q tests/lubm/queries.sparql
+java -cp lib/JRDFox.jar:target/scala-2.13/RSAComb-assembly-1.1.0.jar uk.ac.ox.cs.rsacomb.RSAComb -l verbose -o tests/lubm/univ-bench.owl -d tests/lubm/data/lubm1.ttl -q tests/lubm/queries.sparql
 ```
 This will answers all the queries in `tests/lubm/queries.sparql` and generate debug information in a new folder in the current working directory (let's say, `rsacomb-20211005120845/`).

diff --git a/README.md b/README.md index 3903c66..a177557 100644 --- a/README.md +++ b/README.md
@@ -50,7 +50,7 @@ In order to use this program you need to have [RDFox](https://www.oxfordsemantic
50	RDFox is proprietary software and as such we are not able to distribute it along with our code.	50	RDFox is proprietary software and as such we are not able to distribute it along with our code.
51	Please refer to [this link](https://www.oxfordsemantic.tech/tryrdfoxforfree) to request a free trial.	51	Please refer to [this link](https://www.oxfordsemantic.tech/tryrdfoxforfree) to request a free trial.
52		52
53	This software has been developed and tested with RDFox v5.2.1	53	This software has been developed and tested with RDFox v5.5
54		54
55	## Changes introduced	55	## Changes introduced
56		56
@@ -184,7 +184,7 @@ We also provide a convenient `simulate.rdfox` RDFox script that can be used to l
184		184
185	Let's suppose you run the following command from the root of the project	185	Let's suppose you run the following command from the root of the project
186	```{.sh}	186	```{.sh}
187	java -cp lib/JRDFox.jar:target/scala-2.13/RSAComb-assembly-1.0.0.jar uk.ac.ox.cs.rsacomb.RSAComb -l verbose -o tests/lubm/univ-bench.owl -d tests/lubm/data/lubm1.ttl -q tests/lubm/queries.sparql	187	java -cp lib/JRDFox.jar:target/scala-2.13/RSAComb-assembly-1.1.0.jar uk.ac.ox.cs.rsacomb.RSAComb -l verbose -o tests/lubm/univ-bench.owl -d tests/lubm/data/lubm1.ttl -q tests/lubm/queries.sparql
188	```	188	```
189		189
190	This will answers all the queries in `tests/lubm/queries.sparql` and generate debug information in a new folder in the current working directory (let's say, `rsacomb-20211005120845/`).	190	This will answers all the queries in `tests/lubm/queries.sparql` and generate debug information in a new folder in the current working directory (let's say, `rsacomb-20211005120845/`).