aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk/ac/ox/cs
Commit message (Expand)AuthorAgeFilesLines
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Finalise dbpedia functional testingFederico Igne2021-10-301-0/+41
* Serialise and silence output in testsFederico Igne2021-10-212-2/+6
* Tag some tests as slowFederico Igne2021-10-041-2/+15
* Fix functional testsFederico Igne2021-10-031-1/+1
* Introduce functional testsFederico Igne2021-10-031-0/+49
* Temporary comment unit testFederico Igne2021-10-034-207/+207
* Add new fresh data factoryFederico Igne2021-08-063-194/+228
* Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-309-0/+144
|\
| * Add Apache License 2.0Federico Igne2021-06-309-0/+144
* | Update README.mdFederico Igne2021-06-301-1/+1
|/
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-051-0/+21
* Change filtering program name on testsFederico Igne2021-04-051-1/+1
* Add versioning system for different versions of codeFederico Igne2021-02-042-21/+32
* Add ontology normalizerFederico Igne2021-02-041-0/+140
* Delay import of data files (#7)Federico Igne2021-01-301-8/+4
* Suite containing all the testsStefano Germano2020-12-181-0/+17
* Merge remote-tracking branch 'origin/master' into masterFederico Igne2020-12-171-1/+1
|\
| * Fix typoStefano Germano2020-12-161-1/+1
* | Comment out old testsFederico Igne2020-12-173-521/+521
* | Fix and improve tests for CQ answer classFederico Igne2020-12-171-5/+48
|/
* Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-081-3/+2
* Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-2/+2
* Reorganize testsFederico Igne2020-12-075-5/+5
* Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-072-18/+18
* Update answers pretty printerFederico Igne2020-12-071-2/+2
* Change answer pritty printer to use CSV-like syntaxFederico Igne2020-12-061-14/+24
* Temporarily ignore tests involving `cycle` computationFederico Igne2020-12-061-4/+4
* Fix axiom skolemizationFederico Igne2020-12-042-62/+56
* Rework skolemization strategiesFederico Igne2020-12-044-75/+65
* Make filtering program generate/load facts as factsFederico Igne2020-12-021-5/+13
* Fix tests failing due to recent changesFederico Igne2020-12-022-39/+86
* Add alternative conversion of axioms using switch-casesFederico Igne2020-12-011-0/+104
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-1/+1
* Rework filtering program generationFederico Igne2020-11-241-284/+59
* Rename `boolean` as `bcq`Federico Igne2020-11-231-3/+3
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-193-85/+297
* Reorganize project with Java-like folder structureFederico Igne2020-11-184-0/+1381
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-06 02:19:33 +0000