| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor(upperbound): improve choice function | Federico Igne | 2022-06-01 | 1 | -14/+6 |
| * | refactor: move RSAOntology class under ontology package | Federico Igne | 2022-05-19 | 1 | -1/+1 |
| * | Fix issue where not all roles where considered for top axiomatisation | Federico Igne | 2021-10-04 | 1 | -0/+2 |
| * | Add new fresh data factory | Federico Igne | 2021-08-06 | 1 | -7/+10 |
| * | Extend converter to RDFox rules to handle property chain axioms | Federico Igne | 2021-08-03 | 1 | -38/+0 |
| * | Implement fine-grained constant skolemization in upperbound | Federico Igne | 2021-07-29 | 1 | -100/+128 |
| * | Add skeleton for upperbound computation | Federico Igne | 2021-07-27 | 1 | -0/+183 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |