aboutsummaryrefslogtreecommitdiff
path: root/src/test
Commit message (Expand)AuthorAgeFilesLines
* 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-6/+13
* Rework RSA as a utility objectFederico Igne2020-11-184-65/+89
* Remove implicit RSAOntology conversionFederico Igne2020-11-172-12/+11
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-162-6/+6
* Fix testsFederico Igne2020-11-141-3/+3
* Update canonical model unit testsFederico Igne2020-11-061-11/+11
* Update tests to RDFox v4.0Federico Igne2020-11-054-282/+289
* Simplify prettyprinting of queries in testFederico Igne2020-11-021-8/+8
* Update duplicate test queriesFederico Igne2020-11-021-17/+93
* Introduce workaround to RDFox Query parsing bugFederico Igne2020-11-021-113/+246
* Add partial unit tests for filtering program computationFederico Igne2020-10-291-0/+174
* Add unit tests for example2.owl for the canonical model computationFederico Igne2020-10-281-3/+152
* Adapt test to new `cycle` methodFederico Igne2020-10-281-14/+24
* Add tests for 'subObjectPropertyOf' axiomsFederico Igne2020-10-231-5/+34
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-03 05:32:14 +0000