aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/implicits
Commit message (Expand)AuthorAgeFilesLines
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Rework revides filtering program computation to use named graphsFederico Igne2021-10-022-34/+23
* Rework naive filtering program computation to use named graphsFederico Igne2021-10-011-13/+13
* Make canonical model generation parametric over named graphFederico Igne2021-10-011-15/+7
* Add new fresh data factoryFederico Igne2021-08-061-4/+5
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-1/+2
|\
| * Generalize dependency graph generationFederico Igne2021-07-201-1/+2
* | Add Apache License 2.0Federico Igne2021-06-304-0/+64
|/
* Streamline RSA approximationFederico Igne2021-04-091-0/+6
* Add OWL{Data,Object}MinCardinality and OWLHasValue expression supportFederico Igne2021-01-231-2/+17
* Fix support for a few axiom types.Federico Igne2021-01-211-5/+12
* Port code to RDFox v4.1.0Federico Igne2020-12-171-14/+15
* Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom)Federico Igne2020-12-061-8/+80
* Add implicit convertion to Java CollectionsFederico Igne2020-12-021-0/+4
* Add implicit convertion from Java Sets/Collections to ListsFederico Igne2020-12-011-0/+8
* Turn implicit classes wrappers into objectsFederico Igne2020-11-242-2/+2
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-191-1/+0
* Reorganize project with Java-like folder structureFederico Igne2020-11-184-0/+276