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

	Commit message (Expand)	Author	Age	Files	Lines
*	[pagoda] Move project to Scala	Federico Igne	2022-05-11	1	-107/+0
*	RDFox dependency from project repo; improved the readme.	RncLsn	2015-10-12	1	-2/+5
*	The LimitedSkolemisation now employs a fixed-depth term instead of a constant...	RncLsn	2015-08-03	1	-1/+1
*	Option for SkolemUpperBound application and for skolemisation depth (from fil...	RncLsn	2015-08-01	1	-3/+4
*	Many little changes.	RncLsn	2015-07-03	1	-4/+2
*	Summarisation before Skolemisation. Added Reactome testcase.	RncLsn	2015-06-26	1	-1/+1
*	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	1	-3/+3
*	Small changes.	RncLsn	2015-06-10	1	-88/+89
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	1	-4/+56
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	1	-1/+1
*	Bug-fix in tester.	RncLsn	2015-05-28	1	-0/+1
*	Added more tests.	RncLsn	2015-05-20	1	-9/+32
*	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	1	-2/+2
*	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	1	-0/+28