| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Update and comment some tests | Federico Igne | 2020-09-10 | 2 | -201/+228 | |
| | | | | | | | With the introduction of the fresh variable generator it is harder to test axiom conversion because we would need to define a custom equality method that doesn't take particular variables into account. | |||||
| * | Update to JRDFox v3.1.0 | Federico Igne | 2020-07-16 | 2 | -42/+42 | |
| | | ||||||
| * | Rename source code directory structure | Federico Igne | 2020-07-15 | 2 | -0/+0 | |
| | | ||||||
| * | Add reworked code from previous repo | Federico Igne | 2020-07-15 | 2 | -0/+561 | |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |