| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Simplify ProgramGenerator constructor | Federico Igne | 2020-10-09 | 1 | -4/+11 |
| | | | | | | If we pass the whole ontology there is no need to also provide the set of unsafe roles. | ||||
| * | Add method to parse a string into a Query | Federico Igne | 2020-09-23 | 1 | -1/+12 |
| | | | | | This is using `SPARQLParser`, an undocumented class provided by JRDFox | ||||
| * | Fix RDFox query execution helper | Federico Igne | 2020-09-22 | 1 | -6/+11 |
| | | |||||
| * | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -1/+5 |
| | | | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work. | ||||
| * | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -2/+7 |
| | | |||||
| * | Automate query evaluation in RDFoxUtil | Federico Igne | 2020-08-17 | 1 | -0/+22 |
| | | |||||
| * | Include built-in rules in RSA check | Federico Igne | 2020-08-16 | 1 | -0/+42 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |