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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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.
*	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	162	-0/+26184
	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.