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

	Commit message (Expand)	Author	Age	Files	Lines
*	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	3	-30/+21
*	Fast implementation of all the other things to get something working, but it ...	RncLsn	2015-05-13	3	-30/+60
*	Implementing Limited Skolemisation, in particular SkolemTermsDispenser.	RncLsn	2015-05-13	1	-3/+3
*	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	2	-18/+30
*	Making the output machine-readable (JSON).	RncLsn	2015-05-07	1	-31/+36
*	removed debug output for ore compitition	yzhou	2015-05-02	1	-1/+1
*	added top answers optimisation back	yzhou	2015-04-29	3	-40/+43
*	pass the wine realisation	yzhou	2015-04-28	3	-29/+35
*	added two interfaces in QueryReasoner for SemFacet	yzhou	2015-04-22	1	-0/+8
*	fixed some bugs in windows server	yzhou	2015-04-21	10	-43/+122
*	fixed a bug in simpleETL -- closing a FileOutputStream	yzhou	2015-04-21	1	-1/+2
*	initial version	yzhou	2015-04-21	20	-0/+2949