aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter/Normalizer.scala
Commit message (Expand)AuthorAgeFilesLines
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Fix bug in normalisationFederico Igne2021-11-291-3/+2
* Update RDFox library to 5.2.1Federico Igne2021-09-011-8/+9
* Add new fresh data factoryFederico Igne2021-08-061-67/+82
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-14/+12
|\
| * Generalize dependency graph generationFederico Igne2021-07-201-8/+9
| * Fix minor compilation errorsFederico Igne2021-06-011-14/+11
* | Add Apache License 2.0Federico Igne2021-06-301-0/+16
|/
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-091-2/+9
* Streamline RSA approximationFederico Igne2021-04-091-3/+3
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-051-2/+56
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
* Add ontology normalizerFederico Igne2021-02-041-0/+532