aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-032-66/+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.
* Implement fine-grained constant skolemization in upperboundFederico Igne2021-07-291-100/+128
|
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-292-11/+11
|
* Add skeleton for upperbound computationFederico Igne2021-07-271-0/+183
|
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-279-415/+886
|\
| * Rework class structure to match more general workflowFederico Igne2021-07-273-13/+15
| | | | | | | | | | | | | | | | The major change is the introduction of a new class Ontology (superclass of RSAOntology) that contains all those operation that we would like to perform on *any* OWL 2 ontology. Approximation is also generic on the return type, allowing for example intermediate steps (or chaining of approximations).
| * Fix file namingFederico Igne2021-07-223-2/+2
| |
| * Remove normalization step from lowerbound computationFederico Igne2021-07-222-18/+15
| |
| * Review main workflowFederico Igne2021-07-224-17/+61
| |
| * Make approximation generic over returned typeFederico Igne2021-07-223-38/+33
| |
| * Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-223-259/+248
| |
| * Generalize dependency graph generationFederico Igne2021-07-208-119/+182
| | | | | | | | | | | | | | | | | | | | 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.
| * Add generic Ontology wrapper for common tasksFederico Igne2021-07-201-0/+90
| |
| * Merge branch 'master' into approximationFederico Igne2021-06-234-14/+31
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-014-83/+106
| | |
| * | Multiple fixesFederico Igne2021-05-314-54/+80
| | |
| * | Add scafolding for generic approximation supportFederico Igne2021-05-313-143/+385
| | |
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3031-0/+496
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3031-0/+496
| | |/ | |/|
* / | Update README.mdFederico Igne2021-06-301-1/+1
|/ /
* / Fix automatic query buildingFederico Igne2021-06-234-14/+31
|/ | | | | The API for the SKOLEM operator is changed in RDFox but the helper functions using it were not ported to the new syntax.
* Update minor details in documentationFederico Igne2021-05-311-0/+2
|
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-153-14/+0
|
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-092-46/+54
| | | | It was not properly handled in the normalization process.
* Streamline RSA approximationFederico Igne2021-04-094-162/+132
|
* Add approximation to RSAFederico Igne2021-04-071-107/+159
| | | | | | | | Note that while the code is complete for approximating an input OWL2 ontology to RSA, the final steps are not "connected" yet, and the approximation won't fire automatically. We still need to find a way to include the approximation in the workflow in an efficient and transparent way.
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-052-2/+77
|
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
|
* Change filtering program name on testsFederico Igne2021-04-051-1/+1
|
* Fix minor issues with revised filtering programFederico Igne2021-04-022-80/+97
|
* Apply minor tweaksFederico Igne2021-04-022-11/+14
|
* Add revised implementation of filtering programFederico Igne2021-02-044-6/+414
|
* Add versioning system for different versions of codeFederico Igne2021-02-046-33/+98
| | | | | Later on this will allow us to select the algorithm from the command line and compare performance easily.
* Add ontology normalizerFederico Igne2021-02-044-2/+681
| | | | | This also allows to define ontology approximations to RSA in a simple way.
* Fix facts/rules import into RDFoxFederico Igne2021-01-301-8/+22
|
* Delay import of data files (#7)Federico Igne2021-01-307-202/+260
| | | | | This should partially solve the issue with data import through OWLAPI being too slow.
* Introduce a better system to handle command line inputFederico Igne2021-01-301-58/+142
|
* Simplify top axiomatization as shown in #7Federico Igne2021-01-261-43/+84
|
* 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-232-5/+81
|
* Fix support for a few axiom types.Federico Igne2021-01-212-36/+22
| | | | | | | Namely: + OWLEquivalentClassesAxiom + OWLFunctionalObjectPropertyAxiom + OWLInverseFunctionalObjectPropertyAxiom
* Merge remote-tracking branch 'origin/master'Federico Igne2021-01-051-0/+17
|\
| * Suite containing all the testsStefano Germano2020-12-181-0/+17
| |
* | Add external script to execute benchmarks and gather results.Federico Igne2021-01-053-9/+11
| |
* | Slightly rework main executionFederico Igne2021-01-051-46/+39
| |
* | Attempt to force a better ordering of body atoms in filtering rulesFederico Igne2021-01-051-9/+9
|/ | | | | | | | | This is based on an email from Yavor, suggesting a couple of improvements on the code. In particular this refers to the fact that, when RDFox lacks any information it assumes user ordering in the processing order of a rule body.
* Merge remote-tracking branch 'origin/master' into masterFederico Igne2020-12-171-1/+1
|\
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-04 03:27:33 +0000