Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Apache License 2.0 | Federico Igne | 2021-06-30 | 1 | -0/+16 |
* | Rework skolemization strategies | Federico Igne | 2020-12-04 | 1 | -0/+9 |
![]() |
index : RSAComb | |
Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Apache License 2.0 | Federico Igne | 2021-06-30 | 1 | -0/+16 |
* | Rework skolemization strategies | Federico Igne | 2020-12-04 | 1 | -0/+9 |