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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\| \| \| \|	Started implementation of the new classes.
*	Adding (not completed) a new upper bound technique, namely Limited ↵	RncLsn	2015-05-11	1	-4/+4
\| \| \| \|	Skolemisation.
*	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
\| \| \| \|	to add log info, check Utility.java LOGS
*	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
\| \| \|	removed answer files in the *.conf
*	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