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

	Commit message (Expand)	Author	Age	Files	Lines
*	The LimitedSkolemisation now employs a fixed-depth term instead of a constant...	RncLsn	2015-08-03	1	-1/+0
*	Bug-fix for answer dependencies analysis: now it checks whether the endomorph...	RncLsn	2015-07-09	5	-23/+51
*	Internalisation: added condition for existential variables (classes HermitChe...	RncLsn	2015-07-08	2	-11/+30
*	Many little changes.	RncLsn	2015-07-03	1	-1/+8
*	Small changes.	RncLsn	2015-06-30	1	-18/+9
*	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	1	-1/+9
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	1	-3/+3
*	Before reintroducing extended queries.	RncLsn	2015-06-03	1	-6/+23
*	Bug-fix in tester.	RncLsn	2015-05-28	1	-16/+11
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	2	-70/+82
\|\
\| *	fixed a bug in the process of generating gap tuples, see test in	yujiao	2015-05-25	4	-20/+46
* \|	Merged updates from upstream.	RncLsn	2015-05-28	4	-76/+94
* \|	Added more tests.	RncLsn	2015-05-20	1	-9/+5
\|/
*	initial version	yzhou	2015-04-21	10	-0/+895