aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk
Commit message (Collapse)AuthorAgeFilesLines
* feat: implicitly propagate configs to approximationsFederico Igne2022-06-011-6/+18
|
* 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
| | | | | These tests will check correctness of the overall system across versions. We should add more tests for know ontologies.
* Temporary comment unit testFederico Igne2021-10-034-207/+207
|
* Add new fresh data factoryFederico Igne2021-08-063-194/+228
| | | | This will help write more significant test.
* 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
| | | | | Later on this will allow us to select the algorithm from the command line and compare performance easily.
* Add ontology normalizerFederico Igne2021-02-041-0/+140
| | | | | This also allows to define ontology approximations to RSA in a simple way.
* Delay import of data files (#7)Federico Igne2021-01-301-8/+4
| | | | | This should partially solve the issue with data import through OWLAPI being too slow.
* 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
| | | | | | | | These need to be ported to the new conversion implementation.
* | 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
| | | | | | | | Seems like an easy way to convert inverse roles into atoms is to write `R(y,x)` instead of `R^-(x,y)`. This is still something we need to test and some additional rules that use inverse roles in the naive way are still generated.
* Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-2/+2
| | | | | A version of the rule with an empty suffix was missing. Note that this is not completely clear from the paper.
* Reorganize testsFederico Igne2020-12-075-5/+5
|
* Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-072-18/+18
| | | | | One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object.
* 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
| | | | | This is done because `cycle` is being reworked from a theoretical point of view at the moment.
* Fix axiom skolemizationFederico Igne2020-12-042-62/+56
| | | | | | Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s).
* Rework skolemization strategiesFederico Igne2020-12-044-75/+65
| | | | | | In particular `ConstantRSA` has been removed, since it was *not* a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check.
* 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
| | | | | | This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run.
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-1/+1
| | | | For a more consistent naming.
* 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-05 08:47:34 +0000