1 files changed, 45 insertions, 3 deletions

diff --git a/README.md b/README.md
index 24bb124..44138b9 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,53 @@
-# RSA-combined-approach
+# Combined approach for RSA
 
 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 even in a different programming language).
+> 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.
+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 v.4.0
+
+## Using the software
+
+TODO
+
+### Provide RDFox license
+
+TODO
+
+### Compiling the project
+
+TODO
+
+### Running tests and examples
+
+TODO
+
+## Changes introduced
+
+We tried to implement the system as close as possible to the theoretical description provided in [[1](#references)].
+Regardless, we had to deal with the fact that we where using different tools to carry out reasoning tasks and we where probably using a different language to implement the system.
+The following is a summary of fixes (🔧), changes (🔄) and improvements (⚡), we introduced along the way:
+
++ 🔧 FIX
+
++ 🔄 CHANGE
+
++ ⚡ IMPROVEMENT
 
 ## References
 
-[1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. 'The Combined Approach to Query Answering Beyond the OWL 2 Profiles'. 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.
+[1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks.
+    *The Combined Approach to Query Answering Beyond the OWL 2 Profiles*.
+    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.
+
+## License
 
+TODO