Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add setup code to compute the RSA filtering program | Federico Igne | 2020-09-07 | 1 | -1/+5 |
* | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -2/+7 |
* | Automate query evaluation in RDFoxUtil | Federico Igne | 2020-08-17 | 1 | -0/+22 |
* | Include built-in rules in RSA check | Federico Igne | 2020-08-16 | 1 | -0/+42 |