1 files changed, 85 insertions, 7 deletions

diff --git a/README.md b/README.md
index 7a9697e..6fcd98d 100644
--- a/README.md
+++ b/README.md
@@ -1,13 +1,70 @@
-# Combined approach for RSA
-
-Re-implementation of the combined approach for CQ answering over RSA ontologies described in [[1](#references)].
+<!-- TITLE -->
+<p align="center">
+
+<!--
+<a href="https://github.com/">
+<img src="resources/logo.png" alt="Logo" width="80" height="80">
+</a>
+-->
+
+<h1 align="center">&middot; RSAComb &middot;</h1>
+
+<p align="center">
+Combined approach for Conjunctive Query answering in RSA
+<br/>
+<a href="https://arxiv.org/abs/2107.00369">Read the paper</a>
+&middot;
+<a href="https://arxiv.org/abs/2107.00369">Read the technical report</a>
+&middot;
+<a href="https://github.com/KRR-Oxford/RSAComb/issues">Report bug</a>
+<br/><br/>
+<a href="https://github.com/KRR-Oxford/RSAComb/releases/latest">
+<img src="https://img.shields.io/github/release/KRR-Oxford/RSAComb.svg?style=for-the-badge" alt="Release badge">
+</a>
+<a href="https://github.com/KRR-Oxford/RSAComb/issues">
+<img src="https://img.shields.io/github/issues/KRR-Oxford/RSAComb.svg?style=for-the-badge" alt="Issues badge">
+</a>
+<a href="LICENSE">
+<img src="https://img.shields.io/github/license/KRR-Oxford/RSAComb.svg?style=for-the-badge" alt="License badge">
+</a>
+<a href="https://doi.org/10.5281/zenodo.5047811">
+    <img src="https://img.shields.io/badge/DOI-10.5281/zenodo.5047811-blue?style=for-the-badge" alt="DOI badge">
+</a>
+</p>
+
+</p>
+
+<!-- TABLE OF CONTENTS -->
+<details close="close">
+<summary>Table of Contents</summary>
+<ol>
+    <li><a href="#about">About</a></li>
+    <li><a href="#preliminaries">Preliminaries</a></li>
+    <li>
+        <a href="#using-the-software">Using the software</a>
+        <ul>
+            <li><a href="#provide-rdfox-license">Provide RDFox license</a></li>
+            <li><a href="#compiling-and-running-the-project">Compiling and running the project</a></li>
+            <li><a href="#running-tests">Running tests</a></li>
+        </ul>
+    </li>
+    <li><a href="#changes-introduced">Changes introduced</a></li>
+    <li><a href="#acknowledgements">Acknowledgements</a></li>
+    <li><a href="#credits">Credits</a></li>
+    <li><a href="#license">License</a></li>
+</ol>
+</details>
+
+## About
+
+This is a re-implementation of the combined approach for CQ answering over RSA ontologies described in [[1](#references)].
 
 > Please note that the prototype mentioned in [[1](#references)] is not available (and the contributors of this repository have never seen it);
 > therefore, this "re-implementation" could be completely different from that prototype (potentially using different tools and programming language).
 
 ## 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 +74,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.
@@ -107,14 +175,24 @@ The following is a (non exhaustive) summary of fixes (🔧), changes (🔄) and
     In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2971–2977, 2015.
     http://ijcai.org/Abstract/15/420.
 
+[2] Horridge, Matthew and Bechhofer, Sean.
+    *The OWL API: A Java API for OWL Ontologies*.
+    Semantic Web Journal 2(1), Special Issue on Semantic Web Tools and Systems, pp. 11-21, 2011.
+
 ## Acknowledgements
 
-*temporarily redacted*
+- OWLAPI [[2]](#references)
+- [RDFox](https://www.oxfordsemantic.tech/product)
+- [Graph for Scala](https://github.com/scala-graph/scala-graph)
 
 ## Credits
 
-*temporarily redacted*
+- Federico Igne
+- Stefano Germano
+- Ian Horrocks (*Scientific Supervisor*)
+
+From the [Knowledge Representation and Reasoning research group](https://www.cs.ox.ac.uk/isg/krr/) in the [Department of Computer Science](https://www.cs.ox.ac.uk/) of the [University of Oxford](https://www.ox.ac.uk/).
 
 ## License
 
-*temporarily redacted*
+This project is licensed under the [Apache License 2.0](LICENSE).