| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rework skolemization strategies | Federico Igne | 2020-12-04 | 1 | -15/+7 |
| * | Adapt canonical model computation to new RDFox converter | Federico Igne | 2020-12-02 | 1 | -72/+61 |
| * | Turn implicit classes wrappers into objects | Federico Igne | 2020-11-24 | 1 | -2/+2 |
| * | Move NI instantiation in FilteringProgram | Federico Igne | 2020-11-19 | 1 | -11/+8 |
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -0/+284 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |