aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala
Commit message (Expand)AuthorAgeFilesLines
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-191-1/+1
* Finalise dbpedia functional testingFederico Igne2021-10-301-1/+1
* Serialise and silence output in testsFederico Igne2021-10-211-1/+0
* Make canonical model generation parametric over named graphFederico Igne2021-10-011-7/+14
* Always use internal equality instead of SAME_ASFederico Igne2021-09-291-2/+2
* Add new fresh data factoryFederico Igne2021-08-061-54/+57
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-031-28/+36
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-271-6/+7
|\
| * Generalize dependency graph generationFederico Igne2021-07-201-6/+7
* | Add Apache License 2.0Federico Igne2021-06-301-0/+16
|/
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-151-8/+0
* Delay import of data files (#7)Federico Igne2021-01-301-7/+29
* Add OWLDataHasValue class expression supportFederico Igne2021-01-231-1/+8
* Add OWLSymmetricObjectPropertyAxiom and OWLSubDataPropertyOfAxiom supportFederico Igne2021-01-231-5/+17
* Add OWLDisjointClassesAxiom supportFederico Igne2021-01-231-1/+7
* Add OWL{Data,Object}MinCardinality and OWLHasValue expression supportFederico Igne2021-01-231-3/+64
* Fix support for a few axiom types.Federico Igne2021-01-211-31/+10
* Port code to RDFox v4.1.0Federico Igne2020-12-171-9/+3
* Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-081-1/+2
* Fix bug for data property translationFederico Igne2020-12-071-1/+1
* Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom)Federico Igne2020-12-061-0/+15
* Fix axiom skolemizationFederico Igne2020-12-041-3/+3
* Rework skolemization strategiesFederico Igne2020-12-041-43/+19
* Adapt canonical model computation to new RDFox converterFederico Igne2020-12-021-32/+31
* Add alternative conversion of axioms using switch-casesFederico Igne2020-12-011-0/+480
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-30 18:56:51 +0000