| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -78/+0 |
| | | |||||
| * | Fix SKOLEM call creation during function skolemization | Federico Igne | 2020-11-10 | 1 | -4/+16 |
| | | | | | | The first argument of a SKOLEM call needs to be a literal string. Note that this is not enforced in any way by RDFox, that will fail silently. | ||||
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -1/+1 |
| | | |||||
| * | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -14/+18 |
| | | |||||
| * | Adapt LP conversion to RSA check | Federico Igne | 2020-08-04 | 1 | -1/+17 |
| | | | | | | | 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. | ||||
| * | Rename source code directory structure | Federico Igne | 2020-07-15 | 1 | -0/+46 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |