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).
*	Finalise implementation of ACQuA query reasoner	Federico Igne	2022-05-15	1	-8/+8
\|
*	[pagoda] Move project to Scala	Federico Igne	2022-05-11	13	-0/+2828
	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.