| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Simplify role extraction from axioms | Federico Igne | 2020-11-13 | 1 | -58/+18 |
| * | Generalize axiom hashing for constant generation | Federico Igne | 2020-11-10 | 1 | -0/+14 |
| * | Complete generation of logic program for the canonical model | Federico Igne | 2020-10-06 | 1 | -1/+7 |
| * | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -36/+56 |
| * | Fix role unsafety check | Federico Igne | 2020-08-11 | 1 | -3/+7 |
| * | Add unsafety check for ontology roles | Federico Igne | 2020-08-06 | 1 | -51/+103 |
| * | Refactor code into different files | Federico Igne | 2020-08-06 | 1 | -0/+86 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |