aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAOntology.scala
Commit message (Expand)AuthorAgeFilesLines
* Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-071-1/+1
* 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-13 14:20:27 +0000