issues
search
KRR-Oxford
/
RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
https://www.cs.ox.ac.uk/isg/tools/RSAComb
Apache License 2.0
2
stars
0
forks
source link
Complete RSA check
#2
Open
dyamon
opened
4 years ago
dyamon
commented
4 years ago
[x] Add a library capable of managing graphs
[x] Build RSA graph and check acyclicity
[ ] Implement additional checks (look at def.3 of the main paper)
See #11.
See #11.