aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* bump(pom): update dependencesHEADmainFederico Igne2022-10-161-3/+3
|
* Merge remote-tracking branch 'pagoda/master' into mainFederico Igne2022-06-011-1/+1
|\
| * Bump gson from 2.3.1 to 2.8.9dependabot[bot]2022-06-011-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Bumps [gson](https://github.com/google/gson) from 2.3.1 to 2.8.9. - [Release notes](https://github.com/google/gson/releases) - [Changelog](https://github.com/google/gson/blob/master/CHANGELOG.md) - [Commits](https://github.com/google/gson/compare/gson-2.3.1...gson-parent-2.8.9) --- updated-dependencies: - dependency-name: com.google.code.gson:gson dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>
* | docs: update DOI information from ZenodoFederico Igne2022-05-192-2/+19
| |
* | test: add simple LUBM test datav0.2.1Federico Igne2022-05-193-0/+109025
| |
* | docs: update README.mdFederico Igne2022-05-191-19/+52
| |
* | 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.
* | docs(license): add Apache-2.0 LICENSE fileFederico Igne2022-05-181-0/+202
| |
* | build: move project `resources` folderFederico Igne2022-05-184-9/+8
| |
* | build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519Federico Igne2022-05-189-19/+53
| | | | | | | | | | | | | | 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.
* | docs: update README.mdFederico Igne2022-05-181-30/+100
| |
* | 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-11213-334/+523
|/ | | | | | | | | 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-1215-39/+93
|
* Bug fix for a NullPointerException.RncLsn2015-09-134-5/+6
|
* Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2RncLsn2015-09-111-1/+1
|
* Version 2.1.1v2.1.1RncLsn2015-09-111-1/+1
|
* Improved the statistics that are generated for evaluating the system; ↵RncLsn2015-09-117-15/+55
| | | | configuration file: now default and user-specified.
* Small changesRncLsn2015-09-104-5/+19
|
* Integrated fix (manually) from upper stream.RncLsn2015-09-034-6/+9
|
* New test cases.RncLsn2015-09-035-3/+114
|
* Incremental Skolemised store (seems completed).RncLsn2015-08-245-19/+93
|
* Incremental Skolemised store (not working).RncLsn2015-08-1412-49/+244
|
* Version number (2.1.1-SNAPSHOT)RncLsn2015-08-065-7/+19
|
* Merge branch '2.1.0' into RulesRncLsn2015-08-061-1/+1
|\
| * Version number.v2.1.0RncLsn2015-08-061-1/+1
| |
* | Rules parsing.RncLsn2015-08-0416-59/+484
|/
* The LimitedSkolemisation now employs a fixed-depth term instead of a ↵RncLsn2015-08-038-27/+43
| | | | 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-018-209/+291
| | | | file pagoda.properties).
* Bug-fix for answer dependencies analysis: now it checks whether the ↵RncLsn2015-07-0910-35/+128
| | | | endomorphism makes the first tuple identical to the second one.
* Internalisation: added condition for existential variables (classes ↵RncLsn2015-07-086-31/+111
| | | | | | HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
* Small changes.RncLsn2015-07-073-13/+22
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-13 13:15:30 +0000