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.
*	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: 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	5	-297/+392
\|
*	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
\|
*	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] Move project to Scala	Federico Igne	2022-05-11	1	-0/+41
	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.