aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Add unsafety check for ontology rolesFederico Igne2020-08-062-132/+142
* Refactor code into different filesFederico Igne2020-08-065-167/+335
* Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approachFederico Igne2020-08-041-0/+21
|\
| * Scala workflow - GitHub ActionsStefano Germano2020-07-221-0/+21
* | Adapt LP conversion to RSA checkFederico Igne2020-08-044-28/+68
* | Add DL renderer for input rulesFederico Igne2020-08-034-17/+55
|/
* Update to JRDFox v3.1.0Federico Igne2020-07-167-57/+62
* Update dependencesFederico Igne2020-07-151-2/+2
* Rename source code directory structureFederico Igne2020-07-158-0/+0
* Add reworked code from previous repoFederico Igne2020-07-1510-0/+967
* Statement about "re-implementation"Stefano Germano2020-06-171-1/+10
* Initial commitFederico Igne2020-06-101-0/+2