From 0df6cd806da628b51fdeec145a26ca6084deebcc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sat, 14 Nov 2020 17:18:03 +0000 Subject: Update README --- README.md | 48 +++++++++++++++++++++++++++++++++++++++++++++--- 1 file 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 -- cgit v1.2.3