| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix SKOLEM call creation during function skolemization | Federico Igne | 2020-11-10 | 1 | -4/+16 |
| * | 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 |
| * | 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 |