aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
Commit message (Expand)AuthorAgeFilesLines
* Add external script to execute benchmarks and gather results.Federico Igne2021-01-051-7/+9
* Introduce code for transactions (commented out)Federico Igne2020-12-171-4/+17
* Keep track of answer multiplicityFederico Igne2020-12-091-5/+6
* Merge branch 'master' into loggerFederico Igne2020-12-081-2/+10
|\
| * Include literals in instances of `Named` internal predicateFederico Igne2020-12-081-2/+10
| * Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-071-1/+1
* | Remove (forced) materializationFederico Igne2020-12-081-2/+0
* | Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-071-0/+14
* | Fix typo in ontology diagnosticsFederico Igne2020-12-071-2/+2
* | Add additional diagnosticsFederico Igne2020-12-071-1/+7
* | Add first implementation of a loggerFederico Igne2020-12-071-101/+129
|/
* Reintroduce previous implementation of `cycle`Federico Igne2020-12-061-29/+32
* Rework skolemization strategiesFederico Igne2020-12-041-9/+6
* Make filtering program generate/load facts as factsFederico Igne2020-12-021-1/+3
* Move datalog rules generation for RSA check to new RDFox generatorFederico Igne2020-12-021-28/+47
* Adapt canonical model computation to new RDFox converterFederico Igne2020-12-021-14/+13
* Add ability to pass multiple ontology files on the commandlineFederico Igne2020-11-271-7/+9
* Turn implicit classes wrappers into objectsFederico Igne2020-11-241-2/+3
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-11/+11
* Remove duplicate creation of RDFox datastoresFederico Igne2020-11-231-12/+15
* Rename `boolean` as `bcq`Federico Igne2020-11-231-1/+1
* Update RSAOntology interface for query answeringFederico Igne2020-11-201-28/+36
* Simplify workflow for query executionFederico Igne2020-11-201-4/+51
* Integrate new ConjunctiveQuery in filtering program computationFederico Igne2020-11-191-1/+2
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-1/+1
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-5/+2
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-0/+380
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-15 21:47:24 +0000