aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* fix(cli): pass data path to PAGOdA's propertiesFederico Igne2022-05-192-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.0Federico Igne2022-05-181-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 RSACombFederico Igne2022-05-181-1/+1
|
* feat: add consistency check for ACQuA query reasonerFederico Igne2022-05-182-12/+347
|
* feat(cli): actually use command line argumentsFederico Igne2022-05-181-2/+3
|
* fix(cli): handling of empty argument listsFederico Igne2022-05-181-2/+2
|
* fix(elho-reasoner): correct handling of Optional valueFederico Igne2022-05-181-2/+2
| | | | This bug was introduced with the recent update of the OWLAPI to 5.1.20.
* build: move project `resources` folderFederico Igne2022-05-183-0/+0
|
* build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519Federico Igne2022-05-188-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 loopFederico Igne2022-05-181-2/+5
|
* Make ACQuA query reasoner depend on RSAComb query reasonerFederico Igne2022-05-162-24/+52
|
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-156-305/+400
|
* Add compatibility layer between RSAComb and PAGOdA query answersFederico Igne2022-05-151-0/+146
|
* Fix path for RSAComb resourcesFederico Igne2022-05-151-1/+1
|
* Add preprocessing and initial computation for CQ answeringFederico Igne2022-05-121-144/+138
|
* [pagoda] Fix public interfaces to allow outside accessFederico Igne2022-05-122-4/+4
| | | | | Minor changes to access level for `QueryReasoner` and `ConsistencyManager`.
* Add initial implementation of ACQuA reasonerFederico Igne2022-05-121-0/+489
|
* Adjust CLIFederico Igne2022-05-122-39/+35
|
* Add RSA query reasoner to perform CQ answering over RSAFederico Igne2022-05-113-24/+47
|
* Implement stub for query answering procedureFederico Igne2022-05-114-19/+383
|
* [pagoda] Add method to set properties on QueryReasonerFederico Igne2022-05-111-0/+5
|
* [pagoda] Move project to ScalaFederico Igne2022-05-11211-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.RncLsn2015-10-121-1/+1
|
* Bug fix for a NullPointerException.RncLsn2015-09-132-2/+3
|
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-115-13/+49
| | | | configuration file: now default and user-specified.
* Integrated fix (manually) from upper stream.RncLsn2015-09-032-3/+5
|
* New test cases.RncLsn2015-09-031-2/+2
|
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
|
* Incremental Skolemised store (not working).RncLsn2015-08-1411-47/+242
|
* Rules parsing.RncLsn2015-08-0414-59/+153
|
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-034-22/+37
| | | | constant. Performed some testing before merging with master.
* CLI option names.RncLsn2015-08-031-1/+20
|
* Option for SkolemUpperBound application and for skolemisation depth (from ↵RncLsn2015-08-017-206/+287
| | | | file pagoda.properties).
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-095-23/+51
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-084-26/+48
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Small changes.RncLsn2015-07-072-11/+20
|
* Many little changes.RncLsn2015-07-0316-54/+299
|
* Small changes.RncLsn2015-06-307-44/+29
|
* Summarisation before Skolemisation. Added Reactome testcase.RncLsn2015-06-263-20/+37
|
* Maybe fixed bug in internalisation.RncLsn2015-06-2613-251/+336
|
* Small changes.RncLsn2015-06-101-1/+1
|
* Fixed marking original individuals in the relevant upper store.RncLsn2015-06-097-5/+28
|
* Small changes.RncLsn2015-06-071-2/+6
|
* Violations processor (Python script).RncLsn2015-06-051-2/+2
|
* Violation statistics.RncLsn2015-06-058-14/+98
|
* Fixed terms' depth count in SkolemTermsManager (it was always zero).RncLsn2015-06-045-21/+26
|
* Restored fixed SkolemTermsManager (went lost in some revert).RncLsn2015-06-044-54/+52
|
* New queries for LUBM and UOBM, automatically generated by SyGENiA.RncLsn2015-06-042-2/+2
|
* Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.RncLsn2015-06-036-118/+114
|
* Before reintroducing extended queries.RncLsn2015-06-0320-394/+504
|