| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix axiom skolemization | Federico Igne | 2020-12-04 | 2 | -62/+56 |
| * | Rework skolemization strategies | Federico Igne | 2020-12-04 | 4 | -75/+65 |
| * | Make filtering program generate/load facts as facts | Federico Igne | 2020-12-02 | 1 | -5/+13 |
| * | Fix tests failing due to recent changes | Federico Igne | 2020-12-02 | 2 | -39/+86 |
| * | Add alternative conversion of axioms using switch-cases | Federico Igne | 2020-12-01 | 1 | -0/+104 |
| * | Rename `RDFoxHelpers` to `RDFoxUtil` | Federico Igne | 2020-11-24 | 1 | -1/+1 |
| * | Rework filtering program generation | Federico Igne | 2020-11-24 | 1 | -284/+59 |
| * | Rename `boolean` as `bcq` | Federico Igne | 2020-11-23 | 1 | -3/+3 |
| * | Add wrapper class for (boolean) conjunctive queries | Federico Igne | 2020-11-19 | 3 | -85/+297 |
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 4 | -0/+1381 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |