| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add diagnostic queries along main query | Federico Igne | 2020-11-13 | 1 | -26/+83 |
| * | Simplify reification process and add negation reification | Federico Igne | 2020-11-09 | 1 | -0/+4 |
| * | Rework canonical model computation | Federico Igne | 2020-11-06 | 1 | -13/+56 |
| * | Update tests to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -2/+1 |
| * | Complete generation of logic program for the canonical model | Federico Igne | 2020-10-06 | 1 | -13/+1 |
| * | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -0/+17 |
| * | Add method to parse a string into a Query | Federico Igne | 2020-09-23 | 1 | -1/+3 |
| * | Use `App` trait instead of `main` function | Federico Igne | 2020-09-10 | 1 | -44/+38 |
| * | Move reifing code under `FilteringProgram` class | Federico Igne | 2020-09-09 | 1 | -1/+1 |
| * | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -8/+10 |
| * | Refactor code into different files | Federico Igne | 2020-08-06 | 1 | -0/+84 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |