| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: implicitly propagate configs to approximations | Federico Igne | 2022-06-01 | 1 | -6/+6 |
| * | fix(lowerbound): cycle detection in approximation algorithm | Federico Igne | 2022-05-19 | 1 | -11/+99 |
| * | Fix bug in normalisation | Federico Igne | 2021-11-29 | 1 | -8/+4 |
| * | Fix issue where not all roles where considered for top axiomatisation | Federico Igne | 2021-10-04 | 1 | -1/+6 |
| * | Add new fresh data factory | Federico Igne | 2021-08-06 | 1 | -8/+7 |
| * | Change spelling: LowerBound to Lowerbound | Federico Igne | 2021-07-29 | 1 | -9/+9 |
| * | Rework class structure to match more general workflow | Federico Igne | 2021-07-27 | 1 | -1/+1 |
| * | Fix file naming | Federico Igne | 2021-07-22 | 1 | -0/+232 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |