aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter
Commit message (Collapse)AuthorAgeFilesLines
* refactor: RSA utilsdevelopFederico Igne2022-05-191-1/+3
|
* refactor: move RSAOntology class under ontology packageFederico Igne2022-05-192-2/+2
|
* Fix bug in normalisationFederico Igne2021-11-291-3/+2
| | | | This would not produce a completely normalised ontology.
* 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
|
* Update RDFox library to 5.2.1Federico Igne2021-09-011-8/+9
|
* Add new fresh data factoryFederico Igne2021-08-062-121/+139
| | | | This will help write more significant test.
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-031-28/+36
| | | | | | | | | The converter to RDFox datalog rules shouldn't worry about which axiom is supported or not (it should be a job of the approximation algorithm or of a previous step). Now the converter tries its best to convert anything that makes sense in datalog. Also upperbound is ready for testing.
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
| | | | | | Also the normalizer should not distinguish ALCHOIQ axioms from non-ALCHOIQ axioms, and should try its best to return a normalised axiom.
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-272-20/+19
|\
| * Generalize dependency graph generationFederico Igne2021-07-202-14/+16
| | | | | | | | | | | | | | | | | | | | The code to generate the dependency graph has been moved in the companion object of the generic OWL 2 ontology wrapper Ontology. This signals that we could potentially build a dependency graph for any ontology (and not only RSA ontology). Moreover, a dependency graph can be build for an Ontology object or an arbitrary TBox and Abox.
| * 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
| | | | It was not properly handled in the normalization process.
* 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
| | | | | This also allows to define ontology approximations to RSA in a simple way.
* Delay import of data files (#7)Federico Igne2021-01-301-7/+29
| | | | | This should partially solve the issue with data import through OWLAPI being too slow.
* 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
| | | | | | | Namely: + OWLEquivalentClassesAxiom + OWLFunctionalObjectPropertyAxiom + OWLInverseFunctionalObjectPropertyAxiom
* 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
| | | | | | | | Seems like an easy way to convert inverse roles into atoms is to write `R(y,x)` instead of `R^-(x,y)`. This is still something we need to test and some additional rules that use inverse roles in the naive way are still generated.
* 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
| | | | | | Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s).
* Simplify duplication of skolemization strategyFederico Igne2020-12-041-6/+10
|
* Rework skolemization strategiesFederico Igne2020-12-045-137/+112
| | | | | | In particular `ConstantRSA` has been removed, since it was *not* a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check.
* Adapt canonical model computation to new RDFox converterFederico Igne2020-12-021-32/+31
| | | | | When it comes to the canonical model, now facts are imported as facts in RDFox.
* Add alternative conversion of axioms using switch-casesFederico Igne2020-12-011-0/+480
| | | | | | This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run.
* Cleanup converters codeFederico Igne2020-12-012-6/+4
|
* Add support for data property domain axiomsFederico Igne2020-11-273-1/+55
| | | | Also reintroduce data property axioms in LUBM
* Add ability to convert domain/range axioms for object propertiesFederico Igne2020-11-261-3/+29
| | | | | They have a straightforward translation into the supported normal form proposed in the paper.
* 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-20 01:09:35 +0000