aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-14 17:18:03 +0000
committerFederico Igne <federico.igne@cs.ox.ac.uk>2020-11-14 17:18:03 +0000
commit0df6cd806da628b51fdeec145a26ca6084deebcc (patch)
treeb1206561cfa5a50ff25a08ff4ee7a3a32b54ad4c /README.md
parent313d3f835977f4d7f59e32e1b6cf4a508e1a3431 (diff)
downloadRSAComb-0df6cd806da628b51fdeec145a26ca6084deebcc.tar.gz
RSAComb-0df6cd806da628b51fdeec145a26ca6084deebcc.zip
Update README
Diffstat (limited to 'README.md')
-rw-r--r--README.md48
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 @@
1# RSA-combined-approach 1# Combined approach for RSA
2 2
3Re-implementation of the combined approach for CQ answering over RSA ontologies described in [[1](#references)]. 3Re-implementation of the combined approach for CQ answering over RSA ontologies described in [[1](#references)].
4 4
5> 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). 5> Please note that the prototype mentioned in [[1](#references)] is not available (and the contributors of this repository have never seen it);
6> therefore, this "re-implementation" could be completely different from that prototype (potentially using different tools and programming language).
6 7
8## Preliminaries
9
10In order to use this program you need to have [RDFox](https://www.oxfordsemantic.tech/product) available in your system, along with a valid license.
11RDFox is proprietary software and as such we are not able to distribute it along with our code.
12Please refer to [this link](https://www.oxfordsemantic.tech/tryrdfoxforfree) to request a free trial.
13
14This software has been developed and tested with RDFox v.4.0
15
16## Using the software
17
18TODO
19
20### Provide RDFox license
21
22TODO
23
24### Compiling the project
25
26TODO
27
28### Running tests and examples
29
30TODO
31
32## Changes introduced
33
34We tried to implement the system as close as possible to the theoretical description provided in [[1](#references)].
35Regardless, 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.
36The following is a summary of fixes (🔧), changes (🔄) and improvements (⚡), we introduced along the way:
37
38+ 🔧 FIX
39
40+ 🔄 CHANGE
41
42+ âš¡ IMPROVEMENT
7 43
8## References 44## References
9 45
10[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. 46[1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks.
47 *The Combined Approach to Query Answering Beyond the OWL 2 Profiles*.
48 In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2971–2977, 2015.
49 http://ijcai.org/Abstract/15/420.
50
51## License
11 52
53TODO