aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSA.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-100/+0
* Rename internal predicate "EquivTo" to "congruent"Federico Igne2020-11-181-2/+2
* Change IRI prefix for internal resourcesFederico Igne2020-11-181-1/+1
* Rework RSA as a utility objectFederico Igne2020-11-181-34/+71
* Remove implicit RSAOntology conversionFederico Igne2020-11-171-9/+2
* Rework suffixesFederico Igne2020-11-161-1/+0
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-161-5/+5
* Fix NI predicate computationFederico Igne2020-11-141-0/+2
* Generalize axiom hashing for constant generationFederico Igne2020-11-101-1/+18
* Update code to RDFox v4.0Federico Igne2020-11-051-9/+1
* Simplify ProgramGenerator constructorFederico Igne2020-10-091-0/+6
* Add method to parse a string into a QueryFederico Igne2020-09-231-12/+1
* Add full set of rules for filtering programFederico Igne2020-09-081-2/+3
* Introduce naive fresh variable generatorFederico Igne2020-09-071-0/+8
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-0/+24
* Generalise prefixesFederico Igne2020-08-191-5/+14
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-191-1/+7
* Refactor code into different filesFederico Igne2020-08-061-0/+17
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-06 04:24:16 +0000