| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Rework revides filtering program computation to use named graphs | Federico Igne | 2021-10-02 | 1 | -0/+4 |
| * | Add Apache License 2.0 | Federico Igne | 2021-06-30 | 1 | -0/+16 |
| * | Add OWL{Data,Object}MinCardinality and OWLHasValue expression support | Federico Igne | 2021-01-23 | 1 | -2/+17 |
| * | Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom) | Federico Igne | 2020-12-06 | 1 | -8/+80 |
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -0/+20 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |