| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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 |
| | | | | | | | Part of the process involves the search of unsafe roles in the input ontology. This is still to be implemented and for now the set of unsafe roles for the testing example is hardcoded. | ||||
| * | 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 |