| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |