aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxPropertyExprConverter.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-35/+0
* Rework RSA as a utility objectFederico Igne2020-11-181-1/+1
* Unify use of RSASuffixFederico Igne2020-11-171-5/+4
* Rework suffixesFederico Igne2020-11-161-4/+6
* Update code to RDFox v4.0Federico Igne2020-11-051-7/+8
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-6/+9
* Introduce naive fresh variable generatorFederico Igne2020-09-071-1/+1
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-191-15/+14
* Add DL renderer for input rulesFederico Igne2020-08-031-0/+7
* Update to JRDFox v3.1.0Federico Igne2020-07-161-2/+3
* Rename source code directory structureFederico Igne2020-07-151-0/+23