aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/util
Commit message (Expand)AuthorAgeFilesLines
* Rework RDFox simulation to be more modularFederico Igne2021-10-201-5/+74
* Add script to load debug data to RDFoxFederico Igne2021-10-051-4/+10
* Make file logging lazyFederico Igne2021-10-041-1/+1
* Add file output on verbose log levelFederico Igne2021-10-031-6/+11
* Introduce functional testsFederico Igne2021-10-031-3/+5
* Assign queries integer identifierFederico Igne2021-10-031-7/+10
* Move to os-lib for filesystem operationsFederico Igne2021-10-031-8/+12
* Expose logger level to CLIFederico Igne2021-10-021-1/+1
* Rework revides filtering program computation to use named graphsFederico Igne2021-10-021-54/+16
* Rework naive filtering program computation to use named graphsFederico Igne2021-10-012-74/+51
* Make canonical model generation parametric over named graphFederico Igne2021-10-012-28/+54
* Refactor query answering to use named graphsFederico Igne2021-09-301-17/+21
* Add import of multiple queriesFederico Igne2021-09-291-9/+41
* Update RDFox library to 5.2.1Federico Igne2021-09-011-1/+2
* Add new fresh data factoryFederico Igne2021-08-061-0/+29
* Add Apache License 2.0Federico Igne2021-06-304-0/+64
* Fix automatic query buildingFederico Igne2021-06-231-5/+9
* Fix minor issues with revised filtering programFederico Igne2021-04-021-0/+3
* Add versioning system for different versions of codeFederico Igne2021-02-041-0/+18
* Fix facts/rules import into RDFoxFederico Igne2021-01-301-8/+22
* Delay import of data files (#7)Federico Igne2021-01-302-0/+20
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-051-1/+1
* Port code to RDFox v4.1.0Federico Igne2020-12-171-9/+42
* Fix answer retrieval for boolean CQsFederico Igne2020-12-111-1/+1
* Keep track of answer multiplicityFederico Igne2020-12-091-4/+4
* Add additional diagnosticsFederico Igne2020-12-071-0/+4
* Add first implementation of a loggerFederico Igne2020-12-072-21/+92
* Add method to retrieve diagnostics from RDFoxFederico Igne2020-12-061-0/+15
* Unify upload of rules and facts to RDFox datastoreFederico Igne2020-12-021-4/+24
* Turn implicit classes wrappers into objectsFederico Igne2020-11-241-3/+2
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-4/+4
* Rework filtering program generationFederico Igne2020-11-241-2/+60
* Include BCQ case in filtering program generationFederico Igne2020-11-231-31/+19
* Remove duplicate creation of RDFox datastoresFederico Igne2020-11-231-4/+5
* Update RSAOntology interface for query answeringFederico Igne2020-11-201-0/+25
* Simplify workflow for query executionFederico Igne2020-11-201-35/+63
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-4/+11
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-2/+2
* Reorganize project with Java-like folder structureFederico Igne2020-11-182-0/+200