aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk
Commit message (Expand)AuthorAgeFilesLines
* 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-04 14:48:59 +0000