| Commit message (Collapse) | 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 |
| | | | | | | | In particular `ConstantRSA` has been removed, since it was *not* a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check. | ||||
| * | 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 |
| This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run. | |||||
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |