Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Complete generation of logic program for the canonical model | Federico Igne | 2020-10-06 | 4 | -33/+75 | |
| | ||||||
* | Add generation of rules for safe T5 axioms | Federico Igne | 2020-10-05 | 1 | -4/+139 | |
| | ||||||
* | Implement `cycle()` and `unfold()` methods | Federico Igne | 2020-10-02 | 1 | -1/+29 | |
| | ||||||
* | Implement `self()` method for the computation of canonical models | Federico Igne | 2020-10-02 | 1 | -2/+16 | |
| | ||||||
* | Implement method to find conflicting roles | Federico Igne | 2020-10-01 | 1 | -5/+39 | |
| | ||||||
* | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 7 | -34/+88 | |
| | ||||||
* | Add generation for forward/backwards rules | Federico Igne | 2020-09-25 | 1 | -5/+34 | |
| | ||||||
* | Add skeleton for canonical model generation | Federico Igne | 2020-09-24 | 1 | -0/+57 | |
| | ||||||
* | Add method to parse a string into a Query | Federico Igne | 2020-09-23 | 3 | -14/+16 | |
| | | | | This is using `SPARQLParser`, an undocumented class provided by JRDFox | |||||
* | Change library script permissions | Federico Igne | 2020-09-22 | 1 | -0/+0 | |
| | | | | Don't really know why they changed at some point | |||||
* | Add method to compute the set of individuals in an input ontology | Federico Igne | 2020-09-22 | 2 | -4/+8 | |
| | ||||||
* | Fix RDFox query execution helper | Federico Igne | 2020-09-22 | 3 | -6/+19 | |
| | ||||||
* | Add method to compute a query's bounded vars | Federico Igne | 2020-09-22 | 1 | -2/+20 | |
| | ||||||
* | VSCode/Metals exclusions | Stefano Germano | 2020-09-20 | 1 | -0/+4 | |
| | ||||||
* | Update and comment some tests | Federico Igne | 2020-09-10 | 2 | -201/+228 | |
| | | | | | | With the introduction of the fresh variable generator it is harder to test axiom conversion because we would need to define a custom equality method that doesn't take particular variables into account. | |||||
* | Use `App` trait instead of `main` function | Federico Igne | 2020-09-10 | 1 | -44/+38 | |
| | ||||||
* | Add first attempt at retrieving all constants in an ontology | Federico Igne | 2020-09-09 | 1 | -1/+8 | |
| | ||||||
* | Rename functions to follow Scala naming conventions | Federico Igne | 2020-09-09 | 1 | -4/+4 | |
| | ||||||
* | Move reifing code under `FilteringProgram` class | Federico Igne | 2020-09-09 | 3 | -113/+96 | |
| | ||||||
* | Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach | Federico Igne | 2020-09-08 | 1 | -0/+5 | |
|\ | ||||||
| * | Get libs in CI | Stefano Germano | 2020-08-20 | 1 | -0/+5 | |
| | | ||||||
* | | Add full set of rules for filtering program | Federico Igne | 2020-09-08 | 4 | -102/+363 | |
| | | ||||||
* | | Add functions to detect class/role assertions | Federico Igne | 2020-09-08 | 1 | -14/+43 | |
| | | ||||||
* | | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 5 | -35/+45 | |
| | | ||||||
* | | Fix SKOLEM function call | Federico Igne | 2020-09-07 | 1 | -1/+3 | |
| | | | | | | | | | | | | The first argument of the function call has to be a string. Here we use the atom IRI string. Since arguments need to be `BuiltinExpression`s, we use a XSD_STRING `Literal` to represent it. | |||||
* | | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 6 | -48/+261 | |
|/ | | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work. | |||||
* | 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 | |
| | | | | | We now check that the existential expression in the axiom of type T3 is not top. | |||||
* | 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 | |
| | | | | | | The current implementation is still a first attempt and by far not the most effective. It is still missing some corner cases and extensive testing. | |||||
* | Refactor code into different files | Federico Igne | 2020-08-06 | 5 | -167/+335 | |
| | | | | | This has been done to better accommodate the code to detect all unsafe roles in an ontology. | |||||
* | 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 | |
| | | | | | | | | | | | | Part of the process involves the search of unsafe roles in the input ontology. This is still to be implemented and for now the set of unsafe roles for the testing example is hardcoded. | |||||
* | | 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 | |
| |