aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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.
| * | 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
| |
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-19 02:34:54 +0000