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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[pagoda] Move project to Scala	Federico Igne	2022-05-11	1	-107/+0
\| \| \| \| \| \| \| \| \|	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.
*	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 ↵	RncLsn	2015-08-03	1	-1/+1
\| \| \| \|	constant. Performed some testing before merging with master.
*	Option for SkolemUpperBound application and for skolemisation depth (from ↵	RncLsn	2015-08-01	1	-3/+4
\| \| \| \|	file pagoda.properties).
*	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
\| \| \| \|	Querying of the upper bound is currently unstable.
*	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