aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/uk/ac/ox/cs/rsacomb/CanonicalModelSpec.scala
Commit message (Expand)AuthorAgeFilesLines
* feat: implicitly propagate configs to approximationsFederico Igne2022-06-011-6/+18
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Serialise and silence output in testsFederico Igne2021-10-211-1/+3
* Temporary comment unit testFederico Igne2021-10-031-1/+1
* Add new fresh data factoryFederico Igne2021-08-061-173/+175
* Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-301-0/+16
|\
| * Add Apache License 2.0Federico Igne2021-06-301-0/+16
* | Update README.mdFederico Igne2021-06-301-1/+1
|/
* Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-2/+2
* Reorganize testsFederico Igne2020-12-071-1/+1
* Temporarily ignore tests involving `cycle` computationFederico Igne2020-12-061-4/+4
* Rework skolemization strategiesFederico Igne2020-12-041-28/+10
* Fix tests failing due to recent changesFederico Igne2020-12-021-28/+71
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-241-1/+1
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-0/+370