aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* Complete generation of logic program for the canonical modelFederico Igne2020-10-064-33/+75
* Add generation of rules for safe T5 axiomsFederico Igne2020-10-051-4/+139
* Implement `cycle()` and `unfold()` methodsFederico Igne2020-10-021-1/+29
* Implement `self()` method for the computation of canonical modelsFederico Igne2020-10-021-2/+16
* Implement method to find conflicting rolesFederico Igne2020-10-011-5/+39
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-307-34/+88
* Add generation for forward/backwards rulesFederico Igne2020-09-251-5/+34
* Add skeleton for canonical model generationFederico Igne2020-09-241-0/+57
* Add method to parse a string into a QueryFederico Igne2020-09-233-14/+16
* Change library script permissionsFederico Igne2020-09-221-0/+0
* Add method to compute the set of individuals in an input ontologyFederico Igne2020-09-222-4/+8
* Fix RDFox query execution helperFederico Igne2020-09-223-6/+19
* Add method to compute a query's bounded varsFederico Igne2020-09-221-2/+20
* VSCode/Metals exclusionsStefano Germano2020-09-201-0/+4
* Update and comment some testsFederico Igne2020-09-102-201/+228
* Use `App` trait instead of `main` functionFederico Igne2020-09-101-44/+38
* Add first attempt at retrieving all constants in an ontologyFederico Igne2020-09-091-1/+8
* Rename functions to follow Scala naming conventionsFederico Igne2020-09-091-4/+4
* Move reifing code under `FilteringProgram` classFederico Igne2020-09-093-113/+96
* Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approachFederico Igne2020-09-081-0/+5
|\
| * Get libs in CIStefano Germano2020-08-201-0/+5
* | Add full set of rules for filtering programFederico Igne2020-09-084-102/+363
* | Add functions to detect class/role assertionsFederico Igne2020-09-081-14/+43
* | Introduce naive fresh variable generatorFederico Igne2020-09-075-35/+45
* | Fix SKOLEM function callFederico Igne2020-09-071-1/+3
* | Add setup code to compute the RSA filtering programFederico Igne2020-09-076-48/+261
|/
* Add script to automatically download required libsFederico Igne2020-08-201-0/+11
* Add check for RSA graph acyclicityFederico Igne2020-08-192-44/+49
* Generalise prefixesFederico Igne2020-08-193-35/+21
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-196-58/+76
* Add simple examplesFederico Igne2020-08-173-1/+194
* Automate query evaluation in RDFoxUtilFederico Igne2020-08-172-14/+34
* Add code to access query answers programmaticallyFederico Igne2020-08-161-12/+10
* Add build.properties fileFederico Igne2020-08-161-0/+1
* Include built-in rules in RSA checkFederico Igne2020-08-164-112/+214
* Update .gitignoreFederico Igne2020-08-161-0/+45
* Fix role unsafety checkFederico Igne2020-08-112-7/+8
* Add code to communicate with a local RDFox instanceFederico Igne2020-08-112-3/+61
* Add condition 2 for role unsafety detectionFederico Igne2020-08-081-15/+30
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-20 19:07:39 +0000