aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/Main.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-249/+0
* Rework RSA as a utility objectFederico Igne2020-11-181-110/+122
* Remove implicit RSAOntology conversionFederico Igne2020-11-171-1/+1
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-161-5/+16
* Fix NI predicate computationFederico Igne2020-11-141-9/+45
* Add diagnostic queries along main queryFederico Igne2020-11-131-26/+83
* Simplify reification process and add negation reificationFederico Igne2020-11-091-0/+4
* Rework canonical model computationFederico Igne2020-11-061-13/+56
* Update tests to RDFox v4.0Federico Igne2020-11-051-2/+1
* Complete generation of logic program for the canonical modelFederico Igne2020-10-061-13/+1
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-0/+17
* Add method to parse a string into a QueryFederico Igne2020-09-231-1/+3
* Use `App` trait instead of `main` functionFederico Igne2020-09-101-44/+38
* Move reifing code under `FilteringProgram` classFederico Igne2020-09-091-1/+1
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-8/+10
* Refactor code into different filesFederico Igne2020-08-061-0/+84