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

	Commit message (Expand)	Author	Age	Files	Lines
*	Removed extended queries (involving classes MyQueryReasoner and QueryRecord)....	RncLsn	2015-05-21	1	-18/+9
*	Added more tests.	RncLsn	2015-05-20	1	-35/+37
*	Deleted unused classes.	RncLsn	2015-05-19	1	-1/+1
*	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	1	-43/+59
*	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	1	-87/+89
*	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	1	-23/+21
*	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	1	-6/+7
*	Fast implementation of all the other things to get something working, but it ...	RncLsn	2015-05-13	1	-4/+22
*	Added classes for implementing new upper store (Limited Skolemisation).	RncLsn	2015-05-12	1	-61/+68
*	Adding (not completed) a new upper bound technique, namely Limited Skolemisat...	RncLsn	2015-05-11	1	-4/+4
*	Adding (not completed) log of partial answers in Json.	RncLsn	2015-05-09	1	-9/+27
*	pass the wine realisation	yzhou	2015-04-28	1	-3/+4
*	fixed some bugs in windows server	yzhou	2015-04-21	1	-5/+4
*	initial version	yzhou	2015-04-21	1	-0/+331