aboutsummaryrefslogtreecommitdiff
path: root/src/test
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add additional tests for T5 axiom rule generationFederico Igne2020-10-231-1/+58
* Fix bug in conflict set computationFederico Igne2020-10-211-1/+14
* Fix issue with introduction of new version of OWLAPIFederico Igne2020-10-212-17/+23
* More details in build.sbt and updated dependenciesStefano Germano2020-10-193-6/+13
* Add some tests for canonical model computationFederico Igne2020-10-101-13/+69
* Add skeleton file for CanonicalModel testingFederico Igne2020-10-091-0/+46
* Fix problem with testsFederico Igne2020-10-092-10/+10
* Update and comment some testsFederico Igne2020-09-102-201/+228
* Update to JRDFox v3.1.0Federico Igne2020-07-162-42/+42
* Rename source code directory structureFederico Igne2020-07-152-0/+0
* Add reworked code from previous repoFederico Igne2020-07-152-0/+561
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-13 04:49:44 +0000