1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# 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 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.
## License
TODO
|
