aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
Commit message (Expand)AuthorAgeFilesLines
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-151-4/+0
* Add ontology normalizerFederico Igne2021-02-041-1/+3
* Delay import of data files (#7)Federico Igne2021-01-301-77/+5
* Simplify top axiomatization as shown in #7Federico Igne2021-01-261-43/+84
* Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-5/+4
* Rework skolemization strategiesFederico Igne2020-12-041-15/+7
* Adapt canonical model computation to new RDFox converterFederico Igne2020-12-021-72/+61
* Turn implicit classes wrappers into objectsFederico Igne2020-11-241-2/+2
* Move NI instantiation in FilteringProgramFederico Igne2020-11-191-11/+8
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-0/+284