| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -33/+40 |
| * | Add unit tests for example2.owl for the canonical model computation | Federico Igne | 2020-10-28 | 1 | -1/+1 |
| * | Fix bug in conflict set computation | Federico Igne | 2020-10-21 | 1 | -2/+2 |
| * | Simplify ProgramGenerator constructor | Federico Igne | 2020-10-09 | 1 | -11/+14 |
| * | Complete generation of logic program for the canonical model | Federico Igne | 2020-10-06 | 1 | -18/+34 |
| * | Add generation of rules for safe T5 axioms | Federico Igne | 2020-10-05 | 1 | -4/+139 |
| * | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -10/+18 |
| * | Add generation for forward/backwards rules | Federico Igne | 2020-09-25 | 1 | -5/+34 |
| * | Add skeleton for canonical model generation | Federico Igne | 2020-09-24 | 1 | -0/+57 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |