aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Suite containing all the testsStefano Germano2020-12-181-0/+17
|
* 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.
| * | Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-073-5/+38
| | |
| * | Fix typo in ontology diagnosticsFederico Igne2020-12-071-2/+2
| | |
| * | Merge branch 'master' into loggerFederico Igne2020-12-075-20/+23
| |\ \
| * | | Add additional diagnosticsFederico Igne2020-12-072-1/+11
| | | |
| * | | Add first implementation of a loggerFederico Igne2020-12-074-129/+230
| | | | | | | | | | | | | | | | | | | | This is needed mostly for debugging and benchmarking purposes. We tried to make it as "out of the way" as possible.
* | | | Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-082-4/+4
| |_|/ |/| | | | | | | | | | | | | | | | | | | | 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 OWLObjectSubPropertyOfAxiomFederico Igne2020-12-082-7/+6
| | | | | | | | | | | | | | | A version of the rule with an empty suffix was missing. Note that this is not completely clear from the paper.
* | | Include literals in instances of `Named` internal predicateFederico Igne2020-12-082-5/+19
| | |
* | | Update README.mdFederico Igne2020-12-081-2/+5
| | |
* | | Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach ↵Federico Igne2020-12-073-4/+4
|\ \ \ | | | | | | | | | | | | into master
| * | | Update scala version and dependenciesStefano Germano2020-12-073-4/+4
| | |/ | |/|
* | | Reorganize testsFederico Igne2020-12-075-5/+5
| | |
* | | Fix bug for data property translationFederico Igne2020-12-071-1/+1
|/ /
* | Update README.mdFederico Igne2020-12-071-0/+3
| |
* | Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-075-21/+21
|/ | | | | One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object.
* Update answers pretty printerFederico Igne2020-12-072-4/+9
|
* Change answer pritty printer to use CSV-like syntaxFederico Igne2020-12-062-18/+32
|
* Temporarily ignore tests involving `cycle` computationFederico Igne2020-12-061-4/+4
| | | | | This is done because `cycle` is being reworked from a theoretical point of view at the moment.
* Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom)Federico Igne2020-12-062-8/+95
|
* Reintroduce previous implementation of `cycle`Federico Igne2020-12-061-29/+32
| | | | | At the time of writing, the naïve implementation of `cycle` produces too many rules, which are not efficiently handled by RDFox.
* Add method to retrieve diagnostics from RDFoxFederico Igne2020-12-061-0/+15
|
* Fix axiom skolemizationFederico Igne2020-12-043-65/+59
| | | | | | 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-0411-236/+190
| | | | | | 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.
* Merge branch 'rdfox-converter' into masterFederico Igne2020-12-029-162/+833
|\
| * Make filtering program generate/load facts as factsFederico Igne2020-12-023-16/+26
| |
| * Move datalog rules generation for RSA check to new RDFox generatorFederico Igne2020-12-021-28/+47
| |
| * Fix tests failing due to recent changesFederico Igne2020-12-022-39/+86
| |
| * Adapt canonical model computation to new RDFox converterFederico Igne2020-12-023-118/+105
| | | | | | | | | | When it comes to the canonical model, now facts are imported as facts in RDFox.
| * Unify upload of rules and facts to RDFox datastoreFederico Igne2020-12-021-4/+24
| | | | | | | | This will also help if/when we are implementing transactions.
| * Add implicit convertion to Java CollectionsFederico Igne2020-12-021-0/+4
| |
| * Add alternative conversion of axioms using switch-casesFederico Igne2020-12-012-0/+584
|/ | | | | | 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.
* Temporary add tests folder to .gitignoreFederico Igne2020-12-011-0/+1
| | | | This is until the testing suite is ready to run on the server.
* Add implicit convertion from Java Sets/Collections to ListsFederico Igne2020-12-011-0/+8
|
* Cleanup converters codeFederico Igne2020-12-013-6/+5
|
* Fix bug on argument validationFederico Igne2020-11-301-1/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-05 18:58:44 +0000