aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | Rename repository to RSACombFederico Igne2021-06-302-3/+4
|/ / /
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3033-1/+699
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3033-1/+699
| | | |
* | | | Update README.mdFederico Igne2021-06-302-2/+13
|/ / /
* | | Update README.mdFederico Igne2021-06-291-2/+12
| | |
* | | Fix path in examplesFederico Igne2021-06-291-3/+3
| |/ |/|
* | 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
|
* Update example splitting TBox and ABoxFederico Igne2021-05-312-46/+3
|
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-154-26/+12
|
* 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-302-60/+160
|
* 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
* Add sbt plugin to create jar with dependencesFederico Igne2021-01-084-14/+69
| | | | Also update README.md with info on how to compile and run the program.
* Merge remote-tracking branch 'origin/master'Federico Igne2021-01-052-0/+18
|\
| * Add drafts folder to gitignoreStefano Germano2020-12-181-0/+1
| |
| * Suite containing all the testsStefano Germano2020-12-181-0/+17
| |
* | Add external script to execute benchmarks and gather results.Federico Igne2021-01-054-9/+214
| |
* | 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
|\
| * Fix typoStefano Germano2020-12-161-1/+1
| |
* | Comment out old testsFederico Igne2020-12-173-521/+521
| | | | | | | | These need to be ported to the new conversion implementation.
* | Fix and improve tests for CQ answer classFederico Igne2020-12-171-5/+48
| |
* | Introduce code for transactions (commented out)Federico Igne2020-12-171-4/+17
| | | | | | | | | | | | | | | | | | At this time transaction are not working well with the program, and importing everything in one transaction causes the query answering program to take too long. Hopefully we will be able to fix the bug and enable transactional execution of the major steps in the algorithm.
* | Add additional debug information to query executionFederico Igne2020-12-171-10/+22
| |
* | Port code to RDFox v4.1.0Federico Igne2020-12-175-35/+62
| |
* | Remove old logic program conversion codeFederico Igne2020-12-113-370/+0
| |
* | Fix answer retrieval for boolean CQsFederico Igne2020-12-111-1/+1
|/
* Merge branch 'logger' into masterFederico Igne2020-12-095-143/+298
|\
| * Keep track of answer multiplicityFederico Igne2020-12-094-17/+30
| |
| * Merge branch 'master' into loggerFederico Igne2020-12-0813-24/+40
| |\
| * | Remove (forced) materializationFederico Igne2020-12-081-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | This is a useless call since RDFox automatically materialize it's datasets when committing a transactions. Since loading rules/facts uses an internal transaction internally, these materialization calls do nothing. It will be still usefull when operating inside transactions.
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-01 12:08:49 +0000