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

	Commit message (Expand)	Author	Age	Files	Lines
*	Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2	RncLsn	2015-09-11	1	-1/+1
*	Version 2.1.1v2.1.1	RncLsn	2015-09-11	1	-1/+1
*	Improved the statistics that are generated for evaluating the system; configu...	RncLsn	2015-09-11	1	-0/+4
*	Version number (2.1.1-SNAPSHOT)	RncLsn	2015-08-06	1	-1/+1
*	Version number.v2.1.0	RncLsn	2015-08-06	1	-1/+1
*	Small changes.	RncLsn	2015-06-30	1	-0/+9
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	1	-5/+5
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	1	-1/+15
*	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	1	-2/+47
*	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	1	-0/+5
*	Adding (not completed) a new upper bound technique, namely Limited Skolemisat...	RncLsn	2015-05-11	1	-5/+5
*	Making the output machine-readable (JSON).	RncLsn	2015-05-07	1	-0/+10
*	Switch from JUnit to TestNG.	RncLsn	2015-05-06	1	-0/+11
*	downgrade owl api and reorganised src files	yzhou	2015-04-30	1	-6/+1
*	added two interfaces in QueryReasoner for SemFacet	yzhou	2015-04-22	1	-2/+2
*	initial version	yzhou	2015-04-21	1	-0/+106