Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix(cli): pass data path to PAGOdA's properties | Federico Igne | 2022-05-19 | 2 | -1/+9 |
| | | | | | This is not the ideal way to deal with this an a more general integration solution should be used. Regardless, it works for now. | ||||
* | fix: allow bounds update even when the bounds gap is emptyv0.2.0 | Federico Igne | 2022-05-18 | 1 | -2/+2 |
| | | | | | | This is needed for now because PAGOdA's upper bound is not *always complete*. In this way we can fix its mistake by using RSAComb (or any other lower bound approximation service). | ||||
* | feat(lower-bound): always compute the lower bound from RSAComb | Federico Igne | 2022-05-18 | 1 | -1/+1 |
| | |||||
* | feat: add consistency check for ACQuA query reasoner | Federico Igne | 2022-05-18 | 2 | -12/+347 |
| | |||||
* | feat(cli): actually use command line arguments | Federico Igne | 2022-05-18 | 1 | -2/+3 |
| | |||||
* | fix(cli): handling of empty argument lists | Federico Igne | 2022-05-18 | 1 | -2/+2 |
| | |||||
* | fix(elho-reasoner): correct handling of Optional value | Federico Igne | 2022-05-18 | 1 | -2/+2 |
| | | | | This bug was introduced with the recent update of the OWLAPI to 5.1.20. | ||||
* | build: move project `resources` folder | Federico Igne | 2022-05-18 | 3 | -0/+0 |
| | |||||
* | build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519 | Federico Igne | 2022-05-18 | 8 | -16/+47 |
| | | | | | | | This commit contains a "hacky" fix for KARMA2 to access some (now private) field in the OWLAxioms class. The code is now using Java Reflections to turn a private field public and gain access to internal resources. | ||||
* | fix: stack overflow casued by `implicit` infinite loop | Federico Igne | 2022-05-18 | 1 | -2/+5 |
| | |||||
* | Make ACQuA query reasoner depend on RSAComb query reasoner | Federico Igne | 2022-05-16 | 2 | -24/+52 |
| | |||||
* | Finalise implementation of ACQuA query reasoner | Federico Igne | 2022-05-15 | 6 | -305/+400 |
| | |||||
* | Add compatibility layer between RSAComb and PAGOdA query answers | Federico Igne | 2022-05-15 | 1 | -0/+146 |
| | |||||
* | Fix path for RSAComb resources | Federico Igne | 2022-05-15 | 1 | -1/+1 |
| | |||||
* | Add preprocessing and initial computation for CQ answering | Federico Igne | 2022-05-12 | 1 | -144/+138 |
| | |||||
* | [pagoda] Fix public interfaces to allow outside access | Federico Igne | 2022-05-12 | 2 | -4/+4 |
| | | | | | Minor changes to access level for `QueryReasoner` and `ConsistencyManager`. | ||||
* | Add initial implementation of ACQuA reasoner | Federico Igne | 2022-05-12 | 1 | -0/+489 |
| | |||||
* | Adjust CLI | Federico Igne | 2022-05-12 | 2 | -39/+35 |
| | |||||
* | Add RSA query reasoner to perform CQ answering over RSA | Federico Igne | 2022-05-11 | 3 | -24/+47 |
| | |||||
* | Implement stub for query answering procedure | Federico Igne | 2022-05-11 | 4 | -19/+383 |
| | |||||
* | [pagoda] Add method to set properties on QueryReasoner | Federico Igne | 2022-05-11 | 1 | -0/+5 |
| | |||||
* | [pagoda] Move project to Scala | Federico Igne | 2022-05-11 | 211 | -202/+205192 |
| | | | | | | | | | This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added. | ||||
* | RDFox dependency from project repo; improved the readme. | RncLsn | 2015-10-12 | 1 | -1/+1 |
| | |||||
* | Bug fix for a NullPointerException. | RncLsn | 2015-09-13 | 2 | -2/+3 |
| | |||||
* | Improved the statistics that are generated for evaluating the system; ↵ | RncLsn | 2015-09-11 | 5 | -13/+49 |
| | | | | configuration file: now default and user-specified. | ||||
* | Integrated fix (manually) from upper stream. | RncLsn | 2015-09-03 | 2 | -3/+5 |
| | |||||
* | New test cases. | RncLsn | 2015-09-03 | 1 | -2/+2 |
| | |||||
* | Incremental Skolemised store (seems completed). | RncLsn | 2015-08-24 | 5 | -19/+93 |
| | |||||
* | Incremental Skolemised store (not working). | RncLsn | 2015-08-14 | 11 | -47/+242 |
| | |||||
* | Rules parsing. | RncLsn | 2015-08-04 | 14 | -59/+153 |
| | |||||
* | The LimitedSkolemisation now employs a fixed-depth term instead of a ↵ | RncLsn | 2015-08-03 | 4 | -22/+37 |
| | | | | constant. Performed some testing before merging with master. | ||||
* | CLI option names. | RncLsn | 2015-08-03 | 1 | -1/+20 |
| | |||||
* | Option for SkolemUpperBound application and for skolemisation depth (from ↵ | RncLsn | 2015-08-01 | 7 | -206/+287 |
| | | | | file pagoda.properties). | ||||
* | Bug-fix for answer dependencies analysis: now it checks whether the ↵ | RncLsn | 2015-07-09 | 5 | -23/+51 |
| | | | | endomorphism makes the first tuple identical to the second one. | ||||
* | Internalisation: added condition for existential variables (classes ↵ | RncLsn | 2015-07-08 | 4 | -26/+48 |
| | | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem. | ||||
* | Small changes. | RncLsn | 2015-07-07 | 2 | -11/+20 |
| | |||||
* | Many little changes. | RncLsn | 2015-07-03 | 16 | -54/+299 |
| | |||||
* | Small changes. | RncLsn | 2015-06-30 | 7 | -44/+29 |
| | |||||
* | Summarisation before Skolemisation. Added Reactome testcase. | RncLsn | 2015-06-26 | 3 | -20/+37 |
| | |||||
* | Maybe fixed bug in internalisation. | RncLsn | 2015-06-26 | 13 | -251/+336 |
| | |||||
* | Small changes. | RncLsn | 2015-06-10 | 1 | -1/+1 |
| | |||||
* | Fixed marking original individuals in the relevant upper store. | RncLsn | 2015-06-09 | 7 | -5/+28 |
| | |||||
* | Small changes. | RncLsn | 2015-06-07 | 1 | -2/+6 |
| | |||||
* | Violations processor (Python script). | RncLsn | 2015-06-05 | 1 | -2/+2 |
| | |||||
* | Violation statistics. | RncLsn | 2015-06-05 | 8 | -14/+98 |
| | |||||
* | Fixed terms' depth count in SkolemTermsManager (it was always zero). | RncLsn | 2015-06-04 | 5 | -21/+26 |
| | |||||
* | Restored fixed SkolemTermsManager (went lost in some revert). | RncLsn | 2015-06-04 | 4 | -54/+52 |
| | |||||
* | New queries for LUBM and UOBM, automatically generated by SyGENiA. | RncLsn | 2015-06-04 | 2 | -2/+2 |
| | |||||
* | Reintroduced extended queries. Successfully tested on LightTests and GapAnswers. | RncLsn | 2015-06-03 | 6 | -118/+114 |
| | |||||
* | Before reintroducing extended queries. | RncLsn | 2015-06-03 | 20 | -394/+504 |
| |