aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxClassExprConverter.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-159/+0
* Rework RSA as a utility objectFederico Igne2020-11-181-13/+6
* Rework suffixesFederico Igne2020-11-161-1/+3
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-161-2/+2
* Fix SKOLEM call creation during function skolemizationFederico Igne2020-11-101-4/+4
* Update code to RDFox v4.0Federico Igne2020-11-051-13/+12
* Fix problem with testsFederico Igne2020-10-091-1/+1
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-9/+12
* Introduce naive fresh variable generatorFederico Igne2020-09-071-5/+3
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-1/+3
* Generalise prefixesFederico Igne2020-08-191-2/+2
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-191-15/+13
* Include built-in rules in RSA checkFederico Igne2020-08-161-67/+98
* Adapt LP conversion to RSA checkFederico Igne2020-08-041-16/+30
* Add DL renderer for input rulesFederico Igne2020-08-031-9/+9
* Update to JRDFox v3.1.0Federico Igne2020-07-161-7/+7
* Rename source code directory structureFederico Igne2020-07-151-0/+119
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-05 18:58:00 +0000