aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/approximation
Commit message (Expand)AuthorAgeFilesLines
* refactor(upperbound): improve choice functionFederico Igne2022-06-011-14/+6
* feat: implicitly propagate configs to approximationsFederico Igne2022-06-011-6/+6
* fix(lowerbound): cycle detection in approximation algorithmFederico Igne2022-05-191-11/+99
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Fix bug in normalisationFederico Igne2021-11-291-8/+4
* Fix issue where not all roles where considered for top axiomatisationFederico Igne2021-10-042-1/+8
* Add new fresh data factoryFederico Igne2021-08-062-15/+17
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-031-38/+0
* Implement fine-grained constant skolemization in upperboundFederico Igne2021-07-291-100/+128
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-291-9/+9
* Add skeleton for upperbound computationFederico Igne2021-07-271-0/+183
* Rework class structure to match more general workflowFederico Igne2021-07-271-1/+1
* Fix file namingFederico Igne2021-07-222-2/+2
* Remove normalization step from lowerbound computationFederico Igne2021-07-221-17/+10
* Make approximation generic over returned typeFederico Igne2021-07-222-33/+30
* Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-221-2/+2
* Generalize dependency graph generationFederico Igne2021-07-201-2/+2
* Fix minor compilation errorsFederico Igne2021-06-011-6/+25
* Multiple fixesFederico Igne2021-05-312-12/+30
* Add scafolding for generic approximation supportFederico Igne2021-05-312-0/+223
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-14 19:57:19 +0000