aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala
Commit message (Collapse)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
| | | | | | | | 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-6/+13
|
* Rework RSA as a utility objectFederico Igne2020-11-184-65/+89
|
* Remove implicit RSAOntology conversionFederico Igne2020-11-172-12/+11
| | | | | | This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-162-6/+6
|
* Fix testsFederico Igne2020-11-141-3/+3
| | | | | They were loading the wrong example file since we switched to Turtle format.
* 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
| | | | | | For now we are building queries manually. This allows us to work on testing the modules involved but it would be nice to have the bug fixed later on.
* Add partial unit tests for filtering program computationFederico Igne2020-10-291-0/+174
| | | | The committed tests will fail, but the reason is still not clear.
* 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
| | | | | While updating the dependencies, I noticed that v3.2 of scalatest is very different from v3.1 (https://www.scalatest.org/release_notes/3.2.0). Therefore, I also needed to update the test files. But, there is a "too many arguments" error that needs to be solved (I do not know why it was working before).
* 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
| | | | Tests where not ported to the new (slightly more generic) interface.
* Update and comment some testsFederico Igne2020-09-102-201/+228
| | | | | | With the introduction of the fresh variable generator it is harder to test axiom conversion because we would need to define a custom equality method that doesn't take particular variables into account.
* 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-05 18:54:39 +0000