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	1	-0/+7
\| \| \| \| \|	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(cli): actually use command line arguments	Federico Igne	2022-05-18	1	-2/+3
\|
*	Finalise implementation of ACQuA query reasoner	Federico Igne	2022-05-15	1	-5/+6
\|
*	Adjust CLI	Federico Igne	2022-05-12	1	-1/+2
\|
*	Add RSA query reasoner to perform CQ answering over RSA	Federico Igne	2022-05-11	1	-17/+8
\|
*	Implement stub for query answering procedure	Federico Igne	2022-05-11	1	-19/+63
\|
*	[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.