| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -106/+0 |
| * | Rework RSA as a utility object | Federico Igne | 2020-11-18 | 1 | -1/+1 |
| * | Rework suffixes | Federico Igne | 2020-11-16 | 1 | -1/+3 |
| * | Remove debug output | Federico Igne | 2020-11-10 | 1 | -1/+0 |
| * | Add OWLClassAssertionAxiom to axioms handled during translation | Federico Igne | 2020-11-10 | 1 | -1/+22 |
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -4/+8 |
| * | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -7/+9 |
| * | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 1 | -25/+29 |
| * | Adapt LP conversion to RSA check | Federico Igne | 2020-08-04 | 1 | -9/+12 |
| * | Add DL renderer for input rules | Federico Igne | 2020-08-03 | 1 | -6/+19 |
| * | Update to JRDFox v3.1.0 | Federico Igne | 2020-07-16 | 1 | -2/+2 |
| * | Rename source code directory structure | Federico Igne | 2020-07-15 | 1 | -0/+58 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |