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

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix(cli): pass data path to PAGOdA's properties	Federico Igne	2022-05-19	2	-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.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).
*	feat(lower-bound): always compute the lower bound from RSAComb	Federico Igne	2022-05-18	1	-1/+1
\|
*	feat: add consistency check for ACQuA query reasoner	Federico Igne	2022-05-18	2	-12/+347
\|
*	feat(cli): actually use command line arguments	Federico Igne	2022-05-18	1	-2/+3
\|
*	fix(cli): handling of empty argument lists	Federico Igne	2022-05-18	1	-2/+2
\|
*	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	-0/+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.
*	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.