aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
Commit message (Collapse)AuthorAgeFilesLines
* 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).
* 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-51/+0
|
* build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519Federico Igne2022-05-185-13/+42
| | | | | | | 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.
* Finalise implementation of ACQuA query reasonerFederico Igne2022-05-151-8/+8
|
* [pagoda] Fix public interfaces to allow outside accessFederico Igne2022-05-122-4/+4
| | | | | Minor changes to access level for `QueryReasoner` and `ConsistencyManager`.
* [pagoda] Add method to set properties on QueryReasonerFederico Igne2022-05-111-0/+5
|
* [pagoda] Move project to ScalaFederico Igne2022-05-11161-0/+26143
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.