Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -35/+0 |
* | Rework RSA as a utility object | Federico Igne | 2020-11-18 | 1 | -1/+1 |
* | Unify use of RSASuffix | Federico Igne | 2020-11-17 | 1 | -5/+4 |
* | Rework suffixes | Federico Igne | 2020-11-16 | 1 | -4/+6 |
* | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -7/+8 |
* | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -6/+9 |
* | Introduce naive fresh variable generator | Federico Igne | 2020-09-07 | 1 | -1/+1 |
* | Use `rdf(..)` instead of `create(..)` to create `Atom`s | Federico Igne | 2020-08-19 | 1 | -15/+14 |
* | Add DL renderer for input rules | Federico Igne | 2020-08-03 | 1 | -0/+7 |
* | Update to JRDFox v3.1.0 | Federico Igne | 2020-07-16 | 1 | -2/+3 |
* | Rename source code directory structure | Federico Igne | 2020-07-15 | 1 | -0/+23 |