| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize tests | Federico Igne | 2020-12-07 | 1 | -108/+0 |
| * | Rework skolemization strategies | Federico Igne | 2020-12-04 | 1 | -8/+8 |
| * | Fix tests failing due to recent changes | Federico Igne | 2020-12-02 | 1 | -11/+15 |
| * | Add alternative conversion of axioms using switch-cases | Federico Igne | 2020-12-01 | 1 | -0/+104 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |