aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter
Commit message (Expand)AuthorAgeFilesLines
* 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-03 01:20:47 +0000