aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/rsacomb
Commit message (Expand)AuthorAgeFilesLines
* 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/+561
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-05 22:12:03 +0000