ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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).
*	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	-51/+0
\|
*	build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519	Federico Igne	2022-05-18	5	-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 reasoner	Federico Igne	2022-05-15	1	-8/+8
\|
*	[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`.
*	[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	161	-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.