| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update tests to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -30/+33 |
| | | |||||
| * | Fix issue with introduction of new version of OWLAPI | Federico Igne | 2020-10-21 | 1 | -6/+10 |
| | | |||||
| * | More details in build.sbt and updated dependencies | Stefano Germano | 2020-10-19 | 1 | -2/+4 |
| | | | | | | While updating the dependencies, I noticed that v3.2 of scalatest is very different from v3.1 (https://www.scalatest.org/release_notes/3.2.0). Therefore, I also needed to update the test files. But, there is a "too many arguments" error that needs to be solved (I do not know why it was working before). | ||||
| * | Fix problem with tests | Federico Igne | 2020-10-09 | 1 | -9/+9 |
| | | | | | Tests where not ported to the new (slightly more generic) interface. | ||||
| * | Update and comment some tests | Federico Igne | 2020-09-10 | 1 | -86/+90 |
| | | | | | | | 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 | 1 | -12/+12 |
| | | |||||
| * | Rename source code directory structure | Federico Igne | 2020-07-15 | 1 | -0/+259 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |