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

	Commit message (Collapse)	Author	Age	Files	Lines
*	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	6	-40/+44
\| \| \| \|	It is not stable: several critical fixes to do!
*	Fast implementation of all the other things to get something working, but it ↵	RncLsn	2015-05-13	9	-61/+184
\| \| \| \|	doesn't.
*	Implemented SkolemTermsManager.	RncLsn	2015-05-13	14	-143/+259
\|
*	Implementing Limited Skolemisation, in particular SkolemTermsDispenser.	RncLsn	2015-05-13	29	-579/+492
\|
*	Added classes for implementing new upper store (Limited Skolemisation).	RncLsn	2015-05-12	12	-493/+490
\| \| \| \|	Started implementation of the new classes.
*	Adding (not completed) a new upper bound technique, namely Limited ↵	RncLsn	2015-05-11	14	-140/+160
\| \| \| \|	Skolemisation.
*	Adding (not completed) log of partial answers in Json.	RncLsn	2015-05-09	6	-78/+157
\|
*	Making the output machine-readable (JSON).	RncLsn	2015-05-07	4	-125/+213
\|
*	Switch from JUnit to TestNG.	RncLsn	2015-05-06	1	-1/+15
\| \| \| \|	Plus minor fixes.
*	removed debug output for ore compitition	yzhou	2015-05-02	5	-15/+12
\| \| \| \|	to add log info, check Utility.java LOGS
*	fixed some bugs	yzhou	2015-05-01	3	-8/+51
\|
*	add time tag to the temporary output	yzhou	2015-05-01	3	-5/+16
\| \| \|	fixed a bug about equality in the tracking datalog encoding
*	downgrade owl api and reorganised src files	yzhou	2015-04-30	3	-16/+4
\|
*	added top answers optimisation back	yzhou	2015-04-29	3	-40/+43
\|
*	pass the wine realisation	yzhou	2015-04-28	7	-80/+120
\|
*	added two interfaces in QueryReasoner for SemFacet	yzhou	2015-04-22	1	-0/+8
\| \| \|	removed answer files in the *.conf
*	fixed some bugs in windows server	yzhou	2015-04-21	17	-182/+217
\|
*	fixed a bug in simpleETL -- closing a FileOutputStream	yzhou	2015-04-21	1	-1/+2
\|
*	initial version	yzhou	2015-04-21	129	-0/+19265