aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/CanonicalModel.scala
Commit message (Expand)AuthorAgeFilesLines
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-0/+1
* Fix issue where not all roles where considered for top axiomatisationFederico Igne2021-10-041-1/+1
* Make canonical model generation parametric over named graphFederico Igne2021-10-011-14/+21
* Add new fresh data factoryFederico Igne2021-08-061-6/+6
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-2/+2
|\
| * Review main workflowFederico Igne2021-07-221-1/+1
| * Generalize dependency graph generationFederico Igne2021-07-201-1/+1
* | Add Apache License 2.0Federico Igne2021-06-301-0/+16
|/
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-01 22:01:04 +0000