| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | | Fix SKOLEM function call | Federico Igne | 2020-09-07 | 1 | -1/+3 | |
| * | | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 6 | -48/+261 | |
| |/ | ||||||
| * | Add script to automatically download required libs | Federico Igne | 2020-08-20 | 1 | -0/+11 | |
| * | Add check for RSA graph acyclicity | Federico Igne | 2020-08-19 | 2 | -44/+49 | |
| * | Generalise prefixes | Federico Igne | 2020-08-19 | 3 | -35/+21 | |
| * | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 6 | -58/+76 | |
| * | Add simple examples | Federico Igne | 2020-08-17 | 3 | -1/+194 | |
| * | Automate query evaluation in RDFoxUtil | Federico Igne | 2020-08-17 | 2 | -14/+34 | |
| * | Add code to access query answers programmatically | Federico Igne | 2020-08-16 | 1 | -12/+10 | |
| * | Add build.properties file | Federico Igne | 2020-08-16 | 1 | -0/+1 | |
| * | Include built-in rules in RSA check | Federico Igne | 2020-08-16 | 4 | -112/+214 | |
| * | Update .gitignore | Federico Igne | 2020-08-16 | 1 | -0/+45 | |
| * | Fix role unsafety check | Federico Igne | 2020-08-11 | 2 | -7/+8 | |
| * | Add code to communicate with a local RDFox instance | Federico Igne | 2020-08-11 | 2 | -3/+61 | |
| * | Add condition 2 for role unsafety detection | Federico Igne | 2020-08-08 | 1 | -15/+30 | |
| * | Add unsafety check for ontology roles | Federico Igne | 2020-08-06 | 2 | -132/+142 | |
| * | Refactor code into different files | Federico Igne | 2020-08-06 | 5 | -167/+335 | |
| * | Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach | Federico Igne | 2020-08-04 | 1 | -0/+21 | |
| |\ | ||||||
| | * | Scala workflow - GitHub Actions | Stefano Germano | 2020-07-22 | 1 | -0/+21 | |
| * | | Adapt LP conversion to RSA check | Federico Igne | 2020-08-04 | 4 | -28/+68 | |
| * | | Add DL renderer for input rules | Federico Igne | 2020-08-03 | 4 | -17/+55 | |
| |/ | ||||||
| * | Update to JRDFox v3.1.0 | Federico Igne | 2020-07-16 | 7 | -57/+62 | |
| * | Update dependences | Federico Igne | 2020-07-15 | 1 | -2/+2 | |
| * | Rename source code directory structure | Federico Igne | 2020-07-15 | 8 | -0/+0 | |
| * | Add reworked code from previous repo | Federico Igne | 2020-07-15 | 10 | -0/+967 | |
| * | Statement about "re-implementation" | Stefano Germano | 2020-06-17 | 1 | -1/+10 | |
| * | Initial commit | Federico Igne | 2020-06-10 | 1 | -0/+2 | |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |