| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add tests for 'subObjectPropertyOf' axioms | Federico Igne | 2020-10-23 | 1 | -5/+34 |
| * | Add additional tests for T5 axiom rule generation | Federico Igne | 2020-10-23 | 1 | -1/+58 |
| * | Fix bug in conflict set computation | Federico Igne | 2020-10-21 | 1 | -1/+14 |
| * | Fix issue with introduction of new version of OWLAPI | Federico Igne | 2020-10-21 | 2 | -17/+23 |
| * | More details in build.sbt and updated dependencies | Stefano Germano | 2020-10-19 | 3 | -6/+13 |
| * | Add some tests for canonical model computation | Federico Igne | 2020-10-10 | 1 | -13/+69 |
| * | Add skeleton file for CanonicalModel testing | Federico Igne | 2020-10-09 | 1 | -0/+46 |
| * | Fix problem with tests | Federico Igne | 2020-10-09 | 2 | -10/+10 |
| * | Update and comment some tests | Federico Igne | 2020-09-10 | 2 | -201/+228 |
| * | 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 |