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

	Commit message (Collapse)	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; ↵	RncLsn	2015-09-11	1	-0/+4
\| \| \| \|	configuration file: now default and user-specified.
*	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 ↵	RncLsn	2015-05-11	1	-5/+5
\| \| \| \|	Skolemisation.
*	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
\| \| \| \|	Plus minor fixes.
*	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
\| \| \|	removed answer files in the *.conf
*	initial version	yzhou	2015-04-21	1	-0/+106