aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/rsacomb/CanonicalModelSpec.scala
Commit message (Expand)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-369/+0
* Rework RSA as a utility objectFederico Igne2020-11-181-27/+32
* Remove implicit RSAOntology conversionFederico Igne2020-11-171-11/+11
* 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-051-1/+2
* 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
* More details in build.sbt and updated dependenciesStefano Germano2020-10-191-2/+5
* Add some tests for canonical model computationFederico Igne2020-10-101-13/+69
* Add skeleton file for CanonicalModel testingFederico Igne2020-10-091-0/+46
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-12 22:06:05 +0000