aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update RDFox library to 5.2.1Federico Igne2021-09-011-8/+9
* Add new fresh data factoryFederico Igne2021-08-062-121/+139
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-031-28/+36
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-272-20/+19
|\
| * Generalize dependency graph generationFederico Igne2021-07-202-14/+16
| * Fix minor compilation errorsFederico Igne2021-06-011-14/+11
* | Add Apache License 2.0Federico Igne2021-06-305-0/+80
|/
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-151-8/+0
* 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
* 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-172-11/+4
* Remove old logic program conversion codeFederico Igne2020-12-113-370/+0
* 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
* Simplify duplication of skolemization strategyFederico Igne2020-12-041-6/+10
* Rework skolemization strategiesFederico Igne2020-12-045-137/+112
* 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
* Cleanup converters codeFederico Igne2020-12-012-6/+4
* Add support for data property domain axiomsFederico Igne2020-11-273-1/+55
* Add ability to convert domain/range axioms for object propertiesFederico Igne2020-11-261-3/+29
* Reorganize project with Java-like folder structureFederico Igne2020-11-185-0/+383
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-19 12:49:19 +0000