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	-122/+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.
*	New test cases.	RncLsn	2015-09-03	1	-1/+1
\|
*	Version number (2.1.1-SNAPSHOT)	RncLsn	2015-08-06	1	-0/+11
\|
*	Many little changes.	RncLsn	2015-07-03	1	-11/+15
\|
*	Summarisation before Skolemisation. Added Reactome testcase.	RncLsn	2015-06-26	1	-1/+2
\|
*	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	1	-26/+15
\|
*	Small changes.	RncLsn	2015-06-10	1	-1/+16
\|
*	Removed useless directory ".idea".	RncLsn	2015-06-04	1	-2/+0
\|
*	New queries for LUBM and UOBM, automatically generated by SyGENiA.	RncLsn	2015-06-04	1	-0/+52
\|
*	Bug-fix in tester.	RncLsn	2015-05-28	1	-0/+1
\|
*	Added more tests.	RncLsn	2015-05-20	1	-22/+9
\| \| \| \|	Querying of the upper bound is currently unstable.
*	Deleted unused classes.	RncLsn	2015-05-19	1	-10/+12
\|
*	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	1	-18/+27
\|
*	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	1	-0/+53