aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/Main.scala
Commit message (Expand)AuthorAgeFilesLines
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-291-2/+2
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-17/+24
|\
| * Rework class structure to match more general workflowFederico Igne2021-07-271-12/+12
| * Review main workflowFederico Igne2021-07-221-14/+12
| * Generalize dependency graph generationFederico Igne2021-07-201-0/+10
| * Merge branch 'master' into approximationFederico Igne2021-06-231-0/+14
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-011-2/+1
| * | Multiple fixesFederico Igne2021-05-311-2/+2
* | | Add Apache License 2.0Federico Igne2021-06-301-0/+16
| |/ |/|
* | Fix automatic query buildingFederico Igne2021-06-231-0/+14
|/
* Update minor details in documentationFederico Igne2021-05-311-0/+2
* Streamline RSA approximationFederico Igne2021-04-091-76/+24
* Apply minor tweaksFederico Igne2021-04-021-1/+2
* Introduce a better system to handle command line inputFederico Igne2021-01-301-58/+142
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-051-1/+1
* Slightly rework main executionFederico Igne2021-01-051-46/+39
* Add additional debug information to query executionFederico Igne2020-12-171-10/+22
* Keep track of answer multiplicityFederico Igne2020-12-091-1/+6
* Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-071-5/+21
* Merge branch 'master' into loggerFederico Igne2020-12-071-1/+1
|\
| * Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-071-1/+1
* | Add first implementation of a loggerFederico Igne2020-12-071-7/+9
|/
* Fix bug on argument validationFederico Igne2020-11-301-1/+1
* Add ability to pass multiple ontology files on the commandlineFederico Igne2020-11-271-8/+9
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-1/+1
* Simplify workflow for query executionFederico Igne2020-11-201-179/+7
* Integrate new ConjunctiveQuery in filtering program computationFederico Igne2020-11-191-5/+4
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-4/+4
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-14/+4
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-0/+249